Logika Matematika Reinaldi Akmal (31) XI IPS 2

Logika Matematika

Penjelasan

Matematika merupakan ilmu yang memiliki cakupan yang sangat luas. Matematika bukan hanya mempelajari angka dan perhitungan saja. Namun, terdapat hal-hal yang dipelajari dalam matematika selain hitung-menghitung, salah satunya adalah logika matematika.

Logika matematika akan memberikan landasan tentang bagaimana cara kita mengambil kesimpulan. Hal-hal pada logika matematika yang akan kita pelajari kali ini antara lain mengenai pernyataan, ingkaran, hubungan antara dua kalimat atau lebih serta bagaimana menarik kesimpulan dari kalimat-kalimat yang diberikan.

Pernyataan tertutup (kalimat tertutup)

Pernyataan tertutup atau kalimat tertutup adalah suatu pernyataan yang sudah memiliki nilai benar atau salah.

“5 adalah bilangan genap”, kalimat tersebut bernilai salah karena yang benar adalah “5 adalah bilangan ganjil”.

Lihat juga materi StudioBelajar.com lainnya:
Integral Tak Tentu & Integral Trigonometri
Penjumlahan dan Perkalian Matriks

Pernyataan terbuka (kalimat terbuka)

Pernyataan terbuka atau kalimat terbuka adalah suatu pernyataan yang belum dapat ditentukan nilai kebenarannya karena adanya suatu perubah atau variabel.

Contoh logika matematika:
$p(x): 3x+1 > 6, x \in \mathbb{R}$
Saat $x = 1$ , maka $p(1): 3(1) + 1 > 6$ bernilai salah
Saat $x = 2$ , maka $p(2): 3(2) + 1 > 6$ bernilai benar

Ingkaran atau Negasi dari suatu Pernyataan

Ingkaran atau negasi adalah kebalikan nilai dari suatu pernyataan, dimana ketika suatu pernyataan bernilai benar, maka negasinya bernilai salah dan saat suatu pernyataan bernilai salah, negasinya bernilai benar. Ingkaran atau negasi dari pernyataan $p$ dilambangkan dengan $\sim p$ .

Pernyataan Kuantor

Pernyataan kuantor adalah bentuk logika matematika berupa pernyataan yang memiliki kuantitas. Dalam pernyataan kuantor, pada umumnya terdapat kata semua, seluruh, setiap, beberapa, ada, dan sebagian.

Kata-kata yang senilai dengan seluruh, semua, setiap termasuk dalam kuantor universal dan kata-kata yang senilai dengan sebagian, beberapa, ada termasuk dalam kuantor eksistensial. Kuantor universal dan kuantor eksistensial saling beringkaran.

$p$ : semua orang adalah sarjana (Kuantor universal)

$\sim p$ : sebagian orang adalah tidak sarjana

Pernyataan Majemuk, Bentuk Ekuivalen dan Ingkarannya

Dalam logika matematika, beberapa pernyataan dapat dibentuk menjadi satu pernyataan dengan menggunakan kata penghubung logika seperti dan, atau, maka dan jika dan hanya jika. Pernyataan gabungan tersebut disebut dengan pernyataan majemuk.

Dalam logika matematika, kata hubung tersebur masing-masing memiliki lambang dan istilah sendiri.
kata hubung pernyataan majemuk

Tabel Kebenaran Konjungsi

Dari tabel diatas dapat disimpulkan bahwa sifat dari konjungsi adalah bernilai benar jika kedua pernyataan penyusun dari peryataan majemuk keduanya bernilai benar.

Tabel Kebenaran Disjungsi

Dari tabel diatas dapat disimpulkan bahwa sifat dari disjungsi adalah bernilai salah jika kedua pernyataan penyusun dari peryataan majemuk keduanya bernilai salah.

Tabel Kebenaran Implikasi

Pada sifat implikasi ini, $p \Rightarrow q$ , p disebut sebagai hipotesa dan q sebagai konklusi. Pada implikasi ini akan bernilai salah ketika konklusi salah dan hipotesa benar.

