Anda di halaman 1dari 2

LEMBAR KERJA SISWA

LOGIKA MATEMATIKA
A. Pernyataan Majemuk p q
1. Konjungsi B B B
Tabel Kebenarannya : B S ....
Konjungsi selalu bernilai benar jika kedua pernyataan bernilai benar S B ....
p q S S B
B B B
B S ....
B. Konvers, Invers, dan Kontraposisi
S B ....
Dari implikasi dapat dibentuk implikasi baru :
S S ....
Konvers Invers Kontraposisi
~ ~ ~ ~
2. Disjungsi
Contoh :
Tabel Kebenarannya :
p : Sarah penyanyi
Disjungsi hanya bernilai salah jika kedua pernyataan bernilai salah
q : Sarah seniman
p q
Implikasi : Jika Sarah penyanyi maka Sarah seniman
B B ....
Konvers : ..........................................................................
B S ....
Invers : ..........................................................................
S B ....
Kontraposisi : ..........................................................................
S S S

3. Implikasi
Tabel Kebenarannya : C. Pernyataan Majemuk yang Ekuivalen
Implikasi selalu bernilai salah jika sebabnya benar dan akibatnya Dua pernyataan majemuk dikatakan ekuivalen jika untuk semua
salah kemungkinan nilai kebenaran kompenen kompenennya, pernyataan
p q majemuk itu mempunyai nilai kebenaran yang sama. Lambang ekuivalen
B B .... adalah . Contoh :
B S S Buktikan bahwa ( ) ( )
S B .... p q ( ) ( ) ( ) ( )
S S .... B B .... B .... ....
B S .... B .... ....
4. Biimplikasi S B .... S .... ....
Tabel Kebenarannya : S S .... B .... ....
Biimplikasi akan bernilai benar jika sebab dan akibatnya bernilai Kesimpulan : .............................................................................................
sama
LEMBAR KERJA SISWA
LOGIKA MATEMATIKA
D. Negasi dari Pernyataan Majemuk 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 ( ) ~( ) p q ~( ) ( ) ~( )
B B .... .... .... .... .... B B .... .... .... .... ....
B S .... .... .... .... .... B S .... .... .... .... ....
S B .... .... .... .... .... S B .... .... .... .... ....
S S .... .... .... .... .... S S .... .... .... .... ....
Kesimpulan : ............................................................................................. Kesimpulan : .............................................................................................

~( ) F. Penarikan Kesimpulan
P q ( ) ~( ) 1. Modus Ponens
B B .... .... .... .... .... Kerangka penarikan kesimpulan modus ponens sebagai berikut :
B S .... .... .... .... ....
Premis 1 :
S B .... .... .... .... ....
Premis 2 : p
S S .... .... .... .... ....
Konklusi : q
Kesimpulan : .............................................................................................
2. Modus Tollens
C ~( )
Kerangka penarikan kesimpulan modus tollens sebagai berikut :
P q ( ) ~( )
Premis 1 :
B B .... .... .... ....
Premis 2 : ~
B S .... .... .... ....
Konklusi : ~
S B .... .... .... ....
S S .... .... .... ....
Kesimpulan : ............................................................................................. 3. Silogisme
Kerangka penarikan kesimpulan silogisme sebagai berikut :
~( ) ( ) ( ) Premis 1 :
(KERJAKAN DI KERTAS SELEMBAR DAN KUMPULKAN) Premis 2 :
Konklusi :