Lista de Dedução Natural sem Negação

Prévia do material em texto

Lista de Dedução Natural sem Negação
Prof. Mario Benevides
Lógica 
29-03-11
1. A∨B , D , B->A, (A∧D)−>C , (A∧D)->E , C->E |- E
2. C∧B , (A∧B)->(C−>D) |- A -> (D∨E)
3. B->A , C -> B, B∨C , (C->A)->E , D∧B->E , E ->F∧G |-D->F
4. P->Q∧R |- P∧Q->R
5. P∨Q->R |- P->(Q->R)
6. B , R∨S->A , R∨S , A∧R->C , B∧S->C |- C
7. A->B∧C , (B->C)->D |- A->B∧D
8. B , A∧B->C∨D , C∧A->E , D->E∧F |- A->E
9. A->B , B->C |- A->B∧C
10. Guga é determinado
Guga é inteligente
Se Guga é determinado e atleta , ele não é um perdedor
Guga é um atleta se é um amante do tênis
Guga é amante do tênis se é inteligente
Pergunta : Guga não é um perdedor.