Escolar Documentos
Profissional Documentos
Cultura Documentos
e)Se João não estudou, então Paulo não foi aprovado no concurso.
Logo,
a) Se João não passeia com seu cão, então ele não vê TV.
c) Se João passeia com seu cão, então ele não escuta música.
d) Se João escuta música, então ele não passeia com seu cão.
e) Se João passeia com seu cão, então ele vê TV e não escuta música.
4- Considere que as seguintes premissas são verdadeiras:
Sabendo-se que Marcelo é alto ou que Neusa é avó de Carlos , conclui-se corretamente que
8- dadas as premissas p1, p2,..., pn e uma conclusão q, uma regra de inferência a partir da
qual q se deduz logicamente de p1, p2,..., pn é denotada por p1, p2,..., pn ├ q. Uma das regras
de inferência clássica é chamada Modus Ponens, que, em latim, significa “modo de afirmar”.
a) p v q, ¬p ├ q
b) p e q, ¬p ├ ¬q
c) p ↔ q ├ p→q
d) p, p → q ├ q
e) q, p → q ├ p
a)Silogismo Hipotético
b)Silogismo Disjuntivo
c)Modus Ponens
d)Modus Tollens