Salah satu materi perkuliahan prodi pendidikan matematika mata kuliah teori himpunan dan logika matematika - Kuantor, Penarikan Kesimpulan, Validitas Pembuktian
Lebih lengkap:
https://emanmendrofa.blogspot.com/2020/04/kuantor-dan-penarikan-kesimpulan-logika-matematika.html
Salah satu materi perkuliahan prodi pendidikan matematika mata kuliah teori himpunan dan logika matematika - Kuantor, Penarikan Kesimpulan, Validitas Pembuktian
Lebih lengkap:
https://emanmendrofa.blogspot.com/2020/04/kuantor-dan-penarikan-kesimpulan-logika-matematika.html
Salah satu materi perkuliahan prodi pendidikan matematika mata kuliah teori himpunan dan logika matematika - Kata Hubung Kalimat Logika Matematika, negasi, konjungsi, disjungsi
Lebih lengkap:
https://emanmendrofa.blogspot.com/2020/04/kuantor-dan-penarikan-kesimpulan-logika-matematika.html
kali ini kita akan membahas mengenai Logika Matematika. setelah mempelajari materi ini diharapkan kalian memiliki pengetahuan mengenai apa itu Pernyataan, Nilai Kebenaran, Kalimat Terbuka, pernyataan Majemuk, Konvers, Invers, dan Kontraposisi.
Salah satu materi perkuliahan prodi pendidikan matematika mata kuliah teori himpunan dan logika matematika - Kata Hubung Kalimat Logika Matematika, negasi, konjungsi, disjungsi
Lebih lengkap:
https://emanmendrofa.blogspot.com/2020/04/kuantor-dan-penarikan-kesimpulan-logika-matematika.html
kali ini kita akan membahas mengenai Logika Matematika. setelah mempelajari materi ini diharapkan kalian memiliki pengetahuan mengenai apa itu Pernyataan, Nilai Kebenaran, Kalimat Terbuka, pernyataan Majemuk, Konvers, Invers, dan Kontraposisi.
1. IMPLIKASI
INVERS
~p ~q
INGKARAN KONVERS
p ∧ ~q p q q p
~q ~p
KONTRAPOSISI
2. Tabel Kebenaran :
IMPLIKASI KONVERS INVERS KONTRAPOSISI
pq qp ~p ~q ~q ~p
B B B B
S B B S
B S S B
B B B B
3. Contoh
Tentukanlah konvers, invers, kontraposisi dan
ingkaran dari pernyataan “Jika ABCD bujur sangkar
maka semua sisinya sama panjang“
Diketahui :
p : ABCD bujur sangkar
q : semua sisinya sama panjang“
4. Jawab :
Konvers : q ⇒ p
Jika semua sisinya sama panjang maka ABCD
bujur sangkar
Invers : ~p ⇒ ∼q :
Jika ABCD bukan bujursangkar maka semua
sisinya tidak sama panjang
Kontraposisi : ~q ⇒ ∼p
Jika semua sisinya tidak sama panjang maka
ABCD tidak bukan sangkar
Ingkaran : p ∧ ~q
ABCD bujur sangkar dan semua sisinya tidak
sama panjang
5. II. PENARIKAN KESIMPULAN
Istilah
1. Premis
2. Konklusi
3. Argumen
Pola
1. Modus Ponens
2. Modus Tallens
3. Silogisme
6. Konklusi sebaiknya diturunkan dari premis-
premis, kalau premis yang digunakan benar,
maka konklusi akan bernilai benar.
Keabsahan argumen dapat ditunjukkan dengan
bantuan tabel kebenaran.
7. Contoh: Tunjukan dengan table kebenaran !
Premis 1 : p ⇒ q
Premis 2 : p
Konklusi : q
Jawab :
{(p ⇒ q) ∧ p} ⇒ q benar
p q p ⇒ q (p ⇒ q) ∧ p {(p ⇒ q) ∧p} ⇒ q
B B B B B
B S S S B
S B B S B
S S B S B