Motivação para as quatro regras primitivas adicionais
20 Novembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
O problema da Implicação Existencial.
Demonstrações no C. Predicados sem necessidade de novas regras.
Os casos em que novas regras são necessárias: a eliminação e a introdução dos quantificadores universal e existencial.