AULA 23
7 Dezembro 2018, 09:30 • Fernando Ferreira
A regra da generalização universal (AIntro). Um exemplo de dedução informal e dois exemplos de deduções formais. Demonstração condicional geral (a regra GenCond). Um exemplo de dedução formal.
7 Dezembro 2018, 09:30 • Fernando Ferreira
A regra da generalização universal (AIntro). Um exemplo de dedução informal e dois exemplos de deduções formais. Demonstração condicional geral (a regra GenCond). Um exemplo de dedução formal.