Question

A seguir são apresentadas premissas e suas conclusões em linguagem natural
Carlos estuda ou não está cansado.
Se Carlos estuda, então dorme tarde.
Carlos não dorme tarde ou está cansado.
Logo,
Carlos está cansado se e somente se estuda.

A(s) regra(s) de inferência que assegura a verdade da conclusão, admitindo a verdade da premissa é:

Escolha uma:
a. conjunção e silogismo hipotético
b. dilema construtivo
c. modus ponens
d. modus tollens
e. simplificação e adição

Answer 1

a. conjunção e silogismo hipotético