Next:
A Identidade
Up:
Lógica e Fundamentos da
Previous:
Aplicações das Estruturas Interpretativas
Teoremas Lógicos e Fórmulas Válidas
Teoremas lógicos. Fórmulas válidas. Mais regras de inferência.
Jorge Nuno Silva (Dep. Mat. FCUL)
Wed Jun 4 19:06:16 MET DST 1997
