Kalkulus 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

sunting
  • 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

sunting
  • www.ltn.lv/~podnieks/mlog/ml2.htm
  • www.fecundity.com/logic/