Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LogMatemAT Freund
LogMatemAT Freund
(o lógica proposicional)
Ejemplos de enunciados
Secuencia de + Proposición
símbolos (significado del
(oración escrita enunciado en
o emitida virtud del cual
oralmente) el enunciado es
verdadero o
falso)
Enunciados simples
Necesariamente 2+2 = 4
Juan cree que Montevideo es la capital de
Argentina
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 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
(A B)
( A M) (H R)
((D B) H)
(I C) ( A M)
(A B) (C H)
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: aumenta la inflación
E: algunas empresas quiebran
C: aumentará la criminalidad
(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