Escolar Documentos
Profissional Documentos
Cultura Documentos
fof(exercicio1a,conjecture,(
((q|p)&~q)=>p
)).
R=O resultado deu um teorema pois todas as saídas da tabela verdade dessa expressão são
uma tautologia
(b) (p Λ ~p) v r
fof(exercicio1b,conjecture,(
(p&~p)|r
)).
R=O resultado deu CounterSatisfiable pois isso e uma contingência tendo seus valores na
tabela verdade alternando entre V e F, porém isso e uma Contradição pois negando toda a
proposição, o seu oposto continua vira uma tautologia.
fof(exercicio1c,conjecture,(
(p|~q)&(~q=>~p)
)).
R=O resultado deu CounterSatisfiable pois isso e uma contingência tendo seus valores na
tabela verdade alternando entre V e F, porém não e uma Contradição pois mesmo negando
toda a proposição, o seu oposto continua sendo uma contingencia.
2)Exercício
(a) ~p ⇒ p → q
fof(exercicio2a,conjecture,(
((~p=>p)=>q)
)).
R=O resultado deu CounterSatisfiable pois isso e uma contingência tendo seus valores na
tabela verdade alternando entre V e F, porém não e uma Contradição pois mesmo negando
toda a proposição, o seu oposto continua sendo uma contingencia.
(b) p Λ q Λ (p →r) ⇒ q Λ r
fof(exercicio2b,conjecture,(
((p&q)&(p=>r))=>(q&r)
)).
R=O resultado deu um teorema pois todas as saídas da tabela verdade dessa expressão são
uma tautologia
(c) (p → r) Λ ( r→ q) ⇒ p Λ q
fof(exercicio2c,conjecture,(
((p=>r)&(r=>q))=>(p&q)
)).
R=O resultado deu CounterSatisfiable pois isso e uma contingência tendo seus valores na
tabela verdade alternando entre V e F, porém não e uma Contradição pois mesmo negando
toda a proposição, o seu oposto continua sendo uma contingencia.
3)Exercício
(a) ~(p v q) ⇔ ~p Λ ~q
fof(exercicio3a,conjecture,(
~(p|q)<=>(~p&~q)
)).
R=O resultado deu um teorema pois todas as saídas da tabela verdade dessa expressão são
uma tautologia
(b) (p → r) V (q → r) ⇔ (p V q) → r
fof(exercicio3a,conjecture,(
((p=>r)|(q=>r))<=>((p|q)=>r)
)).
R=O resultado deu CounterSatisfiable pois isso e uma contingência tendo seus valores na
tabela verdade alternando entre V e F, porém não e uma Contradição pois mesmo negando
toda a proposição, o seu oposto continua sendo uma contingencia.
(c) (p → r) Λ (p → q) ⇔ p → (r Λ q)
fof(exercicio3a,conjecture,(
((p=>r)&(p=>q))<=>(p=>(r&q))
)).
R=O resultado deu um teorema pois todas as saídas da tabela verdade dessa expressão são
uma tautologia