Tabel Kebenaran Biimplikasi

Pada sifat biimplikasi, penyataan majemuk akan bernilai benar jika kedua pernyataan penyusunnya bernilai sama, keduanya benar atau keduanya salah.

Tautologi dan Kontradiksi

Tautologi adalah pernyataan majemuk yang selalu benar untuk semua kemungkinan yang ada dan kontradiksi adalah kebalikannya, yaitu pernyataan majemuk yang bernilai salah untuk semua kemungkinan yang ada.

Bentuk Ekuivalen Pernyataan Majemuk

Pernyataan majemuk yang memiliki nilai sama untuk semau kemungkinannya dikatakan ekuivalen. Notasi ekuivalen dalam logika matematika adalah “ $\equiv$ “.
Bentuk-bentuk pernyataan yang saling ekuivalen adalah:
bentuk ekuivalen tabel kebenaran

Ingkaran Pernyataan Majemuk

Ingkaran Konjungsi: $\sim (p \wedge q) \equiv \sim p \vee \sim q$

Ingkaran Disjungsi: $\sim (p \vee q) \equiv \sim p \wedge \sim q$
Ingkaran Implikasi: $\sim (p \Rightarrow q) \equiv p \wedge \sim q$
Ingkaran Biimplikasi: $\sim (p \Leftrightarrow q) \equiv (p \wedge \sim q) \vee (q \wedge \sim p)$

Konvers, Invers dan Kontraposisi

Konvers, invers dan kontraposisi adalah bentuk lain dari implikasi, dimana:
Konvers dari $p \Rightarrow q$ adalah $q \Rightarrow p$
Invers dari $p \Rightarrow q$ adalah $\sim p \Rightarrow \sim q$
Kontraposisi dari $p \Rightarrow q$ adalah $\sim q \Rightarrow \sim p$

Penarikan Kesimpulan (Logika Matematika)

Penarikan kesimpulan adalah konklusi dari beberapa pernyataan majemuk (premis) yang saling terkait. Dalam penarikan kesimpulan terdiri dari beberapa cara, yaitu:
penarikan kesimpulan logika matematika

Contoh Soal Logika Matematika:

Soal 1:
Premis 1 : Jika Andi rajin belajar, maka Andi juara kelas
Premis 2 : Andi rajin belajar
Kesimpulan dari kedua premis diatas adalah ….
Jawab:
Premis 1               : $p \Rightarrow q$
Premis 2               : p
Kesimpulan          : q (modus ponens)
Jadi kesimpulannya adalah Andi juara kelas.

Soal 2:
Premis 1 : Jika hari hujan, maka sekolah libur
Premis 2   : sekolah tidak libur
Kesimpulan dari kedua premis diatas adalah ….
Jawab:
Premis 1               : $p \Rightarrow q$
Premis 2               : $\sim q$
Kesimpulan          : (modus tollens)
Jadi kesimpulannya adalah hari tidak hujan.
Soal logika matematika 3:
Premis 1 : Jika Ani nakal, maka Ibu marah
Premis 2   : Jika Ibu marah, maka Ani tidak dapat uang saku
Kesimpulan dari kedua premis diatas adalah …
Jawab:
Premis 1               : $p \Rightarrow q$
Premis 2               : $q \Rightarrow r$
Kesimpulan          : $p \Rightarrow r$ (silogisme)
Jadi kesimpulannya adalah Jika Ani nakal, maka Ani tidak dapat uang saku.

Contoh Pernyataan :

Soal No. 1
Tentukan negasi dari pernyataan-pernyataan berikut: a) Hari ini Jakarta banjir.
b) Kambing bisa terbang.
c) Didi anak bodoh
d) Siswa-siswi SMANSA memakai baju batik pada hari Rabu.

Pembahasan
a) Tidak benar bahwa hari ini Jakarta banjir.
b) Tidak benar bahwa kambing bisa terbang.
c) Tidak benar bahwa Didi anak bodoh
d) Tidak benar bahwa siswa-siswi SMANSA memakai baju batik pada hari Rabu.

