next up previous
Next: Teoremas Lógicos e Fórmulas Up: Lógica e Fundamentos da Previous: Problemas

Aplicações das Estruturas Interpretativas

Argumentos inválidos. Conjuntos consistentes de fórmulas.


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