7. O conectivo não e a negação
O conectivo não e a negação de uma proposição p é outra proposição que tem como valor lógico V se p for falsa e F se p é verdadeira. O símbolo ~p (não p) representa a negação de p com a seguinte tabela-verdade:
Exemplo:
p = 7 é ímpar
~p = 7 não é ímpar
q = 24 é múltiplo de 5
~q = 24 não é múltiplo de 5
