AULA 11

25 Outubro 2016, 10:30 • Fernando Ferreira

A dedução formal de ~(A & B) a partir de ~A V ~B (considerações sobre estratégias de dedução). As regras da =Intro e da =Elim. Exemplo de deduções sem premissas. Dedução formal da lei da simetria da igualdade.