CÁLCULO PROPOSICIONAL

Variáveis proposicionais: letras latinas minúsculas p, q, r, s,... para indicar as proposições.

Exemplo:A lua é quadrada: pA neve é branca: q

Proposições simples

São as proposições que não vêm acompanhadas de outras proposições.

Exemplo:Aristóteles era grego.

Proposições Compostas

Quando duas ou mais proposições vêm conectadas entre si, formando uma só sentença.

Exemplo: Ana trabalha ou Carlos descansa.

Conectivos Lógicos

∧ : e

∨ : ou

→ : se... então

↔ : se e somente se

~ : não

Exemplos:

A lua é quadrada e a neve é branca: p ∧ q(conjuntos)

A lua é quadrada ou neve é branca: p V q(disjuntos)

Se a lua é quadrada então a neve a branca: p → q(p – antecedente; q – consequente)

A lua é quadrada se e somente se a neve é branca: p ↔ q

A lua não é quadrada: ~p