View
54
Download
2
Category
Preview:
DESCRIPTION
Lógica Matemática
Citation preview
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
Recommended