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