Ou x será 1

ou y será 2

ou z será 3

P1: se K for 4, então Z será 3 (f)

P2: se Y for 2, então K será 4 (f)

C: Z não será 3 (v)

Se, então: só será falso se a 1ºV e a 2ºF

P1: Z será 3: F

logo, k for 4 terá que ser falso

P2: K for 4 é falso

logo, se Y for 2 terá que ser falso

Resumindo:

Z não será 3

K não será 4

Y não será 2

Resultado:

X será 1

Y não será 2

(letra B)

Para mim a conclusão correta para o argumento ser válido é a D (V e V). Todas as outras ocorre premissas verdadeiras com conclusão F, ou seja, argumento inválido. Não entendi o porquê do gabarito B.