LOGICA

PROPOSICIONAL
Proposiciones
Una proposición es cualquier afirmación que sea verdadera o falsa, pero no
ambas cosas a la vez.
Ejemplo: Las siguientes afirmaciones son proposiciones.
i) Machu Picchu, es una de las siete maravillas del mundo moderno
ii) Mario Vargas Llosa gano el Premio Nobel de Literatura el 2010
iii) Facebook es una de las redes sociales más populares en todo el mundo
iv) Todas las personas tienen celulares digitales
v) 6-8=2
Ejemplo: Las siguientes no son proposiciones.
i) 𝑥 + 𝑦 < 7
ii) 4 > 𝑥
iii) ¿Cómo estás?
iv) La lluvia
v) “Haz los ejercicios de lógica”
Las proposiciones se representan con letras minúsculas, p, q, r . . . , se llaman
simples cuando no presentan términos de enlace (y, o, no, si...entonces..., si
y sólo si), son compuestas cuando se juntan varias proposiciones simples con
un término de enlace.
Ejemplo 1.3 Las siguientes son proposiciones compuestas.
i) 4 es un numero par o múltiplo de 2
ii) Si las lluvias continúan entonces seguirá la suspensión de clases en los colegios
iii) Hace frio y está lloviendo
iv) Agar.io es un juego online de fácil acceso y contiene tres entidades: pellets,
las células y los virus
Valor de verdad
El valor de verdad de una proposición es su veracidad o falsedad. El valor
de verdad de una proposición verdadera es verdad (V o en equivalencia
binaria 1) y el de una proposición falsa es falso (F o en equivalencia binaria
0).
Ejemplo: Determine el valor de verdad de proposiciones siguientes
i) p: El presidente del consejo de ministros es Fernando Zavala Lombardi
ii) q: Todos los meses tiene 30 días
iii) r: FBC Melgar de Arequipa Perú venció 1-0 a Emelec de Ecuador por la
primera fecha del Grupo 3 de la Copa Libertadores de América 2016
Conectivos Lógicos
Son símbolos que unen dos o más proposiciones simples para formar una
proposición compuesta y simplifican el manejo de la lógica.
Ejemplo: Simbolizar las proposiciones siguientes
i) Llueve y hace mucho frio

ii) Si x es un cuadrado, entonces no es un triángulo y tiene 4 lados

iii) Si no resuelves este ejercicio entonces es falso que hayas estudiado y

te guste matemáticas

iv) No es el caso que si 2 + 5 = 7 entonces 5 ≠ 6.

Cuantificadores
Se utilizan para indicar cantidad en una proposición, los más utilizados
son: cuantificador universal designados por las palabras: todo, cada uno,
todos y ninguno, mientras que las palabras hay, existe y la frase al menos
uno se conocen como cuantificadores existenciales.
Negación de proposiciones con cuantificadores
Ejemplo 1.6 Escriba la negación de cada proposición
i) Algunos estudiantes de Ingeniería de Sistemas aprobaron el curso de
Calculo en una Variable

ii) Algunos estudiantes de Ingeniería de Sistemas no aprobaron el curso de

Calculo en una Variable

iii) Ningún estudiantes de Ingeniería de Sistemas aprobó el curso de

Calculo en una Variable
Solución
i) Ningún estudiante de Ingeniería de Sistemas aprobó el curso de Calculo
en una Variable
ii) Todos los estudiantes de Ingeniería de Sistemas aprobaron el curso de
Calculo en una Variable
iii) Algunos estudiantes de Ingeniería de Sistemas aprobaron el curso de
Calculo en una Variable
Tablas de verdad y proposiciones
equivalentes
Negación: “ ~p, no p”
Conjunción: “p y q”
Disyunción: “p o q”(disyunción inclusiva)
Disyunción exclusiva: “ p o q pero no ambos, O p o q”
Condicional: “ Si p, entonces q”
p se le llama antecedente, hipótesis
q se le llama consecuente, tesis

