Kalkulus proposisional adalah sistem formal untuk menyatakan rumus proposisi dan membuktikannya dengan cara menggabungkan rumus atomik dan operator logika.
Beberapa contoh operator logika adalah:
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 |
This article uses material from the Wikipedia Bahasa Indonesia article Kalkulus proposisional, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Konten tersedia di bawah CC BY-SA 4.0 kecuali dinyatakan lain. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Bahasa Indonesia (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.