TECNLOGICO NACIONAL DE MEXICO

INSTITUTO TECNOLOGICO DE LA LAGUNA

Unidad III:

Lógica Proposicional

Presentado por:

Miguel Ángel Ávila García No. Control 23130638

Materia:

Matemáticas Discretas

Docente:
Bertha Alicia Salazar Castro

Docente Matemáticas Discretas

Carrera:

Ingeniería en Sistemas Computacionales

 I. Argumento, Proposición Y Proposición Lógica
1. Argumentos
La lógica tiene como objeto de estudio el razonamiento, el cuales es una disciplina que por
medio de reglas y técnicas determina si un teorema es falso o verdadero, esta rama tiene
aplicaciones en matemáticas, físicas y computacionales.
Un argumento se define como “razonamiento para aprobar o demostrar una proposición o
para convencer de los que se afirma o se niega”. Partiendo de esto tenemos que saber que
son las proposiciones y como se pueden afirmar o negar.
2. Proposiciones
Las proposiciones son oraciones o expresiones matemáticas en las que se pueden plantear
como verdaderas o falsas, son elementos fundamentales en la lógica matemática. Utilizan
leras en minúsculas para clasificarlas como son p, q, r, s, etcétera. Para plantear
proposiciones tenemos que tener en cuenta que deben de tener una respuesta de dos valores,
verdadero y falso, por esto mismo se debe tener cuidado al momento de plantearlas porque
pueden ser validas o no válidas. A continuaciones veremos un ejemplo:
 p: Hoy es lunes
 q: ¿Cómo estás?
 r: Ayer llovió
Como podemos ver en la parte anterior tenemos proposiciones que se pueden considerar
como válidas y no válidas, se consideran como válidas aquellas proposiciones que tienen
como respuesta “verdadero o falso”, mientras que las no validas son aquellas que no se
responden de esta manera. Se puede comprobar que los enunciados p y r son válidas, pero
q no lo es debido a que no tiene como respuesta verdadero falso.
3. Proposiciones lógicas
Las proposiciones lógicas se diferencias de las anteriores como enunciados que usan en la
lógica formal, involucran operadores lógicos que son utilizados para llegar a crear
argumentos y razonamientos lógicos. Estos son las formas correctas de utilizar las
proposiciones de manera correcta durante procesos de la lógica.
 II. Conexiones Lógicas Y Tabla De Verdad
1. Conexiones Lógicas
Las conexiones lógicas son palabras o expresiones que sirven para relacionar proposiciones
lógicas, también son llamadas conectoras, operaciones u conectivos lógicos. Existen
diferentes conectores lógicos que son utilizados para realizar proposiciones compuestas,
estas operaciones tienen como respuesta resultados que son válidos. A continuación, los
conectivos lógicos.
 Negación (no, ´, -, ¬, ∼):
Este operador lógico de negación tiene como función negar el enunciado. Esto refiere a que
si alguna proposición verdadera se aplica el operador de negación se obtendrá el resultado
inverso a la proposición inicial.

 p: Está lloviendo p ¬p
V F
 ¬p: No esta lloviendo
F V

 Conjunción (y, and, ∧)

La conjunción se utiliza para conectar dos proposiciones que deben de cumplirse, ambas,
para que se obtenga un resultado verdadero. Al operador de conjunción se le conoce como
multiplicación lógica. A continuación, un ejemplo de cómo funciona este operador.

p q p∧q
V V V
 p: El auto se mueve
V F F
 q: El carro tiene gasolina F V F
F F F

 Disyunción (o, or, ∨)

La disyunción también se le considera como una operación dentro de los operadores, es
conocida como suma lógica. La disyunción consta de dos proposiciones que cumple la
operación si cualquiera de la respuesta es verdadera.
 p q p∨q
V V V
 p: Hoy es jueves V F V
F V V
 q: Hoy es viernes
F F F

 Condicional (Si P entonces Q, →)

La operacional condicional es la que está formada por dos enunciados, simples o
complejos, y que indica si p → q (Si p entonces q). Este operador resulta falso en un solo
caso, a continuación, analizaremos en qué casos.

 p: Estudio para el examen p q p→q

V V V
 q: Apruebo la materia
V F F
 p → q: Si estudio el examen F V V
entonces apruebo la materia F F V

Como podemos ver, el único de los casos en el que se tiene un argumento falso es cuando
la premisa se considera falsa y se consigue una conclusión verdadera.
 Bicondicional (Si p solo si q, ↔)
La bicondiconal es un operador lógico en el cual se presentan dos enunciados y la
conexión lógica se concluye como verdadera solo si los tienen los mismos argumentos. Se
puede leer como que p es verdadera si y solo si q también es verdadera o p es falsa si y solo
si q también es falsa.

 p: Es un buen estudiante
p q p ↔q
 q: Tiene promedio de diez
