República Bolivariana De Venezuela

Ministerio Del Poder Popular Para La Defensa

Universidad Nacional Experimental Politécnica
De La Fuerza Armada Nacional Bolivariana
Unefa Miranda Extensión Ocumare Del Tuy

UNIDAD I: introducción a la
lógica matemática.

Carrera Bachiller Cédula de Identidad

Jean Gracia V 22530725

Ing. Sistemas Andrea Marsella V 22771951
Cuarto Semestre Mariela La Font V 28015089
Lógica matemática

Nos permite reconocer la valides de una argumentación o de algún tipo de

razonamiento.

Proposición

Es una unidad semántica que, o solo es verdadera o sólo es falsa.

5 es un numero par
2+3=6
Juan aprueba el curso de nivelación
Emilia fue presidente del curso
Brasil gano la final de la copa mundial de fútbol del 2002

En el momento en el que tengamos oraciones que no podamos catalogar como

verdadero o falso, que presente imprecisión o carezcan de sentido la denominaremos:

No proposiciones

Ayúdame, por favor = Petición

¿Cómo te llamas? = Una pregunta
¡Auxilio! = Exclamación
El color verde esta alegre = oración sin sentido
𝑥 + 3 = 5 = Esta ecuación, no es una proposición porque va a depender de los
valores que tenga x

Simbolización

Son conectores lógicos, sirven para unir dos o más proposiciones.

Conectores lógicos Símbolos no lógicos Símbolos auxiliares

Negador: ¬ Letras enunciativas: p Paréntesis: (...)
Conjuntor: ∧ q […]
Disyuntor: ∨ r {...}
Condicional: → s
Equivaledor: ↔ t

2
Reglas de inferencia y demostración lógica

Son aquellas que le dan validez sensata a un buen argumento.

Modus Ponens (MP)

Si P implica Q, y P es verdadera, entonces Q es cierta.

Forma lógica:
1) P → Q
2) P
3) Q

Esta regla nos permite, a partir de un enunciado condicional (P→Q), concluir la

verdad de su consecuente (Q) a partir de la verdad de su antecedente (P).

Modus Tollens (MT)

Si P implica Q, y Q no es cierta, entonces P no es cierta.

Forma lógica:
1) P → Q
2) ¬Q
3) ¬P

Esta regla nos permite, a partir de un enunciado condicional (P→Q), inferir la

falsedad de su antecedente (P) si su consecuente (Q) también es falso.

Silogismo Hipotético (SH)

Si P implica Q, y Q implica R, entonces P implica R.

Forma lógica:
1) P → Q
2) Q → R
3) P → R

La regla de silogismo hipotético nos permite establecer que la verdad de P implica la

verdad de R.

3
Silogismo Disyuntivo (SD)

Ya sea que P es cierta o Q es cierta; P no es cierta; por lo tanto, Q es cierta. De la

misma manera, si P es cierta o Q es cierta; Q no es cierta; por lo tanto, P es cierta.

Forma lógica:
1) P v Q
2) ¬P
3) Q
1) P v Q
2) ¬Q
3) P

Esta regla nos dice que, si una disyunción de dos proposiciones es verdadera, y una
de las proposiciones es falsa, entonces la otra proposición es verdadera.

Dilema Constructivo (DC)

Si P implica Q y R implica S, entonces si P o R es verdadera, se deduce que, o

bien Q o S es verdadera.

Forma lógica:
1. (P → Q) ^ (R → S)
2. P v R
3. Q v S

El dilema constructivo es la versión disyuntiva del modus ponens.

Dilema Destructivo (DD)

Si P implica Q, y R implica S, y, o bien Q es falsa o S es falsa; entonces o P es falsa

o R es falsa.

Forma lógica:
1. (P → Q) ^ (R → S)
2. ¬Q v ¬S
3. ¬P v ¬ R

El dilema destructivo es la versión disyuntiva del modus tollens y establece que, si

dos condicionales son verdaderos, pero uno de sus consecuentes es falso, entonces uno de
sus antecedentes tiene que ser falso.

4
Conjunción (Conj.)

Si P es cierta y Q es cierta, entonces la conjunción “P y Q” también es cierta.

Forma lógica:
1) P
2) Q
3) P ^ Q