Atau boleh juga dengan format berikut:
a) Hari ini Jakarta tidak banjir.
b) Kambing tidak bisa terbang.
c) Didi bukan anak bodoh
d) Siswa-siswi SMANSA tidak memakai baju batik pada hari Rabu.

Soal No. 2
Tentukan negasi (ingkaran) dari pernyataan-pernyataan berikut:
a) p : Semua dokter memakai baju putih saat bekerja.
b) p : Semua jenis burung bisa terbang
c) p : Semua anak mengikuti ujian fisika hari ini.

Pembahasan
Pernyataan yang memuat kata "Semua" atau "Setiap" negasinya memuat kata "Beberapa" atau "Ada" seperti berikut:
a) ~p : Ada dokter tidak memakai baju putih saat bekerja.
b) ~p : Beberapa jenis burung tidak bisa terbang
c) ~p : Beberapa anak tidak mengikuti ujian fisika hari ini.

Soal No. 3
Ingkaran dari pernyataan “Beberapa bilangan prima adalah bilangan genap” adalah....
A. Semua bilangan prima adalah bilangan genap.
B. Semua bilangan prima bukan bilangan genap.
C. Beberapa bilangan prima bukan bilangan genap.
D. Beberpa bilangan genap bukan bilangan prima.
E. Beberapa bilangan genap adalah bilangan prima.
(Soal UN Matematika Tahun 2008 P12)

Pembahasan
p : Beberapa bilangan prima adalah bilangan genap
~p : Semua bilangan prima bukan bilangan genap

Soal No. 4
Tentukan pernyataan majemuk hasil penggabungan pasangan-pasangan pernyataan berikut dengan menggunakan operasi konjungsi (DAN):
a) p : Hari ini Jakarta hujan
    q : Hari ini Jakarta banjir

b) p : Iwan memakai topi
    q : Iwan memakai dasi

c) p : Mahesa anak jenius.
    q : Mahesa anak pemalas.

Pembahasan
a) p : Hari ini Jakarta hujan
    q : Hari ini Jakarta banjir

p ∧ q : Hari ini Jakarta hujan dan banjir

b) p : Iwan memakai topi
    q : Iwan memakai dasi

p ∧ q : Iwan memakai topi dan dasi

c) p : Mahesa anak jenius.
    q : Mahesa anak pemalas.

p ∧ q : Mahesa anak jenius tetapi pemalas

Kata "dan" bisa diganti dengan "tetapi", "walaupun", "meskipun" selaraskan dengan pernyataan.

Soal No. 5
Diberikan dua pernyataan sebagai berikut:
a) p : Hari ini Jakarta hujan lebat.
    q : Hari ini aliran listrik putus.

Nyatakan dengan kata-kata:
a) p ∧ q
b) p ∧ ~q
c) ~p ∧ q
d) ~p ∧ ~q

Soal No. 6
Diberikan data:
Pernyataan p bernilai salah
Pernyataan q bernilai benar

Tentukan nilai kebenaran dari konjungsi di bawah ini:
a) p ∧ q
b) p ∧ ~q
c) ~p ∧ q
d) ~p ∧ ~q

Pembahasan
Tabel Nilai kebenaran untuk konjungsi :

p	q	p ∧ q
B	B	B
B	S	S
S	B	S
S	S	S

Terlihat bahwa konjungsi bernilai benar jika kedua pernyataan bernilai benar.
Kita terapkan pada soal salah satunya dengan cara tabel:

p	q	~p	~q	p ∧ q	p ∧ ~q	~p ∧ q	~p ∧ ~q
S	B	B	S	S	S	B	S

Dari tabel di atas
a) p ∧ q bernilai salah
b) p ∧ ~q bernilai salah
c) ~p ∧ q bernilai benar
d) ~p ∧ ~q bernilai salah

