T23

6 Dezembro 2019, 09:30 • Mário Jorge Edmundo

A regra introdução do quantificador universal (A Intro) (ou generalização universal);  dois exemplos de inferências válidas e respectivas demonstrações  informal e formal usando (A Intro). Discussão de uma demonstração errada usando (E Elim).