Um argumento é uma afirmação na qual uma dada sequência fini...

FC (F) v VC (V) =  (V)

FC (F) -> FJ (F) = (V)

FJ (F) -> DT (F) = (V)

DT (F) -> ~AC (F) = (V)

~AC (F) -> AT (F) = (V)

VC: Paulo vai ao cinema.

No livro do Bruno Villar diz que é a 'A'.

Método do corte:

Ou Paulo fica em casa Ou ele vai ao cinema (apenas uma é verdadeira)

A B

B C

C D

D E

Corta as proposições iguais, ficando: Se Paulo fica em casa, chega atrasado ao seu trabalho.

Se Paulo não chegou atrasado ao trabalho, então ele não ficou em casa.

Se não ficou em casa, ele foi ao cinema.

P=Premissas

C=Conclusão

P1 FC (F) v VC (V) =  (V)

P2 FC (F) -> FJ (F) = (V)

P3 FJ (F) -> DT (F) = (V)

P4 DT (F) -> ~AC (F) = (V)

P5 ~AC (F) -> AT (F) = (V)

C: ~AT (V)

Assumindo que a conclusão é verdadeira, então todas as premissas precisam ter argumentos validos.

LETRA B