Soal No. 7
Gabungkan pasangan pernyataan-pernyataan berikut dengan menggunakan operasi disjungsi (ATAU):
a) p : Ibu memasak ayam goreng
   q : Ibu membeli soto babat di pasar

b) p : Pak Bambang mengajar matematika
   q : Pak Bambang mengajar bahasa inggris

Pembahasan
a) p : Ibu memasak ayam goreng
   q : Ibu membeli soto babat di pasar

   p ∨ q : Ibu memasak ayam goreng atau membeli soto babat di pasar.

b) p : Pak Bambang mengajar matematika
   q : Pak Bambang mengajar bahasa inggris

   p ∨ q : Pak Bambang mengajar matematika atau bahasa inggris

Soal No. 8
Diberikan nilai dari pernyataan p dan q sebagai berikut:

p	q
B	S

Tentukan nilai kebenaran dari disjungsi berikut:
a) p ∨ q
b) p ∨ ~q
c) ~p ∨ q

Pembahasan
Tabel lengkap dari disjungsi sebagai berikut:

.	p	q	p ∨ q
1	B	B	B
2	B	S	B
3	S	B	B
4	S	S	S

Dari data soal dapat diperoleh nilai dari negasi p maupun negasi q, tinggal dibalikkan saja B jadi S, S jadi B

p	q	~p	~q
B	S	S	B

a) p ∨ q
p bernilai B, q bernilai S
Pasangan B S menghasilkan nilai B (lihat tabel kebenaran nomor 2)

b) p ∨ ~q
p bernilai B, ~q bernilai B (kebalikan dari nilai q)
Pasangan B B menghasilkan nilai B (lihat tabel kebenaran nomor 1)

c) ~p ∨ q
~p bernilai S (kebalikan dari nilai p), q bernilai S
Pasangan S S menghasilkan nilai S (lihat tabel kebenaran nomor 4)

Soal No. 9
Negasi dari pernyataan " Matematika tidak mengasyikkan atau membosankan" adalah...
A. Matematika mengasyikkan atau membosankan
B. Matematika mengasyikkan atau tidak membosankan
C. Matematika mengasyikkan dan tidak membosankan
D. Matematika tidak mengasyikkan dan tidak membosankan
E. Matematika tidak mengasyikkan dan membosankan
(Soal UN Matematika 2008)

Pembahasan
Untuk menentukan negasi dari suatu konjungsi atau disjungsi perhatikan dalil de Morgan berikut:
~(p ∧ q ) ≅ ~p ∨ ~q
~(p ∨ q) ≅ ~p ∧ ~ q

p : Matematika tidak mengasyikkan
q : Matematika membosankan
Negasi untuk p dan q masing-masing adalah:
~p : Matematika mengasyikkan
~q : Matematika tidak membosankan
Gunakan dalil de Morgan untuk negasi disjungsi

~(p ∨ q) ≅ ~p ∧ ~ q

sehingga

~p ∧ ~ q : Matematika mengasyikkan dan tidak membosankan

Soal No. 10
Tentukan negasi dari pernyataan:
a) Bogor hujan lebat dan Jakarta tidak banjir.
b) Hari ini tidak mendung dan Budi membawa payung

Pembahasan
Ingkaran (negasi) dari konjungsi.
a) Bogor hujan lebat dan Jakarta tidak banjir.
Ingat:
~(p ∧ q ) ≅ ~p ∨ ~q
Sehingga ingkarannya adalah:
Bogor tidak hujan lebat atau Jakarta banjir.

b) Hari ini tidak mendung dan Budi membawa payung
Ingat:
~(p ∧ q ) ≅ ~p ∨ ~q
Sehingga ingkarannya adalah:
Hari ini mendung atau Budi tidak membawa payung

Pembahasan
a) Hari ini Jakarta hujan lebat dan aliran listrik putus
b) Hari ini Jakarta hujan lebat dan aliran listrik tidak putus

c) Hari ini Jakarta tidak hujan lebat dan aliran listrik putus
d) Hari ini Jakarta tidak hujan lebat dan aliran listrik tidak putus

