Tecnologia

Questão 1
Considere as sentenças a seguir:
H = Se Adriane não é inteligente, então Joyce é linda.
H = Se Joyce não é loura, então Érica é interessante.
H = Se Érica é linda ou interessante, então Adriane é inteligente.
H = Se Luciana não é inteligente, então Érica é interessante.
H = Se Luciana é linda, então Érica é interessante.

Suponha que as sentenças acima são verdadeiras. A partir deste fato , deduza o atributo de cada uma das meninas. Considere na solução as restrições a seguir.
a) Há uma correspondência biunívoca entre pessoas e atributos.
b) Na solução, conclui-se que Joyce é loura.

Questão 2
A negação lógica da proposição "O pai de Marcos é pernambucano e a mãe de Marcos é gaúcha" é:

a) "O pai de Marcos não é pernambucano, e a mãe de Marcos não é gaúcha".
b) "O pai de Marcos não é pernambucano, ou a mãe de Marcos não é gaúcha".
c) "O pai de Marcos não é pernambucano, ou a mãe de Marcos é gaúcha".
d) "O pai de Marcos é pernambucano, e a mãe de Marcos não é gaúcha".

Questão 3
A negação da proposição “se Paulo estuda, então Marta é atleta” é logicamente equivalente à proposição

a) Paulo não estuda e Marta não é atleta.
b) Paulo estuda e Marta não é atleta.
c) Paulo estuda ou Marta não é atleta.
d) Se Paulo não estuda, então Marta não é atleta.
e) Paulo não estuda ou Marta não é atleta.

Questão 4 possui a mesma tabela verdade que
a)
b)
c)
d)
e)
Questão 5
Considere a seguinte proposição: "Se chove ou neva, então o chão fi ca molhado". Sendo assim, pode-se afi rmar que:

a) Se o chão está molhado, então choveu ou nevou. b) Se o chão está molhado, então choveu e nevou. c) Se o chão está seco, então choveu ou nevou. d) Se o chão está seco, então não choveu ou não nevou. e) Se o chão está seco, então não choveu e não nevou.

Questão 6
Verifique, utilizando tableau, se a fórmula é válida.
H = (P → Q) → ( ¬P  Q)

Questão 7
Se Marta é estudante, então Pedro não é professor. Se