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. simplificação e adição
b. dilema construtivo
c. conjunção e silogismo hipotético
d. modus tollens
e. modus ponens

Answer 1

p ∨ q, p → r, ¬r ∨ q  |- q ↔ p

Resposta: (c) conjunção e silogismo hipotético

Answer 2

Resposta:

Resposta: (c) conjunção e silogismo hipotético

Explicação passo a passo:

Corrigido pelo AVA.