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