Você está na página 1de 3

10 ANO Turma C

Aluno N..

FI 2
Condies:
Uma expresso proposicional, ou condio, uma expresso com variveis que se
transforma numa proposio quando se substituem essas variveis por determinados
objetos.
Num dado universo, uma condio diz-se possvel se e s se houver pelo menos um
objeto que a transforme numa proposio verdadeira; a condio diz-se impossvel se
no for possvel.
A condio diz-se universal se e s se todos os objetos do universo a transformam
numa proposio verdadeira.
Quantificadores
: quantificador universal.
: quantificador existencial
Uma condio p(x) universal se, e s se, a proposio x, p(x) verdadeira.
Uma condio p(x) possvel se, e s se, a proposio x : p(x) verdadeira.
Segundas leis de De Morgan
- Dada uma condio p(x), tem-se: ~ x, p ( x ) x : ~ p(x)
A negao transforma o quantificador universal no quatificador existencial seguido da
negao da condio.
- Dada uma condio p(x), tem-se: ~ x, p ( x) x, ~ p(x)
A negao transforma o quantificador existencial no quatificador universal seguido da
negao da condio.
Unio, interseo e diferena de conjuntos. Conjunto complementar
- Sejam A e B conjuntos. Chama-se unio (ou reunio) de A e B ao conjunto, que
simbolizamos por A B, ao qual pertencem os elementos de A e os elementos de B e
apenas esses: A B x : x A x B
- Sejam A e B conjuntos. Chama-se interseo de A e B ao conjunto, que simbolizamos
por A B, ao qual pertencem os elementos comuns A e a B e apenas esses:
A B x : x A x B
- Dado um universo U, dizemos que o conjunto A est contido no conjunto B, e
escrevemos A B, se todo o elemento do conjunto A for elemento do conjunto B.
Tambm se diz que A um subconjunto de B, ou que A uma parte de B.
Simbolicamente: x U , x A x B
- Sejam A e B conjuntos. Chama-se diferena entre A e B ao conjunto, que
simbolizamos por A\ B, ao qual pertencem os elementos de A que no pertencem a B e
apenas esses: A\ B x A : x B ou equivalentemente A\ B x : x A x B
Se B A, chamamos a A\ B o complementar de B em A. Pode ser representado por B .
Dupla implicao
Dadas as condies p(x) e q(x),
x, p ( x ) q ( x ) equivalente a x, p ( x ) q ( x) q ( x ) p ( x )

Princpio da dupla incluso


Dados dois conjuntos A e B, A = B se e somente se A B e B A,
Operaes sobre conjuntos
A U A e A A U U e A A
Em que U representa o universo.
Primeiras Leis de De Morgan
A negao da conjuno de duas condies equivalente disjuno das negaes das

duas condies: ~ p ( x) q ( x) ~ p(x) ~q(x)


A negao da disjuno de duas condies equivalente conjuno das negaes das

duas condies: ~ p ( x) q ( x) ~ p(x) ~q(x)


A B A B A B A B

Negao de uma implicao universal. Demonstrao por contrarecproco


Dadas as condies p(x) e q(x), a negao da proposio x, p ( x) q( x)

equivalente proposio x: p(x) ~q(x), isto , a proposio x, p ( x) q ( x)

falsa se, e somente se, existir a tal que p(a) verdadeira e q(a) falsa.
A proposio x, p ( x) q( x) equivalente a x, ~ q (x) ~p(x)
A proposio x, ~ q (x) ~p(x) designa-se contrarrecproco da proposio
x, p ( x) q ( x)