TUGAS PDM
exercise 1

ATURAN PENGGANTIAN DAN ATURAN PEYIMPULAN

A. Aturan Penggantian

Digunakan untuk membuktikan:

• Dua proposisi ekivalen (selain menggunakan tabel kebenaran)
• Suatu proposisi tautologi atau kontradiksi (selain menggunakan tabel kebenaran)
• Membuktikan kesahan suatu argumen

KONVERS, INVERS, DAN KONTRAPOSISI
 

• Apabila dua pernyataan P dan Q, yaitu dapat ditulis P ⇒Q, maka konvers dari implikasi itu adalah Q ⇒ P.
• Apabila dua pernyataan P dan Q, yaitu dapat ditulis P ⇒Q, maka invers dari implikasi itu adalah ~P ⇒ ~Q.
• Apabiladuapernyataan P dan Q, yaitudapatditulisP ⇒Q, maka kontraposisi dari implikasi itu adalah ~Q ⇒ ~P.

KUANTOR

Kuntor adalah suatu ungkapan jika diterapkan pada kalimat terbuka dengan satu variabel dapat mengubahnya menjadi kalimat tertutup.