Kita sudah mengetahui apa itu kalimat deklaratif implikasi dan biimplikasi. Maka kita akan secara mudah bisa menetukan negasi dari implikasi dan biimplikasi. Implikasi diketahui apabila p → q maka negasi nya adalah p Ʌ ~q. dan apabila diketahui biimplikasi p ↔ q maka negasinya ekuivalen dengan (~p Ʌ q) v (p Ʌ~q). Perhatikan soal – soal berikut :

Diketahui :
p : ayam adalah hewan unggas (bernilai benar)
q : ayam berkembang biak dengan bertelur (bernilai benar)
tentukanlah :
1. p → q
2. ~( p → q)
3. p Ʌ ~q
4. p ↔ q
5. ~( p ↔ q)
6. ~p Ʌ q
Penyelesaian :
1. p → q : jika ayam adalah hewan unggas maka ayam berkembang biak dengan bertelur.
2. ~( p → q) : jika ayam bukan hewan unggas maka ayam berkembang biak dengan bertelur.
3. p Ʌ ~q : ayam adalah hewan unggas dan ayam tidak berkembang biak dengan bertelur.
4. p ↔ q : ayam adalah hewan unggas jika dan hanya jika ayam berkembang biak dengan bertelur.
5. ~( p ↔ q) : ayam bukan hewan unggas jika dan hanya jika ayam berkembang biak dengan bertelur.
6. ~p Ʌ q : ayam bukan hewan unggas dan ayam berkembang biak dengan bertelur.

Misalkan :
p : ani sedang mendengarkan musik
q : ani sedang bermain game
nyatakanlah kedalam symbol – symbol logika dan beserta penghubung – penghubungnya !
1 .jika ani sedang mendengarkan music maka ani sedang bermain game.
2. Jika ani tidak sedang mendengarkan music maka ani sedang bermain game.
3. Ani sedang mendengarkan music dan tidak sedang bermain game
4. Ani sedang menndengarkan music jika dan hanya jika ani sedang bermain game.
5. Ani tidak sedang mendengarkan music jika dan hanya jika ani sedang bermain game
6. Ani tidak sedang mendengarkan music dan ani sedang bermain game.
Penyelesaian :
1. p → q
2. ~( p → q)
3. p Ʌ ~q
4. p ↔ q
5. ~( p ↔ q)
6. ~p Ʌ q

Terimakasih semoga ilmu yang didapat bermanfaat dan berguna bagi kalian.