Page 34 - E-MODUL MATEMATIKA DASAR

Bahan Diskusi
1. Tentukan dengan tabel kebenaran pernyataan berikut tautology atau bukan.
Uraikan proses bagaimana saudara membuat tabel kebenarannya dari awal.
a. [(p → q)  q
p] →
b. [(p  q)  ~ p] → p
2. Tentukan hasil dari operasi berikut.
a. Invers-konvers-invers dari implikasi (~ p → ~q)
b. Kontraposisi-konvers dari implikasi (~ q → p)
3. Tentukan masing-masing 2 contoh penarikan simpulan yang menunjukkan
modus ponen, modus tollen, dan silogisme.
4. Premis 1: (p ~ q) → r;
premis 2: ~ r
Tentukan simpulan yang sahih dari kedua premis tersebut dan tunjukkan
dengan tabel kebenaran.
5. Selidiki sah atau tidaknya argumen berikut ini.
a. p → q
~ r → ~ q
~ r → ~ p
b. p → r
~ r
p  q
~ p
q

30