Inferência válida vs. implicação lógica

9 Outubro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça

Conclusão de exercícios de tradução.Representação de uma inferência por meio de uma implicação cujo antecedente é a conjunção das premissas e o consequente a sua conclusão. A inferência é válida se e somente se esta implicação é uma tautologia (implicação lógica).Exercícios.