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.

PROPOSISI
Proposisi adalah kalimat deklaratif yang memiliki tepat satu nilai kebenaran, yaitu: ”Benar”(B) atau ”Salah”(S). Nilai kebenaran proposisi ditentukan dari kesesuaian proposisi tersebut dengan kenyataan. Proposisi dilambangkan dalam huruf kecil p,q,r,s dan sebagainya.