Penjelasan :
87 bukan merupakan bilangan prima (B )
Maka negasinya :
87 merupakan bilangan prima (S )
Penjelasan
p→q kontraposisinya ~q → ~p
Penjelasan :
p→q konversnya q → p
Modus ponens
Premis 1 : p→q
Premis 2 : q
∴ :p
~(p→q) ≡ p ^ ~q
Jika ada ujian di sekolah maka beberapa siswa belajar dengan rajin
p → q
Negasinya :
Ada ujian di sekolah dan semua siswa tidak belajar dengan rajin
p ^ ~q
Penjelasan :
(1) p ^ q ≡ B ^ S ≡ S
(2) p v q ≡ B v S ≡ B
(3) p → ~q ≡ B → ~S ≡B→ B≡ B
jadi yang bernilai benar hanya (2) dan (3)
Pernyataan yang ekivalen berarti mencari kontraposisi dari pernyataan tersebut.