Diferencia entre verdad lingüística (semántica) y verdad lógica (deducible exclusivamente de las premisas).
1. Todo útil es una herramienta
2. Ninguna herramienta es martillo
3. ¿Conclusión derivada de las premisas?
P1: A
- - > > [Todo : P es M]
  P2: E
- - > > [Ningún : M es S]
CALEMES ?
S: martillo
P: útil
M: herramienta