Soal No. 11
Diberikan pernyataan:
p : Tahun ini kemarau panjang.
q : Tahun ini hasil padi meningkat.
Nyatakan dengan kata-kata:
a) p → q
b) ~p → ~q
c) p → ~q

Pembahasan
Implikasi, formatnya adalah "jika p maka q" sehingga:
a) p → q : Jika tahun ini kemarau panjang maka hasil padi meningkat

b) ~p → ~q : Jika tahun ini tidak kemarau panjang maka hasil padi tidak meningkat.
c) p → ~q : Jika tahun ini kemarau panjang maka hasil padi tidak meningkat.

Soal No. 12
Tentukan ingkaran dari pernyataan:
"Jika cuaca cerah maka maka Amir bermain sepakbola"

Pembahasan
Ingkaran dari sebuah implikasi p → q adalah p dan ~q ~(p → q) ≅ p ∧ ~ q
sehingga ingkaran dari pernyataan di atas adalah "Cuaca cerah dan Amir tidak bermain sepakbola"

Soal No. 13
Ingkaran dari pernyataan “Semua pasien mengharapkan sehat dan dapat beraktifitas kembali” adalah…
A. Beberapa pasien mengharapkan sehat dan dapat beraktifitas kembali.
B. Beberapa pasien mengharapkan tidak sehat atau tidak dapat beraktifitas kembali.
C. Beberapa pasien mengharapkan sehat tetapi tidak dapat beraktifitas kembali.
D. Beberapa pasien mengharapkan sehat tetapi dapat beraktifitas kembali.
E. Semua pasien mengharapkan sehat juga dapat beraktifitas kembali.

Pembahasan
Negasi dari sebuah pernyataan.
Bentuk yang sering muncul adalah:

“Semua pasien mengharapkan sehat dan dapat beraktifitas kembali”

Pernyataannya dalam bentuk (p ∧ q) jadi ingkarannya adalah ~p ∨ ~q.
Terjemahannya dalam kalimat menjadi
“Beberapa pasien mengharap tidak sehat atau tidak dapat beraktifitas kembali”. Cari kalimat yang sama di pilihannya.

Soal No. 14
Perhatikan pernyataan berikut:
"Jika cuaca mendung maka Charli membawa payung"

Tentukan konvers, invers dan kontraposisi dari pernyataan di atas!

Pembahasan
Dari implikasi p → q

p : Cuaca mendung
q : Charli membawa payung

Konversnya adalah q → p
yaitu "Jika Charli membawa payung maka cuaca mendung"

Inversnya adalah ~p → ~q
yaitu "Jika cuaca tidak mendung maka Charli tidak membawa payung"

Kontraposisinya adalah ~q → ~p
yaitu "Jika Charli tidak membawa payung maka cuaca tidak mendung"

Soal No. 15
Kontraposisi dari "Jika semua warga negara membayar pajak maka pembangunan berjalan lancar" adalah....
A. jika pembangunan tidak berjalan lancar maka ada warga negara yang tidak membayar pajak
B. jika tidak semua warga negara membayar pajak maka pembangunan tidak berjalan lancar
C. jika semua warga negara membayar pajak maka pembangunan tidak berjalan lancar
D. jika pembangunan berjalan lancar maka tidak semua warga negara membayar pajak
E. jika pembangunan tidak berjalan lancar maka semua warga negara tidak membayar pajak
(Soal Ebtanas 1995)

Pembahasan
p : semua warga negara membayar pajak
q : pembangunan berjalan lancar

Konversnya adalah ~q → ~p yaitu "Jika pembangunan tidak berjalan lancar maka ada warga negara yang tidak membayar pajak"

Soal No. 16
Premis 1 : Jika Budi rajin berolahraga maka badannya sehat.
Premis 2 : Budi rajin berolahraga.

Pembahasan
Modus Ponens
p → q
p
________
∴ q

Jika Budi rajin berolahraga maka badannya sehat.
                     p    q

Budi rajin berolahraga
              p

