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