Considere verdadeira a proposição A: (¬X ˄ Z) ˄ (Z → Y). A ...

Através do enunciado da questão temos que: a proposição A: (¬X ^ Z) ^ (Z → Y) é verdadeira.

Pela tabela verdade da conjunção, ambos precisam ser verdadeiro para o valor lógico ser verdadeiro.

Desse modo,

~X = verdadeiro

X = falso

Z = verdadeiro

Pela tabela verdade da condicional, temos que V -> F = F

Logo, o Y precisa ter valor lógico verdadeiro.

Gab. Letra A.

Fiz assim:

~X e Z = V onde as duas necessariamente tem que ser verdadeiras, pois o conectivo "E" só aceita verdades

logo o Z só pode ser verdadeiro

então Z --> Y só poderá ser V e V pois na condicional se eu tiver V F=F

Gabarito A

Seria bom um vídeo de professor/professora.

Nunca tinha resolvido questão com o :, achei que pudesse ter algum valor.

Sabemos q a sentença de E(conjunção) as duas terão que ser verdadeiras para ser verdadeira

a) Y= V

b) Negação de V=F

c) Negação de V=F

d)F^V=F