LÓGICA

[Biinha]

Boa tarde !! Como resolver ?? O enunciado

Se A C B, então A U B C B

é verdadeiro para todos os conjuntos A e B. Veja como podemos justificá- lo usando passos lógicos: Sejam A e B conjuntos, tais que A C B é V. Assim, pela definição de inclusão, temos que ?x (x?A ? x ? B ) é V.

Observe que, para qualquer elemento do domínio de qualificação,o argumento

x ? A ? x?B
__________________
(x?A V x ?B)?x ?B é um passo lógico.

Assim, o enunciado ?x ((x?A V x ? B) x ? B) é V.

Assim, de acordo com a definição de união, o enunciado ?x(x ? AUB ?x?B) é V.

Logo, pela definição de inclusão, A U B C B é V.

(a) Mostre, usando uma Tabela de Avaliação que o argumento

x ? A ? x?B
___________________

x ?A V x ? B) ?x?B é de fato, válido.

(b) Seguindo o modelo acima, justifique que o enunciado

se A C B U C, então A U B U C C B U C

é verdadeiro para todos os conjuntos, usando passos lógicos.

(c) Mostre,usando uma Tabela de Avaliação que o passo lógico que você usou em (b) é, de fato, válido.