Você está na página 1de 1

Propriedades das condies

Propriedades das condies

Sejam q(x) uma condio qualquer, i(x) uma condio impossvel, p(x) uma condio
possvel e u(x) uma condio universal e U um conjunto.

Sejam q(x) uma condio qualquer, i(x) uma condio impossvel, p(x) uma condio
possvel e u(x) uma condio universal e U um conjunto.

A disjuno de qualquer condio com uma condio universal


uma condio universal, ie:

A disjuno de qualquer condio com uma condio universal


uma condio universal, ie:

A disjuno de qualquer condio com uma condio possvel uma


condio possvel, ie:
Disjuno de condies

A disjuno de qualquer condio com uma condio possvel uma


condio possvel, ie:
Disjuno de condies

A disjuno de qualquer condio com uma condio impossvel


essa condio, ie:

A disjuno de qualquer condio com uma condio impossvel


essa condio, ie:

A conjuno de qualquer condio com uma condio universal


essa condio, ie:

A conjuno de qualquer condio com uma condio universal


essa condio, ie:

q(x ) u(x ) u(x )

q(x ) u(x ) u(x )

q(x ) p1(x ) p2 (x )

q(x ) i(x ) q(x )

q(x ) p1(x ) p2 (x )

q(x ) i(x ) q(x )

q(x ) u(x ) q(x )

q(x ) u(x ) q(x )

Conjuno de condies

Conjuno de condies

A conjuno de qualquer condio com uma condio impossvel


uma condio impossvel, ie:

A conjuno de qualquer condio com uma condio impossvel


uma condio impossvel, ie:

A negao de uma condio impossvel uma condio universal,


ie:
~ i(x ) u(x )

A negao de uma condio impossvel uma condio universal,


ie:
~ i(x ) u(x )

q(x ) i(x ) i(x )

q(x ) i(x ) i(x )

Negao de condies

Negao de condies

A negao de uma condio universal uma condio impossvel,


ie:
~ u(x ) i(x )

A negao de uma condio universal uma condio impossvel,


ie:
~ u(x ) i(x )

Negar que todos os elementos de U verificam q(x) equivalente a


afirmar que existe pelo menos um elemento de U que no verifica
q(x), ie:
~ (x U , q(x )) x U :~ q(x )

Negar que todos os elementos de U verificam q(x) equivalente a


afirmar que existe pelo menos um elemento de U que no verifica
q(x), ie:
~ (x U , q(x )) x U :~ q(x )

Negar que existe pelo menos um elemento de U que verifica q(x)


equivalente a afirmar que todos os elementos de U no verificam
q(x):
~ (x U : q(x )) x U , ~ q(x )

(x,q1(x ) q2(x )) (x, ~ q2(x ) ~ q1(x ))

Segundas Leis de De Morgan


NOTA:
Diz-se que um elemento a U tal
que ~p(a) um Contraexemplo
da proposio x U, p(x).

Contrarecproco

Negar que existe pelo menos um elemento de U que verifica q(x)


equivalente a afirmar que todos os elementos de U no verificam
q(x):
~ (x U : q(x )) x U , ~ q(x )

(x,q1(x ) q2(x )) (x, ~ q2(x ) ~ q1(x ))

Segundas Leis de De Morgan


NOTA:
Diz-se que um elemento a U tal
que ~p(a) um Contraexemplo
da proposio x U, p(x).

Contrarecproco