Sencillo, si de manera aislada dos proposiciones son verdaderas, entonces su

conjunción también lo es.

Simplificación (Simp.)

Si la conjunción de P y Q es cierta, entonces P es cierta y Q es cierta.

Forma lógica:
1. P ^ Q
2. P
3. P ^ Q
4. Q

Para que un conjunto como P^Q sea cierto, P y Q deben ser ciertas. Así que la
simplificación nos permite concluir de P^Q que P es cierta y que Q es cierta.

Absorción (Ab.)

Si P implica Q, entonces P implica P y Q.

Forma lógica:
1. P → Q
2. P → (P ^ Q)

Por medio de esta regla P es “absorbida” por el término Q en la consecuencia.

Adición (Ad)

Si P es verdadera, entonces su conjunción con cualquier otro enunciado también

será cierta.

Forma lógica:
1) P
2) P v Q

5
Lógica Proposicional

Es una rama de la lógica clásica que estudia las variables proposicionales o

sentencias lógicas, sus posibles implicaciones, evaluaciones de verdad y en algunos casos
su nivel absoluto de verdad.

Certeza y Validez

Consiste en probar la validez de conclusiones dadas ciertas proposiciones. Si las

proposiciones son afirmaciones ciertas entonces las conclusiones que se siguen
lógicamente de ellas han de ser ciertas.

El valor de certeza de una proposición cierta es cierto y el valor de certeza de una

proposición falsa es falso.

Cada proposición atómica o molecular tiene uno de estos dos valores de certeza
posibles.

Valor de verdad y tablas de verdad

Es una cualidad que describe apropiadamente una proposición ya sea verdadero o

falso.

Para la construcción de la tabla se asignará el valor 1 (uno) a una

P
proposición cierta y 0 (cero) a una proposición falsa y (p) simbolizará la
0 proposición. Las proposiciones suelen representarse con letras minúsculas del
alfabeto.
1

Operadores Lógicos

Básicamente lo vamos a utilizar para unir proposiciones, 2 o 3, la cantidad deseada.

Negación: representada con este símbolo (¬p) se va a leer, negación de p o no p.

Existen otras formas de parafrasear esta estructura.

6
 Estructura: Ejemplo:

Ni p ni q p: Carlos es doctor
Es falso que p ¬p: Carlos no es doctor p ¬p
No es cierto que p 0 1
No es verdad que p q: Juan juega fútbol 1 0
No se da que p ¬q: No es cierto que Juan juegue fútbol

Nota: Toma en cuenta que si p es falso su negación seria verdadero y si p es verdadero su

negación seria falso.

Conjunción: se va a representar de esta forma (p ∧ q) p y q/p en conjunción con q.

Estructura: donde la más importante es la (y)

pyq p tal como q

p pero q p no obstante q p q p∧q
p más q p aunque q 0 0 0
p sin embargo q p a la vez que q 0 1 0
p también q p a pesar de q 1 0 0
p además q Signos de puntuación: 1 1 1
"," "." ":" ";"

Nota: Cuando las proposiciones sean verdaderas el resultado de la conjunción también lo

será, si en la table se encuentra un valor falso, directamente la conjunción toma valores
falsos.

Ejemplo: Lo primero que debemos hacer es encontrar las proposiciones que

intervienen en esta situación. Y luego tomar en cuenta el término que se está usando para
representar la conjunción.

“Juan juega futbol y toma clases de música”

p: Juan juega futbol p∧q
q: Juan toma clases de música

7
 Disyunción: (p ∨ q) Al momento de hacer la traducción simplemente debemos
encontrar la o

Estructura: Ejemplo:

"Juan juega futbol o toma p q p∨q

clases de música" 0 0 0
poq 0 1 1
p: Juan juega fútbol 1 0 1
q: Juan toma clases de música 1 1 1

La traducción correcta seria:

p∨q

Nota: Presenta tres valores donde es verdadero, tendrá una característica importante si la
disyunción es falsa es porque sus proposiciones también lo son.

Disyunción exclusiva: (p ⊻ q)

Estructura: Ejemplo:

p q p⊻q "O Juan juega fútbol o toma clases

Opoq 0 0 0 de música"
p o solo q 0 1 1
p o solamente q 1 0 1 p: Juan juega fútbol
1 1 0 q: Juan toma clases de música