Kesimpulan adalah q : Badan Budi sehat

Soal No. 17
Tentukan kesimpulan dari :
Premis 1 : Jika hari cerah maka Budi bermain bola.
Premis 2 : Budi tidak bermain bola.

Pembahasan
p : Hari cerah
q : Budi bermain bola

Penarikan kesimpulan dengan prinsip Modus Tollens
p → q
~q
_______
∴ ~p

Sehingga kesimpulannya adalah " Hari tidak cerah "

Soal No. 18
Tentukan kesimpulan dari :
Premis 1 : Jika Budi rajin belajar maka ia disayang ayah.
Premis 2 : Jika Budi disayang ayah maka ia disayang ibu.

Pembahasan
Penarikan kesimpulan dengan prinsip silogisme
p → q
q → r
_________
∴ p → r

Sehingga kesimpulannya adalah " Jika Budi rajin belajar maka ia disayang ibu"

Soal No. 19
Diketahui pernyataan :
1. Jika hari panas, maka Ani memakai topi.
2. Ani tidak memakai topi atau ia memakai payung.
3. Ani tidak memakai payung.

Kesimpulan yang sah adalah...
A. Hari panas.
B. Hari tidak panas.
C. Ani memakai topi.
D. Hari panas dan Ani memakai topi.
E. Hari tidak panas dan Ani memakai topi.

Pembahasan
Premis (1) Jika hari panas, maka Ani memakai topi.
Premis (2) Ani tidak memakai topi atau ia memakai payung.
Premis (3) Ani tidak memakai payung.

p : Hari panas
q : Ani memakai topi
r : Ani memakai payung

Selesaikan terlebih dahulu premis (1) dan (2) kemudian digabungkan dengan premis (3)

Dari premis (1) dan (2)
Premis (1) Jika hari panas, maka Ani memakai topi.
Premis (2) Ani tidak memakai topi atau ia memakai payung.

p → q
~q ∨ r

Ingat bentuk berikut:
~q ∨ r ekivalen dengan q → r

sehingga bentuk di atas menjadi :
p → q
q → r
_____
∴ p → r      (Silogisme)

Dari sini gabungkan dengan premis ketiga:
p→ r
~r
_____
∴ ~p           (Modus Tollens)

Kesimpulan akhirnya adalah ~p yaitu "Hari tidak panas"

Soal No. 20
Diketahui premis-premis berikut:
Premis 1 : Jika masyarakat membuang sampah pada tempatnya maka lingkungan bersih.
Premis 2: Jika lingkungan bersih maka hidup akan nyaman.

Kesimpulan yang sah dari kedua premis tersebut adalah…
A. Jika masyarakat membuang sampah pada tempatnya maka hidup akan nyaman.
B. Masyarakat membuang sampah pada tempatnya maka hidup akan nyaman.
C. Jika masyarakat membuang sampah tidak pada tempatnya maka lingkungan tidak akan bersih.
D. Jika masyarakat membuang sampah pada tempatnya maka lingkungan tidak bersih.
E. Masyarakat membuang sampah pada tempatnya tetapi lingkungan tidak bersih.

Pembahasan
Penarikan kesimpulan. Premisnya berpola silogisme:

Sehingga kesimpulannya adalah “Jika masyarakat membuang sampah pada tempatnya maka hidup akan nyaman.”
Soal No. 21
Diberikan pernyataan:

"Jika pemimpin jujur maka rakyat tentram "

Buatlah dua buah pernyataan yang setara dengan pernyataan di atas!

Pembahasan
Rumus:

Pernyataan yang setara dengan sebuah implikasi p → q

(i) dengan menggunakan format rumus p → q setara dengan ~p ∨ q
"Jika pemimpin jujur maka rakyat tentram "
setara dengan
"Pemimpin tidak jujur atau rakyat tentram "
(ii) dengan memakai format rumus p → q setara dengan ~q → ~p
"Jika pemimpin jujur maka rakyat tentram "
setara dengan
"Jika rakyat tidak tentram maka pemimpin tidak jujur "

