KOMPAS.com - Dilansir dari Buku TOP No 1 UN SMA/MA IPA 2016 (2015) oleh Tim Guru Indonesia, dua pernyataan majemuk dikatakan ekuivalen jika kedua pernyataan majemuk itu mempunyai nilai kebenaran yang sama.
Ekuivalen dilambangkan dengan "≡"
Baca juga: Contoh Soal Konvers dalam Logika Matematika beserta Pembahasannya
Baca juga: Contoh Soal Negasi dan Pembahasannya dalam Logika Matematika
(p → q ≡ ~q → ~p)
Kontraposisi dari (p → q) adalah (~q → ~p).
Baca juga: Logika Matematika: Pengertian dan Jenis-jenisnya
Pernyataan berkuantor adalah pernyataan yang mengandung ukuran identitas atau jumlah.
Pernyataan berkuantor terdiri atas:
Ingkaran pernyataan berkuantor:
Baca juga: Pengertian Tautologi dan Kontradiksi pada Logika Matematika
Simak breaking news dan berita pilihan kami langsung di ponselmu. Pilih saluran andalanmu akses berita Kompas.com WhatsApp Channel : https://www.whatsapp.com/channel/0029VaFPbedBPzjZrk13HO3D. Pastikan kamu sudah install aplikasi WhatsApp ya.