Logika Matematika

4. Implikasi (lambang : ->)

Gampangnya : "p maka q" ditulis "p->q", contoh :
p : Aku bekerja keras
q : Aku sukses
p->q : Jika aku bekerja keras maka aku sukses
Untuk ketentuannya.. kerennya, IMPLIKASI ini kalau diumpamakan orang dia itu 4 kata : bijak, salah haluan, bejo, dan nyadar diri. Maksudnya :

• • Bijak : dia benar datang ke temannya yang benar, maka dia benar

 

• • Salah haluan : dia benar tapi datang ke temannya yang salah kaprah, dia ikut-ikutan salah

 

• • Bejo : dia salah tapi datang ke gurunya yang benar, maka dia jadi benar

 

• • Nyadar diri : Dia udah tahu salah dan mengaku salah, jadi dia benar

Tabel kebenarannya :

5. Biimplikasi (lambang : )

Gampangnya : "p jika dan hanya jika q" ditulis "pq", contoh :
p : Aku makan
q : Ada makanan
pq : Aku makan jika dan hanya jika ada makanan.
Untuk ketentuannya.. kalau diibaratkan orang, BIIMPLIKASI itu orangnya setia. Jadi jika pas remaja dia mencintai B maka cintanya sampai mati pun akan tetap sama si B, jika cintanya sama si S sampai mati pun sama si S. So, ada kamu jika dan hanya jika ada aku.
Tabel kebenarannya :

Istilah-istilah yang lain dalam logika matematika :

• • TAUTOLOGI : pernyataan yang benar dalam segala hal.