Lgica de enunciados

(o lgica proposicional)

Ejemplos de enunciados
Cuba es una isla en el Pacfico 2+2=4 Vicente Fox es el presidente de Guatemala Vicente Fox no es el presidente de Guatemala y s es el presidente de Mxico

enunciado
Secuencia de smbolos (oracin escrita o emitida oralmente) + Proposicin (significado del enunciado en virtud del cual el enunciado es verdadero o falso)

Enunciados simples
Tegucigalpa es la capital de Honduras 2+2=4 El Sol es una estrella Vincente Fox es el presidente de Mxico en el ao 2005 La UNAM tiene ms de 250 mil estudiantes

Enunciados complejos
Tegucigalpa es la capital de Honduras y San Jos es la capital de Costa Rica Juan sabe que Tegucigalpa es la capital de Honduras Juan cree que San Jos es la capital de Costa Rica Necesariamente 2+2 = 4 Es posible que Pedro no sepa que Tegucigalpa es la capital de Honduras

Enunciados complejos
Se distingue entre enunciados complejos intensionales y enunciados complejos extensionales

La base de la distincin es el llamado principio de sustitucin de equivalentes

Tegucigalpa es la capital de Honduras y Managua la capital de Nicaragua

Tegucigalpa es la capital de Honduras es equivalente a Lima es la capital de Per

Lima es la capital de Per y Managua la capital de Nicaragua

Paris es la capital de Honduras y Managua la capital de Nicaragua Paris es la capital de Honduras es equivalente a Lima es la capital de Argentina

Lima es la capital de Argentina y Managua la capital de Nicaragua

Juan cree que Tegucigalpa es la capital de Honduras

Tegucigalpa es la capital de Honduras es equivalente a Roma es la capital de Italia

Juan cree que Roma es la capital de Italia

Juan cree que Montevideo es la capital de Argentina

Montevideo es la capital de Argentina es equivalente a San Jos es la capital de Chile

Juan cree que San Jos es la capital de Chile

Principio sustitucin de equivalentes

Sea C una oracin compleja, A una oracin componente de C, B cualquier oracin, y C* el resultado de substituir a A por B en C : Si A tiene el mismo valor de verdad que B, entonces C tiene el mismo valor de verdad que C*.

Enunciados complejos
Enunciados complejos extensionales (respetan siempre el principio de sustitucin de equivalentes)

Enunciados complejos intensionales (no siempre respetan el principio de sustitucin de equivalentes)

Operadores
Intensionales : forman enunciados intensionales (ejemplos: es necesario que, es obligatorio que)

Extensionales: forman enunciados extensionales (ejemplos: y, o, no

es el caso que

Operadores importantes del lenguaje coloquial y O Si..., entonces No es el caso que Si y solo si

Usos que corresponden a funciones lgicas diferentes

y en Juan y Pedro son hermanos tiene un funcin lgica diferente de la usada en Juan es alto y Pedro es bajo o a veces se usa en sentido exclusivo y otras en sentido inclusivo. Si...entonces tienen usos extensionales e intensionales

Es necesario expresar en forma precisa la funcin lgica de ciertos usos de cada uno de los operadores mencionados. Con este fin, introduciremos un lenguaje formal, el cual llamaremos LE

Lenguaje formal LE:smbolos bsicos Parmetros de enunciados: letras maysculas del alfabeto Smbolos lgicos : (, ), , p, b, , m

Semntica de smbolos lgicos de LE

Semntica informal: usando el lenguaje coloquial para interpretar cada smbolo. Por ejm., habr de significar lo mismo que y. Problema: ambigedad y falta de precisin de los operadores coloquiales Semntica formal: usando tablas de verdad

Reglas de construccin de frmulas de LE

Todo parmetro de enunciado es una frmula de LE Si N es una frmula de LE, entonces bN Si K y N son frmulas de LE, entonces (N K), (N K), (N p K) y (N m K) son frmulas de LE

Ejemplos frmulas de LE
(A B) (b A m M) (H pR) ((D p B) H) (I p b C) p (b A M) (A B) (C H)

Tabla de conjuncin

N V V F F

K V F V F

N K V F F F

Tabla de disyuncin

N V V F F

K V F V F

NK V V V F

Tabla de negacin

N V F

bN F V

Tabla de equivalencia material N V V F F K V F V F NmK V F F V

Tabla de implicacin material

N V V F F

K V F V F

NpK V F V V

Smbolo para consecuencia lgica

Ejemplo razonamiento en LE
ApB bB @ bA

Prueba de validez lgica por tablas de verdad

A V V F F B V F V F ApB V F V V
P1

bB F V F V
P2

bA F F V V
C

Prueba de validez lgica de razonamientos en lenguaje coloquial: procedimiento

Traducir del lenguaje coloquial a LE Determinar la validez de la traduccin mediante tablas de verdad

Un razonamiento en lenguaje coloquial

Si aumentan la inflacin y quiebran algunas empresas, entonces aumentar la criminalidad. Aumentar la inflacin y alguna empresas quebrarn. Por lo tanto, aumentar la criminalidad.

Traduccin del razonamiento

A: aumenta la inflacin E: algunas empresas quiebran C: aumentar la criminalidad (A E) p C AE @C

Prueba de validez de la traduccin

A V V V V F F F F E V V F F V V F F C V F V F V F V F
C

(A E) V V F F F F F F
P2

(AE) p C V F V V V V V V
P1

mbito de confiabilidad del mtodo

y Un razonamiento en lenguaje coloquial ser vlido intuitivamente,

si la traduccin de ese razonamiento a LE es dictaminada por el mtodo como un razonamiento vlido en LE. ySi un razonamiento es intuitivamente invlido, entonces ese procedimiento siempre dictaminar su traduccin a LE como invlido.

Limitacin del mtodo

y Si un razonamiento en lenguaje coloquial es intuitivamente vlido, es

posible que el mtodo dictamine que la traduccin de ese razonamiento a LE es invlido y Origen de esta limitacin: el anlisis de los razonamientos no penetra en la estructura lgica interna de los enunciados simples, lo cual no revela posibles relaciones lgicas entre las expresiones componentes de los enunciados simples

Ejm. de razonamiento vlido no cubierto por el mtodo

Todos los gatos son animales Todos los animales son mortales Por lo tanto, todos los gatos son mortales

Verdades lgicas de LE:

TODA FRMULA QUE RESULTA VERDADERA BAJO CUALQUIER ASIGNACIN DE VALORES A LOS PARAMETROS DE ENUNCIADOS COMPONENTES DE LA FRMULA

Ejemplo de tautologa
A V F ApA V V

Sistematizacin de razonamientos vlidos y tautologas de LE Mediante un sistema formal axiomtico: axiomas y reglas Mediante un sistema formal de reglas de deduccin natural: slo reglas

En el caso de LE, se han construido sistemas formales que

Permiten derivar todas las tautologas Permiten derivar todos los razonamientos vlidos en LE

Y, por otro lado,

Todo enunciado derivable de tales sistemas formales es una tautologa Todo razonamiento derivable de tales sistemas es vlido