Diferencia entre verdad lingüística (semántica) y verdad lógica (deducible exclusivamente de las premisas).
1. Todo carnívoro es un felino
2. Ningún tigre es felino
3. ¿Conclusión derivada de las premisas?
P1: A
- - > > [Todo : P es M]
  P2: E
- - > > [Ningún : S es M]
CAMESTRES ?
S: tigre
P: carnívoro
M: felino