Logika proposisional

Kalkulus proposisional adalah sistem formal untuk menyatakan rumus proposisi dan membuktikannya dengan cara menggabungkan rumus atomik dan operator logika.

Beberapa contoh operator logika adalah:
  (negasi)
  (konjungsi)
  (disjungsi)
  (implikasi)
  (ekuivalensi)

 Bentuk-bentuk argumen Nama Sequent Modus Ponens  Modus Tollens  Silogisme Hipotesis  Silogisme Disjungtif  Dilema Konstruktif  Dilema Destruktif  Dilema Bidireksi  Simplifikasi  Konjungsi  Penambahan  Komposisi  Teorema De Morgan  Komutasi  Asosiasi  Distribusi  Dobel Negasi  Transposisi  Implikasi  Ekuivalensi  Tautologi  Tertium non datur  Non-Kontradiksi 

 Pustaka 
 Brown, Frank Markham (2003), Boolean Reasoning: The Logic of Boolean Equations, 1st edition, Kluwer Academic Publishers, Norwell, MA. 2nd edition, Dover Publications, Mineola, NY.
 Chang, C.C., dan Keisler, H.J. (1973), Model Theory, North-Holland, Amsterdam, Netherlands.
 Kohavi, Zvi (1978), Switching and Finite Automata Theory, 1st edition, McGraw–Hill, 1970. 2nd edition, McGraw–Hill, 1978.
 Korfhage, Robert R. (1974), Discrete Computational Structures, Academic Press, New York, NY.
 Lambek, J. dan Scott, P.J. (1986), Introduction to Higher Order Categorical Logic, Cambridge University Press, Cambridge, UK.
 Mendelson, Elliot (1964), Introduction to Mathematical Logic, D. Van Nostrand Company.

 Pranala luar 
 www.ltn.lv/~podnieks/mlog/ml2.htm
 www.fecundity.com/logic/

Kategori:Logika