A. Nilai Kebenaran Pernyataan Majemuk
1. Konjungsi
p n q (dibaca “p dan q”) bernilai benar hanya jika keduanya benar.
2. Disjungsi
p V q (dibaca “p atau q”) satu saja benar maka bernilai benar.
3. Implikasi
p → q (dibaca “jika p maka q”) bernilai salah hanya jika p benar tetapi q salah.
4. Biimplikasi
p ↔ q (dibaca “p jika dan hanya jika q”) bernilai benar jika p dan q memiliki nilai kebenaran yang sama.
B. Ingkaran / Negasi Pernyataan
1. p v q ingkarannya ~ p Λ ~ q
2. p Λ q ingkarannya ~ p v ~ q
3. p ---> q ingkarannya p Λ ~ q
4. Semua p adalah A ingkarannya ada p bukan A.
5. Beberapa q adalah A ingkarannya semua q bukan A.
C. Menentukan kesimpulan
1. Modus Ponen :
P1 : p -----> q
P2 : p
K : q
2. Modus Tolens :
P1 : p -----> q
P2 : ~q
K : ~p
3. Silogisme
P1 : p ----> q
P2 : q -----> r
K : p -----> r
4. Ekuivalensi ( kesamaan/ ≡ )
p ---> q ≡ ~p v q ≡ ~q --->~p
