AULA 22

5 Dezembro 2017, 10:30 • Fernando Ferreira

Mais exemplos de traduções do português para a linguagem da LPO.

A regra da generalização universal (AIntro). Exemplo de argumento informal e de dedução formal.