La traducción correcta seria:

p⊻q

Nota: Si los valores de las proposiciones son distintos la disyunción exclusiva es verdadera.
Por otro lado, si los valores de verdad son iguales la disyunción directamente es falsa.

8
 Condicional: (p → q) consta con más de 20 estructuras para hacer la traducción,
ten en cuenta que acá si va a ser importante el orden de las proposiciones.

(p → q)

A la primera proposición le
vamos a llamar antecedente

Y a la segunda le vamos a
llamar consecuente

Estructura:

Si p, entonces q q siempre que p Si tiene q si se tiene p

p solo si q q cada vez que p Solo si q, p
p solamente si q q ya que p q, pues p
q si p q debido a que p Cuando p, q
Si p, q q dado que p Los p son q
q con la condición de que p q puesto que p p implica q
q cuando p q porque p Expresión que denote
causa y efecto

Nota: Toda expresión que denote causa y efecto lo puedes representar por medio de una
condicional (p → q). Esta va a tener un valor característico, cuando el antecedente sea
verdadero y el consecuente falso el resultado de la condicional es falso. Para el resto de
situaciones el resultado es verdadero.

Tabla de verdad:

Ejemplo:

p q p→q "Si Carlos estudia, entonces

0 0 1 aprueba el examen"
0 1 1
1 0 0 p: Carlos estudia
1 1 1 q: Carlos aprueba el examen

La traducción correcta seria: p→q

9
 Ten en cuenta que a una misma proposición se le puede hacer varias paráfrasis.

Ejemplo:

"Si Carlos estudia entonces aprueba el examen"

Carlos estudia solo si aprueba el examen
Ya que Carlos estudia, aprueba el examen
Carlos aprueba el examen debido a que estudia
Carlos aprueba el examen siempre que estudie
Cuando Carlos estudia, aprueba el examen
Puesto que Carlos estudia, aprueba el examen

Los conectores que hemos usado representan la misma proposición.

Variaciones de la condicional

Original: p → q
Si Carlos estudia, entonces aprueba el examen

Recíproca: q → p
Si Carlos aprueba el examen, entonces estudia

Inversa: ¬ p → ¬ q
Si Carlos no estudia, entonces no aprueba el examen

Contrarrecíproca: ¬ q → ¬ p
Si Carlos no aprueba el examen, entonces no estudia

Teniendo en cuenta que en principio tenemos una condicional original, que

representa p implica q = p → q.

La reciproca invierte el orden del antecedente con el consecuente = q → p,

en la inversa abría que negar tanto el antecedente como el consecuente = ¬ p → ¬ q,
y en la contrarrecíproca se niegan las dos situaciones y se cambian de posición = ¬ q → ¬ p.

10
 Bicondicional: (p ↔ q) Esta se presenta de forma detallada.

Estructura: Ejemplo:

p q p↔q "Carlos se va de viaje si y solo

p si y solo si q 0 0 1 si aprueba el examen"
p si y solamente si q 0 1 0
p cuando y solo cuando q 1 0 0 p: Carlos se va de viaje
p implica q y q implica p 1 1 1 q: Carlos aprueba el examen

La traducción correcta seria: p↔q

Bicondicional/Disyunción exclusiva

p q p↔q p⊻q
0 0 1 0 ¬p↔q=p⊻q
0 1 0 1
1 0 0 1 ¬p⊻q=p↔q
1 1 1 0

Para terminar, vamos a comparar estos dos operadores, por un lado, tenemos la tabla
del bicondicional y por el otro la tabla de la disyunción exclusiva, si comparamos los valores
de verdad, son valores contrarios en cada una de las posiciones. Entonces podemos sacar
una conclusión.

La negación del bicondicional es la disyunción exclusiva = ¬ p ↔ q = p ⊻ q

Y la negación de la disyunción exclusiva es una bicondicional = ¬ p ⊻ q = p ↔ q

Razonamientos válidos

Lo que a la lógica le interesa es la validez formal de estos razonamientos, es decir, la

relación que se establece entre las premisas y la conclusión. La validez de un razonamiento
es independiente de la verdad o falsedad de sus premisas y su conclusión.

11