Documentos de Académico
Documentos de Profesional
Documentos de Cultura
(o lógica proposicional)
Ejemplos de enunciados
• Cuba es una isla en el Pacífico
• 2+2=4
• Vicente Fox es el presidente de Guatemala
• Vicente Fox no es el presidente de
Guatemala y sí es el presidente de México
enunciado
• Secuencia de símbolos + Proposición
(oración escrita o (significado del
emitida oralmente) 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 México en
el año 2005
• La UNAM tiene más de 250 mil estudiantes
Enunciados complejos
• Tegucigalpa es la capital de Honduras y San José es
la capital de Costa Rica
• Necesariamente 2+2 = 4
Juan cree que Montevideo es la capital de Argentina
• y
• O
• Si..., entonces
• No es el caso que
• Si y solo si
Usos que corresponden a funciones
lógicas diferentes
• Símbolos lógicos : (, ), , , , ,
Semántica de símbolos lógicos de
LE
• Semántica informal: usando el lenguaje
coloquial para interpretar cada símbolo. Por
ejm., “” habrá de significar lo mismo que
“y”. Problema: ambigüedad y falta de
precisión de los operadores coloquiales
V V V
V F F
F V F
F F F
Tabla de disyunción
V V V
V F V
F V V
F F F
Tabla de negación
V F
F V
Tabla de equivalencia material
V V V
V F F
F V F
F F V
Tabla de implicación material
V V V
V F F
F V V
F F V
Símbolo para consecuencia lógica
Ejemplo razonamiento en LE
AB
B
A
Prueba de validez lógica por tablas de verdad
A B AB B A
V V V F F
V F F V F
F V V F V
F F V V V
P1 P2 C
Prueba de validez lógica de razonamientos en
lenguaje coloquial: procedimiento
• (A E) C
• AE
C
Prueba de validez de la traducción
A E C (A E) (AE) C
V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V
C P2 P1
Ámbito de confiabilidad del método
A AA
V V
F V
Sistematización de razonamientos válidos y
tautologías de LE