Propriedades das condições Propriedades das condições

Sejam q(x) uma condição qualquer, i(x) uma condição impossível, p(x) uma condição Sejam q(x) uma condição qualquer, i(x) uma condição impossível, p(x) uma condição
possível e u(x) uma condição universal e U um conjunto. possível e u(x) uma condição universal e U um conjunto.
A disjunção de qualquer condição com uma condição universal é A disjunção de qualquer condição com uma condição universal é
uma condição universal, ie: uma condição universal, ie:
q(x )  u(x )  u(x ) q(x )  u(x )  u(x )

A disjunção de qualquer condição com uma condição possível é uma A disjunção de qualquer condição com uma condição possível é uma
condição possível, ie: Disjunção de condições condição possível, ie: Disjunção de condições
q(x )  p1(x )  p2 (x ) q(x )  p1(x )  p2 (x )

A disjunção de qualquer condição com uma condição impossível é A disjunção de qualquer condição com uma condição impossível é
essa condição, ie: essa condição, ie:
q(x )  i(x )  q(x ) q(x )  i(x )  q(x )

A conjunção de qualquer condição com uma condição universal é A conjunção de qualquer condição com uma condição universal é
essa condição, ie: essa condição, ie:
q(x )  u(x )  q(x ) q(x )  u(x )  q(x )
Conjunção de condições Conjunção de condições
A conjunção de qualquer condição com uma condição impossível é A conjunção de qualquer condição com uma condição impossível é
uma condição impossível, ie: uma condição impossível, ie:
q(x )  i(x )  i(x ) q(x )  i(x )  i(x )

A negação de uma condição impossível é uma condição universal, A negação de uma condição impossível é uma condição universal,
ie: ie:
~ i(x )  u(x ) ~ i(x )  u(x )
Negação de condições Negação de condições
A negação de uma condição universal é uma condição impossível, A negação de uma condição universal é uma condição impossível,
ie: ie:
~ u(x )  i(x ) ~ u(x )  i(x )

Negar que todos os elementos de U verificam q(x) é equivalente a Negar que todos os elementos de U verificam q(x) é equivalente a
afirmar que existe pelo menos um elemento de U que não verifica afirmar que existe pelo menos um elemento de U que não verifica
Segundas Leis de De Morgan Segundas Leis de De Morgan
q(x), ie: q(x), ie:
~ (x U , q(x ))  x U :~ q(x ) NOTA:
~ (x U , q(x ))  x U :~ q(x ) NOTA:
Negar que existe pelo menos um elemento de U que verifica q(x) é Diz-se que um elemento a  U tal Negar que existe pelo menos um elemento de U que verifica q(x) é Diz-se que um elemento a  U tal
que ~p(a) é um Contraexemplo que ~p(a) é um Contraexemplo
equivalente a afirmar que todos os elementos de U não verificam da proposição  x U, p(x). equivalente a afirmar que todos os elementos de U não verificam da proposição  x U, p(x).
q(x): q(x):
~ (x U : q(x ))  x U , ~ q(x ) ~ (x U : q(x ))  x U , ~ q(x )

(x,q1(x )  q2(x ))  (x, ~ q2(x ) ~ q1(x )) Contrarecíproco (x,q1(x )  q2(x ))  (x, ~ q2(x ) ~ q1(x )) Contrarecíproco