Soal No. 22
Pernyataan yang setara dengan “jika harga BBM naik maka harga kebutuhan pokok akan naik” adalah…
A. Harga BBM naik dan harga kebutuhan pokok naik.
B. Harga BBM tidak naik atau harga kebutuhan pokok akan naik.
C. Jika harga BBM tidak naik maka harga kebutuhan pokok akan naik.
D. Jika harga BBM tidak naik maka harga kebutuhan pokok tidak naik.
E. Jika harga BBM tidak naik maka harga kebutuhan pokok akan turun.
(Logika - UN SMA IPS 2013)
Pembahasan
Seperti contoh di atas, dengan penggunaan format yang (i):
“Jika harga BBM naik maka harga kebutuhan pokok akan naik”
setara dengan
"Harga BBM tidak naik atau harga kebutuhan pokok akan naik"
Jawaban: B

Konvers, Invers dan Kontraposisi

Konvers, invers dan kontraposisi adalah bentuk lain dari implikasi, dimana:

Konvers dari $p \Rightarrow q$ adalah $q \Rightarrow p$

Invers dari $p \Rightarrow q$ adalah $\sim p \Rightarrow \sim q$

Kontraposisi dari $p \Rightarrow q$ adalah $\sim q \Rightarrow \sim p$

Penarikan Kesimpulan (Logika Matematika)

Penarikan kesimpulan adalah konklusi dari beberapa pernyataan majemuk (premis) yang saling terkait. Dalam penarikan kesimpulan terdiri dari beberapa cara, yaitu:

Contoh Soal Logika Matematika:

Soal 1:
Premis 1 : Jika Andi rajin belajar, maka Andi juara kelas
Premis 2 : Andi rajin belajar
Kesimpulan dari kedua premis diatas adalah ….

Jawab:
Premis 1               : $p \Rightarrow q$
Premis 2               : p
Kesimpulan          : q (modus ponens)
Jadi kesimpulannya adalah Andi juara kelas.

Soal 2:
Premis 1 : Jika hari hujan, maka sekolah libur
Premis 2 : sekolah tidak libur
Kesimpulan dari kedua premis diatas adalah ….

Jawab:
Premis 1               : $p \Rightarrow q$
Premis 2               : $\sim q$
Kesimpulan          : (modus tollens)
Jadi kesimpulannya adalah hari tidak hujan.

Soal logika matematika 3:
Premis 1 : Jika Ani nakal, maka Ibu marah
Premis 2 : Jika Ibu marah, maka Ani tidak dapat uang saku
Kesimpulan dari kedua premis diatas adalah …

Jawab:
Premis 1               : $p \Rightarrow q$
Premis 2               : $q \Rightarrow r$
Kesimpulan          : $p \Rightarrow r$ (silogisme)
Jadi kesimpulannya adalah Jika Ani nakal, maka Ani tidak dapat uang saku.

a. p ∨ ~p p ∨ ~ p T T F T F T T F b. ~[(~p ⇒ r) ∨ (p ⇒ ~q)] ∧ r ~ [(~ p ⇒ r) ∨ (p ⇒ ~ q)] ∧ r F F T T T T T F F T F T F F T T F T T F F T F F F F T T T T T T T F F T F F T T F T T T T F F F F T F T T T F T F T F T F T F F F T F T F T F F F T F T T T F T T F F T F T F F F T F T T F F F B. Ekuivalen secara logika Dua proposisi dikatakan ekuivalen secara logika jika nilai kebenaran dari kedua pernyataan tersebut sama. Lambang untuk ekuivalen adalah “ ≡ ” Sebagai contoh, perhatikan tabel kebenaran dari proposisi (p ⇔ q) dan (p ⇒ q) ∧ (q ⇒ p) berikut. p ⇔ q (p ⇒ q) ∧ (q ⇒ p) T T T T T T T T T T T F F T F F F F T T F F T F T T F T F F F T F F T F T F T F Karena nilai kebenaran dari kedua proposisi diatas sama (berdasar tabel kebenaran), maka (p ⇔ q) ≡ (p ⇒ q) ∧ (q ⇒ p).

