Diferencia entre verdad lingüística (semántica) y verdad lógica (deducible exclusivamente de las premisas).
1. Algunos dulces son frutas
2. Toda fruta es una manzana
3. ¿Conclusión derivada de las premisas?
P1: I
- - > > [Algún : P es M]
P2: A
- - > > [Todo : M es S]
DIMATIS ?
S: manzana
P: dulce
M: fruta