Regras de Inferência
15 Outubro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Conclusão do estudo das 8 formas argumentativas dedutivamente válidas:
As regras Adicão, Dilema Construtivo, Simplificação e Conjunção.
Exercícios.
Representação de uma inferência por meio de uma implicação cujo antecedente é a conjunção das suas premissas e o consequente a sua conclusão.
A inferência é válida se e somente se essa implicação é uma tautologia (uma implicação lógica).