Kalkulus proposisional
From Wikipedia, the free encyclopedia
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)
Informasi lebih lanjut , ...
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 |
Tutup