T22

3 Dezembro 2019, 10:30 • Mário Jorge Edmundo

Outro exemplo de uma inferência  válida e respectiva demonstração informal e formal usando as regras (A Elim) e (E Intro). A regra eliminação do quantificador existencial (E Elim) (ou instanciação existencial);  Dois exemplos de  inferências  válidas e respectivas demonstrações informal e formal usando (E Elim).