NOÇÕES DE LÓGICA # TABELA-VERDADE # NEGAÇÃO

  Sabemos que uma proposição simples pode ser verdadeira (V) ou falsa (F).
  O valor-verdade (V ou F) de uma proposição composta depende dos valores-verdade das proposições simples que a compõem. Ele pode ser determinado por meio de um dispositivo denominado tabela-verdade, na qual figuram as possíveis combinações dos valores-verdade das proposições componentes.
  Assim, por exemplo, se uma proposição é composta de duas proposições p e q, as únicas combinações possíveis dos valores-verdade de p e q são:

- p: V e q: V                  - p: V e q: F                    - p: F e q: V                      

- p: F e q: F

  Para determinarmos o valor-verdade de uma proposição qualquer construímos uma tabela-verdade à partir dos valores-verdade das proposições simples que a compõem, obedecendo as seguintes definições:

NEGAÇÃO:

EXEMPLO 4:

  p: Pelé é brasileiro (V);  ∿ p: Pelé não é brasileiro (F)
  p: Caracas é a capital do Equador (F);  ∿ p: Caracas não é a capital do Equador        (V).