Diferencia entre verdad lingüística (semántica) y verdad lógica (deducible exclusivamente de las premisas).
1. Todo vegetal es un árbol
2. Algunos pinos no son árboles
3. ¿Conclusión derivada de las premisas?
P1: A
- - > > [Todo : P es M]
P2: O
- - > > [Algún no : S es M]
BAROCO ?
S: pino
P: vegetal
M: árbol