Professional Documents
Culture Documents
Sintese - Tema I
Sintese - Tema I
SÍNTESE
1. Proposições
Uma Proposição é uma expressão à qual se pode atribuir um valor lógico “verdadeiro” ou “falso”.
p ~p p q p∧q p q p∨q
V F V V V V V V
F V V F F V F V
F V V
F V F
F F F
F F F
Comutatividade (p ∧ q) ⇔ (q ∧ p) (p ∨ q) ⇔ (q ∨ p)
Existência de (p ∧ V) ⇔ (V ∧ p) ⇔ p (p ∨ F) ⇔ (F ∨ p) ⇔ p
elemento neutro V é o elemento neutro F é o elemento neutro
Existência de (p ∧ F) ⇔ (F ∧ p) ⇔ F (p ∨ V) ⇔ (V ∨ p) ⇔ V
elemento absorvente F é o elemento absorvente V é o elemento absorvente
Idempotência (p ∧ p) ⇔ p (p ∨ p) ⇔ p
Distributividade da
conjunção em relação (p ∧ (q ∨ r)) ⇔ ((p ∧ q) ∨ (p ∧ r))
à disjunção
Distributividade da
disjunção em relação (p ∨ (q ∧ r)) ⇔ ((p ∨ q) ∧ (p ∨ r))
à conjunção
p q p⇒q p q p⇔q
V V V V V V
V F F V F F
F V V F V F
F F V F F V
1
TEMA I Lógica e Teoria de Conjuntos
SÍNTESE
2. Condições e conjuntos
Uma Expressão proposicional ou condição é uma expressão com variáveis que se transforma numa pro-
posição quando se substituem essas variáveis por objetos do domínio considerado.
Sejam p(x), u(x) e i(x) condições definidas num conjunto U, tais que u(x) designa uma condição uni-
versal e i(x) designa uma condição impossível. Tem-se que:
• p(x) ∧ i(x) ⇔ i(x)
• p(x) ∧ u(x) ⇔ p(x)
• p(x) ∨ i(x) ⇔ p(x)
• p(x) ∨ u(x) ⇔ u(x)
2
Síntese
A relação entre os quantificadores de uma condição e a classificação dessa mesma condição pode
ser resumida neste diagrama:
A é um subconjunto de B se ∀ x, x ∈A ⇒ x ∈B.
Escreve-se A ⊂ B.
fi
B
A
Implicação Inclusão
entre condições de conjuntos
Conjunção
de condições fi Interseção
de conjuntos
A«B
3
TEMA I Lógica e Teoria de Conjuntos
SÍNTESE
fi
U
A B
Disjunção Reunião
de condições de conjuntos
A∪B
–
Complementar de um conjunto A: A = {x ∈U: x ∉A}
fi
U
Negação Complementar A A
de condição do conjunto