V
Bicondicional: “ p si y sólo si q”
Nota. El número de filas en cada tabla es 2𝑛 , donde n es la
cantidad de proposiciones simples.
Proposiciones Equivalentes: Dos o más proposiciones son
equivalentes cuando tiene la misma tabla de verdad y se
denota por el símbolo ≡
Ejemplo: Elabore las tablas de verdad de las proposiciones: 𝑝 → 𝑞 y
~𝑝 ∨ 𝑞
Ejemplo: Elabore las tablas de verdad de las proposiciones: ~𝑝 ∨ 𝑞 y
~(𝑝 → 𝑞)
Otras enunciados equivalentes de 𝒑 → 𝒒 son:
“p sólo si q”.
“q si p”.
“p es una condición suficiente para q”.
“q es una condición necesaria para p”.
“q se sigue de p”.
“q a condición de p”.
“q es una consecuencia lógica de p”.
“q cuando p”.
Como una formulación equivalente de la
proposición bicondicional en estos términos, es: Una condición necesaria y suficiente
para p es q.
El condicional no siempre se expresa de forma explícita, puede estar en forma
implícita en una expresión común y corriente
Observación
No existe una relación de causa efecto entre el antecedente y
consecuente, por ejemplo, la proposición
“Si apruebo razonamiento, entonces Ciro Alegría fue un escritor”
es verdadera ya que el consecuente lo es, sin embargo no hay
relación causa efecto ya que García Lorca fue un poeta sin importar
la calificación que obtenga
Ejemplo: Sean las proposiciones
p: Está nevando, q: Iré a la ciudad, r: Tengo tiempo.
Escribir, usando conectivos lógicos, una proposición que simbolice cada
una de las afirmaciones siguientes:
1) Si no está nevando y tengo tiempo, entonces iré a la ciudad.
2) Iré a la ciudad sólo si tengo tiempo.
3) No está nevando.
4) Está nevando, y no iré a la ciudad.
Sean las proposiciones
p: Está nevando, q: Iré a la ciudad, r: Tengo tiempo.
Enunciar las afirmaciones que se corresponden con cada una de las
proposiciones siguientes:
Ejemplo: Si sabemos que p es verdadera también sabemos que

es verdadera, aun si no conocemos los valores de verdad de p,q y r.

Ejemplo: Determine el valor de verdad de las proposiciones q y p
si se conoce que el valor de verdad de la siguiente es falsa
Como vemos esta proposición siempre es verdadera independiente
de los valores de verdad se sus componentes por esta razón se le
llama Tautología.
Si una proposición siempre es falsa independiente de los valores de
verdad se sus componentes por esta razón se le llama Contradicción.
Si una proposición no siempre es verdadera y depende de los valores
de verdad se sus componentes por esta razón se le llama
Contingencia.
Proposiciones condicionales relacionadas
Implicación Lógica y Equivalencia Lógica
La condicional 𝑝 ⟶ 𝑞 es una implicación lógica si, y solo si es una
tautología y se denota por p⟹q
La bicondicional p⟷q es una equivalencia lógica si, y solo si es una
tautología y se denota por p⇔q
Principales leyes lógicas
Principios clásicos
1. Ley de identidad: Una proposición solo es idéntica a si misma
• 𝑝⟶𝑝
• 𝑝↔𝑝
2. Ley de no contradicción : Una proposición no puede ser verdadera y falsa a la
vez
• ∼ (𝑝 ∧∼ 𝑝)
3. Ley de tercio excluido: Una proposición es verdadera o falsa, no hay una
tercera posibilidad
• 𝑝 ∨∼ 𝑝
Leyes del Algebra de Proposiciones
Ejemplo Simplificar las siguientes proposiciones utilizando las Leyes
del Algebra Proposicional
Ejemplo Verificar la siguiente equivalencia utilizando las Leyes del
Algebra Proposicional
(𝑝 ⟷ 𝑞) ≡ (𝑝 ∧ 𝑞) ∨ (∼ 𝑝 ∧∼ 𝑞)
Razonamiento Inductivo y Razonamiento
Deductivo
Razonamiento inductivo: El razonamiento inductivo se caracteriza
por permitir llegar a una conclusión general (mediante una
conjetura) a partir de observaciones repetidas de ejemplos
específicos. La conjetura puede ser verdadera o falsa..
Una conjetura es una suposición fundamentada en observaciones
repetidas de un patrón o proceso en particular.
Ejemplo: Cuando Juan toca la llama de un encendedor se quema.
Cuando Juan toca una estufa encendida se quema. Cuando Juan toca
la jarra de la cafetera caliente se quema. Por lo tanto, si tocas un
objeto caliente te quemas.
 El razonamiento inductivo fue utilizado popularmente por Isaac
Newton al momento de desarrollar su Teoría de la Gravedad.
Newton usó sus observaciones de los movimientos planetarios y de
las manzanas que caían del árbol de su casa e indujo que había una
fuerza responsable de la manera en que ciertas cosas funcionaban.
 En muchos casos, es criticado el razonamiento inductivo; ya que se
suele considerar como un método impreciso, dado que se hacen
generalizaciones a partir de pocos ejemplos específicos.
 A pesar de las críticas, el método inductivo es importante para la
