Page 16 - Modul logika Matematika kelas X_Neat
P. 16
p Q p⇔q
BB B
BS S
SB S
SS B
c. Tugas kegiatan belajar 3
Diskusikan soal – soal tentang ekuivalen, tautologi, kontradiksi dan kontingensi
untuk di presentasikan.
d. Tes formatif 3
1). Tunjukkan bahwa pernyataan majemuk (~p → q ) v –p adalah tautologi.
2). Tunjukkan bahwa pernyataan majemuk ~ ( ~p → q ) ∧ p adalah kontradiksi .
e. Kunci jawaban tes formatif 3
1). Ada dua pernyataan tunggal yaitu p dan q,sehingga banyak baris tabel
kebenarannya yaitu 22 = 4 baris. Tabel kebenarannya yaitu :
PQ ~p ~ p → q (- p → q ) v –p
BB
BS SB B
SB
SS SB B
BB B
BS B
Karena nilai kebenaran pada kolom terakhir benar semua maka pernyataan
(~p → q ) v –p adalah tautologi.
2). Tabel kebenarannya yaitu :
PQ ~p ~ p → q ~ (- p → q ) ~ (- p → q ) ∧ p
BB
BS SB S S
SB S
SS SB S S
S
BB S
BS B
Karena nilai kebenaran pada kolom terakhir salah semua, maka pernyataan
adalah ~ (- p → q ) ∧ p adalah kontradiksi.
f. Lembar kerja siswa
Untuk lebih memahami tentang apa yang telah anda baca dan pelajari, jawablah
soal – soal berikut ini.
16
