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 é:

Answer 1

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

Resposta: conjunção e silogismo hipotético

Answer 2

Resposta:

conjunção e silogismo hipotético Correto

Corrigido pelo AVA