Professional Documents
Culture Documents
Razonamiento Lógico
Matemático
Gonzales Caicedo
Walter Orlando
www.goncaiwo.wordpress.com
Pimentel, Febrero de 2010
Contenido
1. Lógica Proposicional
3. Ejercicios aplicativos
Objetivo
• Presentar los conceptos básicos de la lógica
proposicional.
Capacidad
• Analiza y resuelve problemas
matemáticos de su entorno aplicando
reglas, principios e inferencias
relacionados a la Lógica Proposicional .
Lógica Proposicional
La lógica es la rama del conocimiento que trata los
modelos de razonamiento, mediante reglas y técnicas, con
el fin de determinar si un argumento dado es válido. El
tema que nos ocupa es el de la lógica usada en matemáticas.
Aquí trabajamos con elementos básicos llamados
Proposiciones.
Enunciado: Es toda expresión lingüística, que constituye
una frase u oración.
Proposición: Enunciado que puede ser falso o verdadero
pero no ambas a la vez. La proposición es un elemento
fundamental de la lógica matemática. La verdad o falsedad
de una proposición es lo que se llama su valor de verdad.
Ejemplos
Son proposiciones lógicas:
Orlando y Ana van a estudiar en la USS.
Orlando llamó a Ana para salir.
El autobús pasa a las siete.
Mañana lloverá.
Chimbote está entre Trujillo y Casma.
El IFB forma profesionales para desempeñarse en las entidades bancarias.
No son proposiciones lógicas:
¡Siéntate!
¿Cuándo sale el autobús?
¿Fueron a pescar Orlando y Ana finalmente?
Las creencias, mitos o leyendas. Así como:“Dios es un ser misericordioso”
“Manco Cápac y Mama Ocllo fueron enviados por el sol”
Las metáforas o refranes. Así como: “El Perú es un mendigo sentado en un
banco de oro”. “Has el bien, sin mirar a quién”
Las supersticiones. Así como: “Hoy día me irá muy mal por ser Martes 13” “Pase
por debajo de una escalera”
SIMBOLIZACIÓN Y VALORACIÓN DE PROPOSICIONES
SIMBOLIZACIÓN
V V 1 1
ó
V F 1 0
F V 0 1
F F 0 0
Conectivos Lógicos: Se denominan conectivos lógicos
a aquellas palabras o términos funcionales que ligan,
juntan, unen o enlazan las proposiciones simples
formando proposiciones compuestas. Los operadores o
conectores básicos son:
CONECTIVO SÍMBOLO NOMBRE DE LA PROPOSICIÓN
No ~ Negación
Y ^ Conjunción
o Disyuntiva inclusiva
o. . . o. . . Disyuntiva exclusiva
Ejemplo: Consideremos:
p : “La USS es privada”
q : “La USS es estatal”
Entonces:
p q: “La USS es privada o en todo caso la USS es estatal”
Disyunción Exclusiva o Fuerte:
Se denota por: “p q”, “p V q”, “p q”, “p q”, “p q” y se lee: “p
o q” pero no ambos. La disyunción exclusiva es verdadera sólo
cuando una de las proposiciones es verdadera. Alguna formas
de conectivos a emplear son:
O ... o ... O bien ... o bien ... ... no equivale a ...
No es cierto que...equivale a... O solo .... o solo ....
Ejemplo: Consideremos:
p : “viajo a España”
q : “viajo a Brasil”
Entonces:
Bicondicional:
Cuando dos proposiciones están unidas por el conectivo lógico “... si
y sólo si ...”, cuyo símbolo es: “”, “”, “”. La proposición
compuesta se denota por: “p q”, “p q”, “p q” y se lee: “p si y
sólo si q”. La proposición bicondicional solamente es verdadera si
tanto p como q son falsas o bien ambas verdaderas.
También se suele emplear expresiones como:
V V F V F V
V F F F
F V V
F F V F F V
VALORACIÓN DE PROPOSICIONES
Hasta el momento hemos conocido la simbolización de las
proposiciones tanto atómicas como las proposiciones
moleculares. Para determinar los valores de verdad a las
segundas, es necesario tener en cuenta las tablas de verdad
de las proposiciones atómicas ya que, sólo ellas pueden
recibir directamente los valores de verdad. Considere los
siguientes ejemplos:
Si los alumnos aprueban todos los cursos, entonces
obtienen su bachillerato o su titulo.
Tenemos las proposiciones:
p : “Los alumnos aprueban todos los cursos”
q : “Obtienen su bachillerato”
r : “Su titulo”
Se simboliza:
p (q r)
La tabla de verdad para el esquema molecular, esta dado por:
p q r p (q r)
V V V V V V
V V F V V V
V F V V V V
V F F V F F
F V V F V V
F V F F V V
F F V F V V
F F F F V F
q : “Iremos a la playa”
Se simboliza:
(p q) p q
La tabla de verdad para el esquema molecular, esta dado por:
p q (p q) p q
V V V VV VV
Tautología: Una expresión es
V F F FV VF tautológica, cuando los valores de
su conectivo principal resultan
F V V FF VV
ser verdaderos, para todas las
F F V FF VF
asignaciones posibles de la tabla
de verdad.
La crisis mundial afecta a los países de bajos recursos
económicos pero los analistas en economía buscan
soluciones, a pesar de que la crisis mundial no afecta a los
países de bajos recursos.
Tenemos las proposiciones:
p : “La crisis mundial afecta a los países de bajos
recursos económicos”
q : “Los analistas en economía buscan soluciones”
Se simboliza:
(p q) p
La tabla de verdad para el esquema molecular, esta dado por:
p q (p q) p
V V V F F
V F F F F
F V F F V
F F F F V
Se simboliza:
p⇔q
Solución (5):
q = Cajamarca es una ciudad minera por excelencia
p = Invertir en minería es la mejor opción
Se simboliza:
qp
Solución (6):
p = Cuando la producción de una empresa aumenta
q = Aumenta la productividad
r = En algunos casos la demanda
Se simboliza:
p (q ∧ r)
Solución (7):
s = Prefiero ir de vacaciones
t = Sin hacer nada
p = Tener tiempo para ello
q = Ir a trabajar al banco
Se simboliza:
(p ∧ ¬ q ) (s v t )
THANKS