Raciocinio logico conectivo se ... então - Lógica de Argumentação

[higor.alencar]

Se todo enfermeiro é médico, então a cirurgia será feita; será feita; se a cirurgia for feita, então o paciente sobreviverá; se o paciente sobreviver, então o médico será pago e todos ficarão felizes. Acontece que o médico não será pago ou alguém não ficará feliz. Nesse caso, é correto afirmar que:

a) o paciente sobreviveu
b) a cirurgia será feita
c) todo médico é enfermeiro
d) todo enfermeiro não é médico
e) nem todo enfermeiro é médico

[lordm64]

todo enfermeiro é médico\(\Rightarrow\) Cirurgia é feita
Cirurgia é feita\(\Rightarrow\)Paciente sobrevive
Paciente sobrevive\(\Rightarrow\)Médico é pago ^todos são felizes.
Médico não é pago ⋁ alguém não ficará feliz

Partindo do mais fácil:

"O medico não será pago ou alguém não será feliz"(Uma das duas, ou ambas, é verdade.)
Como uma delas é verdade então:
"Médico é pago ^todos são felizes" é falsa (Conectivo ^ basta que um seja falsa para que ambas sejam falsas.)
Como a "Médico é pago ^todos são felizes" é falsa então "Paciente sobrevive" é falsa.(Pois não pode ocorrer VF em uma implicação)
Como "Paciente sobrevive" é falsa então:
"Cirurgia é feita" é falsa (Pois não pode existir VF em uma implicação)
Como "Cirurgia é feita" é falsa então:
"Todo enfermeiro é medico" é falsa.

Portanto letra D ) todo enfermeiro não é médico

Talvez assim fique mais fácil:

todo enfermeiro é médico(F)\(\Rightarrow\) Cirurgia é feita(F)
Cirurgia é feita(F)\(\Rightarrow\)Paciente sobrevive(F)
Paciente sobrevive(F)\(\Rightarrow\)Médico é pago ^todos são felizes(F).
Médico não é pago ⋁ alguém não ficará feliz(V)