Diferencia entre verdad lingüística (semántica) y verdad lógica (deducible exclusivamente de las premisas).
1. Algunos herbívoros no son cuadrúpedos
2. Todo herbívoros es una vacas
3. ¿Conclusión derivada de las premisas?
P1: O
- - > > [Algún no : M es P]
  P2: A
- - > > [Todo : M es S]
BOCARDO ?
S: vacas
P: cuadrúpedos
M: herbívoros