Agora vamos representar simbolicamente a negação de cada proposição composta:
~A: ~(p ∧ q) ~B: ~(r ∨ s) ~C: ~(r v s) ~D: ~(x → y) ~E: ~(s ↔ k)
~A: ~(p ∧ q)
~B: ~(r ∨ s)
~C: ~(r v s)
~D: ~(x → y)
~E: ~(s ↔ k)
As transcrições dessas negações em linguagem corrente devem ser feitas por meio do acréscimo do termo “Não é verdade que...”, resultando em: