Uploaded by User54237

359334430-LKS-Logika-Matematika

advertisement
LEMBAR KERJA SISWA
LOGIKA MATEMATIKA
A. Pernyataan Majemuk
1. Konjungsi
Tabel Kebenarannya :
“Konjungsi selalu bernilai benar jika kedua pernyataan bernilai benar”
p
q 𝑝∧𝑞
B B
B
B
S
....
S
B
....
S
S
....
2. Disjungsi
Tabel Kebenarannya :
“Disjungsi hanya bernilai salah jika kedua pernyataan bernilai salah”
p
q 𝑝∨𝑞
B B
....
B
S
....
S
B
....
S
S
S
3. Implikasi
Tabel Kebenarannya :
“Implikasi selalu bernilai salah jika sebabnya benar dan akibatnya
salah”
p
q 𝑝→𝑞
B B
....
B
S
S
S
B
....
S
S
....
4. Biimplikasi
Tabel Kebenarannya :
“Biimplikasi akan bernilai benar jika sebab dan akibatnya bernilai
sama”
p
B
B
S
S
q
B
S
B
S
𝑝↔𝑞
B
....
....
B
B. Konvers, Invers, dan Kontraposisi
Dari implikasi 𝑝 → 𝑞 dapat dibentuk implikasi baru :
Konvers
Invers
Kontraposisi
𝑞→𝑝
~𝑝 → ~𝑞
~𝑞 → ~𝑝
Contoh :
p : Sarah penyanyi
q : Sarah seniman
Implikasi
: Jika Sarah penyanyi maka Sarah seniman
Konvers
: ..........................................................................
Invers
: ..........................................................................
Kontraposisi : ..........................................................................
C. Pernyataan Majemuk yang Ekuivalen
Dua pernyataan majemuk dikatakan ekuivalen jika untuk semua
kemungkinan nilai kebenaran kompenen – kompenennya, pernyataan
majemuk itu mempunyai nilai kebenaran yang sama. Lambang ekuivalen
adalah “≡”. Contoh :
Buktikan bahwa 𝑝 ↔ 𝑞 ≡ (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)
p q (𝑝 → 𝑞) (𝑞 → 𝑝)
(𝑝 → 𝑞) ∧ (𝑞 → 𝑝)
𝑝↔𝑞
B B
....
B
....
....
B S
....
B
....
....
S B
....
S
....
....
S S
....
B
....
....
Kesimpulan : “ .............................................................................................”
LEMBAR KERJA SISWA
LOGIKA MATEMATIKA
D. Negasi dari Pernyataan Majemuk
~(𝑝 ∧ 𝑞) ≡∼ 𝑝 ∨∼ 𝑞
~(𝑝 ∨ 𝑞) ≡∼ 𝑝 ∧∼ 𝑞
~(𝑝 → 𝑞) ≡ 𝑝 ∨∼ 𝑞
~(𝑝 ↔ 𝑞) ≡ (𝑝 ∨∼ 𝑞) ∨ (𝑞 ∧∼ 𝑝)
~(𝑝 ∧ 𝑞) ≡∼ 𝑝 ∨∼ 𝑞
P q ∼𝑝 ∼𝑞
(𝑝 ∧ 𝑞)
~(𝑝 ∧ 𝑞)
∼ 𝑝 ∨∼ 𝑞
B B ....
....
....
....
....
B S
....
....
....
....
....
S B ....
....
....
....
....
S S
....
....
....
....
....
Kesimpulan : “ .............................................................................................”
~(𝑝 ∨ 𝑞) ≡∼ 𝑝 ∧∼ 𝑞
P q ∼𝑝 ∼𝑞
(𝑝 ∨ 𝑞)
~(𝑝 ∨ 𝑞)
∼ 𝑝 ∧∼ 𝑞
B B ....
....
....
....
....
B S
....
....
....
....
....
S B ....
....
....
....
....
S S
....
....
....
....
....
Kesimpulan : “ .............................................................................................”
C ~(𝑝 → 𝑞) ≡ 𝑝 ∨∼ 𝑞
P q ∼ 𝑞 (𝑝 → 𝑞)
~(𝑝 → 𝑞)
𝑝 ∨∼ 𝑞
B B ....
....
....
....
B S
....
....
....
....
S B ....
....
....
....
S S
....
....
....
....
Kesimpulan : “ .............................................................................................”
~(𝑝 ↔ 𝑞) ≡ (𝑝 ∨∼ 𝑞) ∨ (𝑞 ∧∼ 𝑝)
(KERJAKAN DI KERTAS SELEMBAR DAN KUMPULKAN)
E. Tautologi dan Kontradiksi
Tautologi adalah pernyataan majemuk yang selalu bernilai benar untuk
semua kemungkinan nilai kebenaran kompenen – komponennya.
Kontradiksi adalah pernyataan majemuk yang selalu bernilai salah untuk
semua kemungkinan nilai kebenaran kompenen – kompenennya.
Contoh :
Buktikan dengan tabel kebenaran (𝑝 ∧∼ 𝑞) → ~(𝑝 → 𝑞)
p q ∼ 𝑞 𝑝 ∧∼ 𝑞 𝑝 → 𝑞 ~(𝑝 → 𝑞) (𝑝 ∧∼ 𝑞) → ~(𝑝 → 𝑞)
B B ....
....
....
....
....
B S ....
....
....
....
....
S B ....
....
....
....
....
S S ....
....
....
....
....
Kesimpulan : “ .............................................................................................”
F. Penarikan Kesimpulan
1. Modus Ponens
Kerangka penarikan kesimpulan modus ponens sebagai berikut :
Premis 1 : 𝑝 → 𝑞
Premis 2 : p
Konklusi : q
2. Modus Tollens
Kerangka penarikan kesimpulan modus tollens sebagai berikut :
Premis 1 : 𝑝 → 𝑞
Premis 2 : ~𝑞
Konklusi : ~𝑝
3. Silogisme
Kerangka penarikan kesimpulan silogisme sebagai berikut :
Premis 1 : 𝑝 → 𝑞
Premis 2 : 𝑞 → 𝑟
Konklusi : 𝑝 → 𝑟
Download