martes, 20 de diciembre de 2011

Condicional de esquemas existenciales, de manera tradicional

En el post anterior se hizo una prueba de validez de "~V(G~H).V(FG) > V(FH)".

Podría haberse procedido así:

A: Todo G es H
I: Algún F es G
I: por lo tanto, Algún F es H

O sea AII de la primera figura (DARII).

No hay comentarios: