Logika Matematika (part 2)

Assalaamu'alaikum,, 
Selamat datag di blog saya :)

LOGIKA MATEMATIKA


Tautologi, Kontradiksi, dan Kontingensi

  • Tautologi adalah pernyataan majemuk yang selalu bernilai benar untuk setiap kemungkinan yang ada.
  • Kontradiksi adalah pernyataan majemuk yang selalu bernilai salah untuk setiap kemungkinan yang ada.
  • Kontingensi adalah pernyataan majemuk yang memiliki nilai benar dan salah untuk setiap kemungkinan yang ada.
perhatikan tabel dibawah ini

p
~p
p˅~p
p˄~p
p→~p
B
S
B
S
S
S
B
B
S
B


dari tabel diatas dapat kita lihat perbedaan dari Tautologi (p˅~p), Kontradiksi (p˄~p), dan Kontingensi (p→~p). 

tabel diatas hanya sebagai contoh untuk membedakan tautologi, kontradiksi, dan kontingensi. jadi tidak selamanya tautologi bentuknya p˅~p, tapi ada bentuk yang lain yang lebih beragam.



Penarikan Kesimpulan

Penarikan kesimpulan adalah konklusi dari beberapa pernyataan majemuk yang saling terkait.
DI logika matematika ada beberaoa cara untuk menarik kesimpulan.


Contoh :

Modus Ponens
Premis 1 : Jika kemarin hari Senin, maka hari ini hari Selasa
Premis 2 : Kemarin hari Senin
kesimpulan : Hari ini hari Selasa

Modus Tolens
Premis 1 : Jika kemarin hari Senin, maka hari ini hari Selasa
Premis 2 : Hari ini bukan hari Selasa
kesimpulan : Kemarin bukan hari Senin

Silogisme 
Premis 1 : Jika kemarin hari Senin, maka hari ini hari Selasa
Premis 2 : Jika hari ini hari Selasa, maka lusa hari Kamis
kesimpulan : Jika kemarin hari Senin, maka lusa hari Kamis


Sekian pembahasan sederhana tentang Logika Matematika dari saya. Semoga bisa membantu teman-teman dalam mengerjakan soal-soal tentang Logika Matematika :) Jika ada yang salah dari tulisan saya mohon dikoreksi. 
terima kasih :))

wassalaamu'alaikum

Komentar

Postingan populer dari blog ini

Geometri Euclid (aksioma)

Geometri Euclid (proposisi 4)

Perbedaan Angka, Bilangan, dan Nomor serta Jenis-Jenis Bilangan