Diferencia entre verdad lingüística (semántica) y verdad lógica (deducible exclusivamente de las premisas).
1. Todo ave es un vivíparo
2. Todo gorrión es un ave
3. ¿Conclusión derivada de las premisas?
P1: A
- - > > [Todo : M es P]
P2: A
- - > > [Todo : S es M]
BARBARA ?
S: gorrión
P: vivíparo
M: ave