Sistemas de equaes lineares

Lógica Binária
Proposição é toda a expressão da qual faz sentido
dizer que é verdadeira ou falsa. Cada proposição tem
um e um só valor lógico, Verdadeiro (V) ou Falso
(F).
Princípios
Princípio da não contradição: uma proposição
não pode ser verdadeira e falsa ao mesmo tempo.
Princípio do terceiro excluído: uma proposição é
verdadeira ou falsa.
Uma proposição diz-se simples ou atómica se não
contem nenhuma como parte integrante de si
mesma. As proposições compostas são construídas a
partir das simples ligando-as por operadores
(conectivos) lógicos.
Negação ┐p (não p)
p ┐p
V F
F V
1
Operações binárias
Conjunção p ∧ q (p e q) Disjunção p ∨ q (p ou q)
Implicação p→q (se p então q)
p é condição suficiente para que q
q é condição necessária para que p
Equivalência p↔q (p é equivalente a q)
p se e só se q
p
V
V
F
F
q p∧q
V V
F F
V F
F F
p ∨ q p→q p↔q
V
V
V
V
F
F
V
V
F
F
V
V
A cada variável proposicional, representada por
uma das letras p,q,r,…, é atribuída um valor lógico:
V ou F.
Uma fórmula bem formada (fbf) é construída a
partir de: símbolos V ou F, variáveis proposicionais,
operadores lógicos, símbolos de parênteses.
Convenção:
as
operações
lógicas
são
consideradas pela seguinte ordem de prioridade:
┐, ∧ , ∨ , →, ↔
Na ausência de parênteses as operações são
realizadas da esquerda para a direita.
2