論理式 (数学)
(整論理式 から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/08/29 03:54 UTC 版)
数学における論理式(ろんりしき: logical expression[1])とは、真理値を必要とする場所にあらわれる式で、原子論理式や、それを論理演算子で結びあわせた式である。ここでは古典論理のものを例示するが、非古典論理をはじめ、他の多くの論理体系についても同様な議論は可能である。
- ^ 共立『数学小辞典』「論理式」
- ^ First-order logic and automated theorem proving, Melvin Fitting, Springer, 1996
- ^ Handbook of the history of logic, (Vol 5, Logic from Russell to Church), Tarski's logic by Keith Simmons, D. Gabbay and J. Woods Eds, p568.
- ^ Alonzo Church, [1996] (1944), Introduction to mathematical logic, page 49
- ^ Hilbert, David; Ackermann, Wilhelm (1950) [1937], Principles of Mathematical Logic, New York: Chelsea
- ^ Hodges, Wilfrid (1997), A shorter model theory, Cambridge University Press, ISBN 978-0-521-58713-6
- ^ Barwise, Jon, ed. (1982), Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, Amsterdam: North-Holland, ISBN 978-0-444-86388-1
- ^ Cori, Rene; Lascar, Daniel (2000), Mathematical Logic: A Course with Exercises, Oxford University Press, ISBN 978-0-19-850048-3
- ^ Enderton, Herbert [2001] (1972), A mathematical introduction to logic (2nd ed.), Boston, MA: Academic Press, ISBN 978-0-12-238452-3
- ^ R. L. Simpson (1999), Essentials of Symbolic Logic, page 12
- ^ Mendelson, Elliott [2010] (1964), An Introduction to Mathematical Logic (5th ed.), London: Chapman & Hall
- 1 論理式 (数学)とは
- 2 論理式 (数学)の概要
- 3 属性
- 4 参考文献
- 5 関連項目
- 整論理式のページへのリンク