Cálculo Proposicional 3

Oi, galera! Os parênteses "(" e ")", são símbolos auxiliares que servem para denotar o "alcance" dos conectivos;

Exemplos:

· Se a lua é quadrada e a neve é branca então a lua não é quadrada:

((p ^ q) -> ~ p)

· A lua não é quadrada se e somente se a neve é branca:

((~ p) <-> q))

Para refletir: "A Bíblia não é somente um grande livro de referências históricas, mas é também um Guia para a vida diária, e por esta razão eu a respeito e amo." (Hailé Selassié)