Beberapa hukum ekuivalensi logika disajikan dalam daftar dibawah ini: 1. Hukum Komutatif a. p ∧ q ≡ q ∧ p b. p ∨ q ≡ q ∨ p 2. Hukum asosiatif a. (p ∧ q) ∧ r ≡ p ∧ (q ∧ r) b. (p ∨ q) ∨ r ≡ p ∨ (q ∨ r) 3. Hukum distributive a. p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) b. p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) 4. Hukum identitas a. p ∧ T ≡ p b. p ∨ F ≡ p 5. Hukum ikatan a. p ∧ F ≡ F b. p ∨ T ≡ T 6. Hukum negasi a. p ∨ ~p ≡ T b. p ∧ ~p ≡ F 7. Hukum negasi ganda ~(~p) ≡ p 8. Hukum idempotent a. p ∧ p ≡ p b. p ∨ p ≡ p 9. Hukum De Morgan a. ~(p ∧ q) ≡ ~p ∨ ~q b. ~(p ∨ q) ≡ ~p ∧ ~q 10. Hukum Penyerapan a. p ∨ (p ∧ q) ≡ p b. p ∧ (p ∨ q) ≡ p 11. Negasi T dan F a. ~T ≡ F b. ~F ≡ T C. Konvers, Invers, dan Kontraposisi Terdapat beberapa implikasi lain yang berkaitan dengan proposisi p ⇒ q, yaitu proposisi sederhana yang merupakan variasi dari implikasi. Perhatikan proposisi berikut: Jika Amir mempunyai mobil, maka ia orang kaya. Variasi dari proposisi diatas adalah sebagai berikut: a. Jika Amir orang kaya, maka ia mempunyai mobil. b. Jika Amir tidak mempunyai mobil, maka ia bukan orang kaya. c. Jika Amir bukan orang kaya, maka ia tidak mempunyai mobil. 3 Bahan kuliah Logika Matematika Proposisi (a) disebut konvers, (b) disebut invers, dan (c) disebut kontraposisi. Tabel berikut ini memperlihatkan tabel kebenaran dari ketiga variasi proposisi p ⇒ q. Dari tabel tersebut terlihat bahwa proposisi p ⇒ q ekuivalen secara logika dengan kontraposisinya ~q ⇒ ~p. p q ~p ~q Kondisional Konvers Invers Kontraposisi p ⇒ q q ⇒ p ~p ⇒ ~q ~q ⇒ ~p T T F F T T T T

Latihan 1. Buatlah tabel kebenaran dari proposisi berikut: a. ~p ∨ (q ∧ ~r) b. (p ∧ q) ⇔ ~ (r ∨ s) c. ~ (p ∧ r) ∨ [(~p ∧ ~q) ⇒ r] 2. Periksalah menggunakan tabel kebenaran apakah proposisi berikut merupakan tautology, kontradiksi atau kontingen. a. p ∧ [q ∧ (p ∨ q)] b. (p ⇒ ~q) ⇒ (~q ⇒ p) c. (r ∧ p) ⇒ [ (q ∧ ~p) ⇒ (~q ⇒ r)] 3. Tentukan konvers, invers, dan kontraposisi dari proposisi berikut dan tentukan nilai kebenarannya. a. Jika x, y bilangan asli, maka x – y adalah bilangan asli. b. Jika x,y bilangan ganjil, maka x2 + y2 adalah bilangan ganjil. c. Jika A = ∅, maka n(A) = 0. 4. Tentukan pernyataan kondisional yang mempunyai: a. Invers p ⇒ ~q b. Kontraposisi ~p ⇒ q c. Konvers (p ∨ q) ⇒ ~r d. Invers (p ∧ ~q) ⇒ ~(r ∧ ~s)

Cari Blog Ini

Reinaldi Akmal (30) XI IPS 2 Pengalaman Belajar Matematika