ciencia, ya que sirve como punto de partida para la realización de
pruebas que más adelante brinden evidencias acerca de verdad o
falsedad del supuesto
Razonamiento Deductivo
Deducir es inferir a partir de un principio general. Por tanto, el
razonamiento deductivo es una prueba de la habilidad para razonar
a partir de un principio general hasta sus implicaciones en una
situación específica.
El razonamiento deductivo se caracteriza por la aplicación de
principios generales a ejemplos específicos
Ejemplo: Nuestra casa está hecha de madera tratada. Mis dos
vecinos inmediatos tienen casas hechas de madera tratada. Por
tanto, todas las casas de nuestros vecinos están hechas de madera
tratada
 Cuando razonamos deductivamente, usamos hechos conocidos para
llegar a conclusiones lógicas que sabemos son verdaderas. Esto es
distinto que el razonamiento inductivo, que generaliza y conjetura
basado en observaciones en lugar de lógica.
 Para resolver un problema por lo general se requieren ciertas
premisas. Una premisa puede ser una suposición, una ley, una regla,
una idea ampliamente aceptada o la pura observación. Luego,
partiendo de las premisas se razona de manera inductiva o deductiva
para llegar a una conclusión.
 Las premisas y la conclusión componen un argumento lógico y para
demostrar su validez se utilizan técnicas que las mencionaremos en
la siguiente sección.
Inferencia Lógica
Una Inferencia lógica o Argumento lógico es una condicional de la
forma:

donde las proposiciones son llamadas premisas que

originan como consecuencia otra proposición 𝐶 llamada conclusión.
Una inferencia lógica puede ser una tautología, una contingencia o
una contradicción.
1. Si la inferencia es una tautología, se dice que es una inferencia
válida o argumento válido.
2. Si la inferencia no es una tautología entonces se dice que es no
válida o es una falacia.
Una inferencia lógica se puede escribir como:

Para demostrar la validez de una inferencia se utilizan técnicas como:

diagramas de Euler, tabla de verdad o leyes de inferencia.
Inferencias validas notables
Inferencias validas notables
Análisis de argumentos mediante leyes de
inferencia
Existen dos métodos para demostrar la validez de un argumento lógico: Método
directo y el método indirecto
Método directo:
Consiste en empezar de la verdad de las premisas y utilizando leyes lógicas y
leyes de inferencia llegar a la verdad de la conclusión
Método indirecto
Denominada también demostración por contradicción o por
reducción al absurdo.
Para demostrar indirectamente una inferencia:
Se comienza por negar que 𝑪 es verdadera y utilizando esta negación
como premisa adicional, utilizando leyes lógicas y leyes de inferencia,
llegar a una contradicción.
La contradicción a la que se llegue , pone fin a la demostración pues
la proposición
Es una implicación lógica notable. (Ley del absurdo)
Método abreviado:
El método abreviado consiste en analizar la única posibilidad de
falsedad de la implicación , es decir:

Para asignar valores de verdad a cada componente, si alguna

proposición tiene dos valores (V y F), entonces la implicación es
valida.
Ejemplo: Analizar las inferencias
Lógica de Predicados
Estudia las frases declarativas considerando la estructura interna de las
proposiciones
Se considera como elementos básicos los objetos y las relaciones entre dichos
objetos
Se distingue:
Que se afirma (predicado o relación)
 De quien se afirma (objeto)
El alfabeto de la lógica de predicados está formado por: variables (𝑥, 𝑦, 𝑧),
constantes (𝑎, 𝑏, 𝑐) y funciones (𝑓, 𝑔, ℎ).
Función proposicional
Enunciados Abiertos: Son aquellos enunciados a los que no se
puede atribuirse el valor de verdad ó falso , por ejemplo;
salvo que las variables , puedan ser reemplazados
por números (sujetos), que permitan que dichos enunciados se
conviertan en proposiciones y por tanto tener valor de verdad V o F.
Función proposicional: Es todo enunciado abierto de la forma 𝑝(𝑥) ,
que tiene la propiedad de convertirse en una proposición al ser
sustituida la variable x por una constante b específica (o un sujeto
dado).
El conjunto de todos los valores convenidos para la variable recibe el
nombre de dominio de la variable. Esto es, si representamos por 𝐷 el
dominio, diremos que pertenece a 𝐷 mediante la notación conocida:
𝑥∈𝐷
Ejemplo: determinar el valor de verdad de cada proposición
tomando como referencia el conjunto de nos números reales
Ejemplo: determinar el valor de verdad de cada proposición
tomando como referencia el conjunto de nos números reales
Ejemplo:
Escribir la negación de cada proposición tomando como referencia el
conjunto de nos números reales
Ejemplo:
Ejercicios