Next: Notas Up: Lógica e Fundamentos da Previous: Problemas

Argumentos

Tautologias. Regra para tautologias. Regra para as premissas. Regra da implicação. Prova indirecta.

Jorge Nuno Silva (Dep. Mat. FCUL)
Wed Jun 4 19:06:16 MET DST 1997