Una brevísima introducción a la lógica

¿qué es una situación? Un pensamiento natural es que cualquier cosa que sea una situación, determina un valor de verdad para cada oración.

Luego, ¿qué se necesita para que una disyunción sea verdadera? Sólo que cualquiera de las disyuntivas sea verdad.

Los lógicos llaman disyunción a este tipo de oraciones; y las cláusulas a ambos lados de “o” se llaman disyuntivas.

La primera inferencia es muy sencilla. Si las premisas son verdaderas, la conclusión deberá serlo. O para ponerlo de otra manera, las premisas no podrían ser verdaderas sin que la conclusión también lo fuera. Los lógicos llaman deductivamente válidas

Así que la meta central de la lógica es comprender la validez.

Los lógicos llaman válida a una inferencia cuando la conclusión en verdad resulta de las premisas.