AULA 10

23 Outubro 2018, 10:30 • Fernando Ferreira

Discussão duma dedução de Fitch errada. O conectivo condicional (implicação material). Algumas verdades lógicas úteis. A relação do conetivo condicional com a consequência lógica. Exemplos de traduções da linguagem natural para a linguagem da LPO (se, desde que, a menos que).