V V V
 p ↔ q: Es buen estudiante V F F
si F V F
F F V
y solo si tiene promedio de
diez
 III. Tablas De Verdad
1. Tablas de verdad
Las tablas de verdad son medios gráficos en los cuales se pueden observar el proceso de los
enunciados, opciones lógicas que se realizan. Por medio de estas tablas son posible obtener
los resultados al aplicar cada uno de los operadores lógicos, conclusiones, valores que se
obtienen durante el proceso de los enunciados y sus valores. Esta formadas por filas y
columnas, en la primera fila se ubican cada una de las proposiciones, mediante que las
columnas cuentan con los valores adquiridos de cada una de estas. El número de filas
depende del número de proposiciones teniendo una formula general como:
Numero de filas = 2n
En esta operación n es igual a la cantidad de proposiciones enunciadas.
En las tablas de verdad, como en cualquier algebra, existe una jerarquía de conexiones
lógicas:

Jerarquía Operador  Primera posición: Se encuentran los paréntesis

1 ()  Segunda posición: Se encuentra la negación
2 ¬
3 ∧
 Tercerea posición: Se encuentra la conjunción
4 ∨  Cuarta posición: Se encuentra la disyunción
5 →y↔
 Quinta posición: Se encuentra el condicional y
bicondicional

p q r s
En las tablas de verdad es más eficaz ubicar
V V V V
los valores del enunciado con un orden V V V F
V V F V
predilecto para tener un mejor manejo de V V F F
ellos, ya que esto permite optimizar el tiempo V F V V
V F V F
de revisión. El orden recomendado es primero V F F V
colocar las proposiciones verdaderas para V F F F
F V V V
después indicar las, para visualizarlo y tenerlo F V V F
F V F V
más clara veremos una tabla de verdad. F V F F
F F V V
F F V F
F F F V
F F F F
Se parte a la mitad el primer enunciado, el segundo se parte en la mitad de la mitad y así
consecutivamente.
2. Evaluación de composiciones en tablas de verdad
Se evaluará diferentes composiciones a través de tablas de verdad, para tener una noción de
cómo utilizarlas.
 (p ∨ q) ↔ (p ∧ q)

p q (p ∨ q) (p ∧ q) (p ∨ q) ↔ (p ∧ q)
V V V V V
V V V F F
F F V F F
V F F F V

 (p → r) ∨ ¬ (p → q)

p q r (p → r) ¬(p → q) (p → r) ∨ ¬(p → q)
V V V V F V
V V F F F F
V F V V V V
V F F F V V
F V V V F V
F V F V F V
F F V V F V
F F F V F V

 (p → r) ↔ (p ∨ q)

p q r (p → r) (p ∨ q) (p → r) ↔ (p ∨ q)
V V V V V V
V V F F V F
V F V V V V
V F F F V F
F V V V V V
F V F V V V
F F V V F F
F F F V F F
 IV. Tautología, Contradicción Y Contingencia
1. Tautología
Se puede definir a la tautología como aquella proposición compuesta que es cierta para
todos los valores de verdad en cada una de sus variables. Un ejemplo es la proposición (p
→ q) ↔ (¬p → ¬q).

p q ¬p ¬q (p → q) (¬p → ¬q) (p → q) ↔ (¬p → ¬q).

V V F F V V V
V F F V V V V
F V V F F F V
F F V V V V V

Las tautologías son importantes en la lógica matemática por que al tener un resultado
verdadero todos los demás también lo son, se considera como leyes que se pueden utilizar
para realizar demostraciones de teoremas. Se pueden encontrar distintas tautologías, a
continuación, los más comunes.

Todas las tautologías que se

muestran en la imagen, se pueden
expresar como: P ⇒ Q. Que refiere a
P entonces Q. Cuando se obtiene
esta proposición con letras
mayúsculas es equivalente a una
proposición compuesta, por si
misma

2. Contradicción
Las contradicciones son proposiciones que llegan a un absurdo, si al momento de valuar
una proposición el resultado es falso para todos los valores de verdad. La contracción puede
usarse para demostrar juicios que son válidos, ya que un argumento no puede ser validado
si todas sus premisas son verdaderas pero la conclusión es falsa. Por lo tanto, las
conclusiones de todas las premisas negadas en la conclusión deben ser siempre falsas,
deben ser una contradicción
3. Contingencia

V. Reglas De Inferencia Y Equivalencias Lógicas

VI. Argumentos Válidos Y No Validos

VII. Demostraciones De Inferencia Y Equivalencia Lógica

VIII. Demostraciones Por Inducción

IX. Lógica Matemática En La Computación

 X. Referencia
 https://drive.google.com/file/d/1-urmMf-gCksBUkLpv8nzZBRKRRbukA7e/edit?
pli=1
 https://www.uexternado.edu.co/wp-content/uploads/2017/03/3.-Conectores-l
%C3%B3gicos..pdf
