UNIVERSIDAD PARTICULAR

DE CHICLAYO

MATEMÁTICA

DOCENTE: MG.HEBETH GABRIEL CUEVA

VALLADOLID.

2018
1. LÓGICA PROPOSICIONAL
1.1. Definición (Enunciado). Es toda oración o frase que exprese alguna idea, a través de
afirmaciones, negaciones, preguntas, órdenes, saludos, emociones, etc.
Ejemplos:
- ¿Entiendes lo que es un enunciado?
- Mecánica de Suelos es una experiencia curricular de la carrera de Ingeniería Civil.
- ¡Buenos días!
- Hoy estudiaré Pensamiento Lógico.
- ¿Qué carrera estudiarás?
- César Vallejo nació en Santiago de Chuco.

1.2. Definición (Enunciado Abierto). Es aquel enunciado que contiene variables o letras, pero
no tiene la propiedad de ser verdadero o falso.
Ejemplos:
- x2 + y2 > 9
Para obtener si el enunciado es verdadero o falso, tendríamos que reemplazar a “x” y
“y” por un valor numérico.
- Ella estudia Ingeniería Empresarial.
Si especificáramos quien es ella, podríamos saber si es falso o verdadero el enunciado.
- Lima está lejos.
Depende de la ubicación de quién lo dice.
- X es un mes del año
Es necesario especificar X, para obtener el valor de verdad del enunciado.

1.3. Definición (Proposición Lógica). Una proposición es un enunciado cuya propiedad

fundamental es la de ser verdadera (V) o falsa (F), pero no ambas a la vez.
Ejemplos:
- 91827648294 es un número primo.
- La carrera de Psicología dura cinco años.
- 34 + 43 − 52 + 25 = 267.
- César Vallejo escribió Los Heraldos Negros .

1.4. Definición (Valor de verdad). Si p es una proposición, el valor de verdad de p es su

veracidad o falsedad. Es decir:
V (p) = V si el valor de p es verdadero y
V (p) = F si el valor de p es falso.
Se presenta el siguiente cuadro con algunos casos cuando los enunciados son proposiciones y cuando
no lo son.

Son proposiciones No son proposiciones

 Enunciados aseverativos  Personajes o hechos literarios

 Leyes científicas  Supersticiones

 Fórmulas matemáticas  Dudas, suplicas, deseos, órdenes.

 Formulas lógicas  Refranes, proverbios

 Enunciados cerrados  Enunciados abiertos

 Creencias religiosas

 Enunciados interrogativos

 Apreciaciones personales

 Personajes ficticios

 Absurdos

Ejercicios: Indicar cuáles de los siguientes enunciados son proposiciones lógicas, justificar.

1. 32 − 23 + 62 = 40
2. x es un alumno de la Universidad de Chiclayo.
3. 39 es un número primo.
4. Todo número elevado a la cero es uno.
5. ¿Qué carrera estudiarás?
6. ¡Seré un excelente profesional!
7. ¡No faltes a clase!
8. 3x + 2 = 9
9. ¿Estudiaste para el examen de pensamiento lógico?
2. CONECTIVOS LÓGICOS

2.1. Definición (Conectivos Lógicos). Los conectivos lógicos son símbolos que relacionan
proposiciones atómicas (simples), y forman proposiciones moleculares (compuestas).

Los conectivos lógicos que estudiaremos son:

Negación: (~ )
Dada una proposición p, se denomina negación de p a otra proposición que se le asigna el
valor de verdad opuesto al de p. Se le denota por: ~p.

Es decir si una proposición p es verdadera, su negación ~𝑝 será falsa y si la proposición p es

falsa, su negación ~𝑝 será verdadera.

Ejemplo:

p: “El proyecto especial Chavimochic está ubicado en la región La Libertad”

~p: “El proyecto especial Chavimochic no está ubicado en la región La Libertad”

En la siguiente tabla se muestran los valores que puede asumir la negación de una
proposición.

p ~p
V F
F V

La negación puede expresarse en palabras como: “No”, “jamás”, “nunca”, “no es cierto que”,
“no se da el caso que”, “no es posible que”, “no es verdad que”, “es imposible que”, entre
otras frases.

Conjunción (∧)

Dadas dos proposiciones p y q, se define conjunción como el resultado de la unión de estas

proposiciones mediante el conectivo lógico “y”. Se representa con el símbolo "∧", y
denotamos la proposición “p y q” como 𝑝 ∧ 𝑞.

La proposición conjuntiva será verdad únicamente en el caso que las ambas proposiciones
sean verdaderas, caso contrario será falsa.

Consideremos la proposición:

-Madrid es la capital de España y Lisboa es la capital de Portugal.

La cual está compuesta por las proposiciones simples " Madrid es la capital de España” y "
Lisboa es la capital de Portugal ", conectadas por la palabra "y", que constituye el conectivo
conjunción.

Ejemplos:

-5 es divisor de 15 y 4 es divisor de 20.

-La materia ni se crea ni se destruye.

-El agua es un compuesto esencial para la vida pero el hombre no cuida el agua.

Valores de verdad de la conjunción:

p q p ∧ q
V V V
V F F
F V F
F F F
Las siguientes palabras equivalen al conectivo de conjunción: “y”, “e”, “pero”, “sin
embargo”, “además”, “aunque”, “no obstante”, “a pesar de”, “a la vez”, “aún”, “también”,
“tanto”, “igualmente”.

Disyunción (∨)

La disyunción de dos proposiciones p y q, es el resultado de unir p y q mediante el conectivo

“o”. Se representa con el símbolo "∨", y denotamos la proposición “p o q” como p ∨ q.

La proposición disyuntiva será verdad si una de las proposiciones es verdadera, puede darse
el caso que ambas lo sean. Será falsa, únicamente si ambas proposiciones son falsas.

Consideremos la proposición:

"Patricia estudia Ingeniería Civil o Katherine estudia Ingeniería de Minas".

La proposición está compuesta por las proposiciones simples " Patricia estudia Ingeniería
Civil " o " Katherine estudia Ingeniería de Minas ", conectadas por la palabra "o", que
constituye el conectivo de disyunción.

Ejemplos:

-Luis estudia inglés o estudia portugués.

-20 es número par o 21 es divisible por 3.

-Todo triángulo tiene 5 lados o un cuadrilátero tiene 4 lados .

Valores de verdad de la disyunción:

p q p ∨q
V V V
V F V
F V V
F F F
Las siguientes palabras equivalen al conectivo de disyunción: “o”, “u”, “salvo que”, “excepto
que”.

Disyunción Excluyente (𝚫)

La disyunción excluyente de dos proposiciones p y q, es el resultado de unir p y q mediante

el conectivo “o…o…”. Se representa con el símbolo "∆", y denotamos la proposición “o p
o q” como pΔq.

La proposición disyuntiva excluyente será verdad si una de las proposiciones es verdadera,

pero no puede darse el caso que ambas lo sean. Es decir, sólo puede ser verdadera una de las
dos proposiciones.

Consideremos la proposición:

"0 apruebas el examen de Pensamiento Lógico o desapruebas el examen".

La proposición está compuesta por las proposiciones simples " Apruebas el examen de
Pensamiento " y " Desapruebas el examen de Pensamiento ", conectadas por la palabra "o…
o…", que constituye el conectivo de disyunción excluyente.

Ejemplos:

- O mañana viajo a Lima o a Piura.

- O 2 es número par o 2 número impar.

Valores de verdad de la disyunción:

p q p △q
V V F
V F V
F V V
F F F

Las siguientes palabras equivalen al conectivo de disyunción exclusiva: “o…o…”, “o bien

… O bien …”.

Implicación o condicional (→)

La proposición condicional de dos proposiciones p y q, es el resultado de la unión de p y q

mediante el conectivo “si … entonces…”. Se representa con el símbolo "→", y denotamos
la proposición “Si p entonces q” como p → q. Donde p es el antecedente o hipótesis y q es
el consecuente o conclusión.
En la proposición condicional se establece una condición para que se cumpla la otra
proposición, y será falsa únicamente cuando la hipótesis es verdadera y la conclusión es falsa.
En el caso que la hipótesis y la conclusión sean verdaderas, podemos afirmar la veracidad de
la proposición y en los casos que la hipótesis es falsa, la conclusión puede ser tanto verdadera
como falsa, y la condicional será verdadera en ambos casos.

Consideremos la proposición:

"Si me esfuerzo en mi carrera y estudio constantemente, entonces seré un gran profesional".

La proposición está formada por una proposición compuesta: " Si me esfuerzo en mi carrera
y estudio constantemente " y una proposición simple "seré un gran profesional ", conectadas
por las palabras "si..., entonces...", que constituyen el conectivo implicación.

Ejemplos:

-Si 90 es par entonces es divisible por 2.

-El flujo en canales abiertos es permanente si las características hidráulicas del flujo
permanecen constantes con respecto al tiempo.

-Si soy estudiante derecho entonces llevaré experiencias curriculares como Derecho
Tributario, Derecho Civil y Derecho Penal.

Valores de verdad de la implicancia:

p q p →q
V V V
V F F
F V V
F F V

Las siguientes palabras equivalen al conectivo condicional: “Si …, entonces…”, “Si…

implica…”, “Si… por consiguiente…”, “Si… luego…”, “puesto que”, “Si… de manera
que…”, “Si… ya que…”, “dado que”, “siempre que”, “cuando”, “porque”.

Bicondicional o doble implicancia (↔)

La proposición bicondicional de dos proposiciones p y q, es el resultado de la unión de p y

q mediante el conectivo “si … y sólo si …”. Se representa con el símbolo "↔", y denotamos
 la proposición “Si p y sólo si q” como p ↔ q. Se puede interpretar como la conjunción de
dos proposiciones condicionales: p → q ∧ q → p,

La proposición bicondicional será verdadera únicamente en los casos que las dos
proposiciones posean el mismo valor de verdad, caso contrario será falsa.

Consideremos la proposición:

"Aprobaré Pensamiento Lógico si y sólo si estudio a conciencia".

La proposición está compuesta por las proposiciones simples " Aprobaré Pensamiento
Lógico " y " estudio a conciencia", conectadas por las palabras "si y sólo si", que constituyen
el conectivo bicondicional.

Ejemplos:

-Un triángulo es equilátero si y sólo si sus tres lados son iguales.

-Un número es divisible por 6 si y sólo si es divisible por 2 y divisible por 3.

Valores de verdad de la bicondicional:

p q p ↔q
V V V
V F F
F V F
F F V

Las siguientes palabras equivalen al conectivo bicondicional: “…si y sólo si…”, “… es

equivalente…”, “…se define como…”, “…es idéntico…”.

Resumen de las Tablas de verdad

p q p∧q p∨q p →q p↔q p∆q

V V V V V V F
V F F V F F V
F V F V V F V
F F F F V V F
 RESUMEN DE LOS PRINCIPALES CONECTIVOS LÓGICOS

OPERADOR
CONECTIVA LÓGICA EXPRESION EQUIVALENTE
LÓGICO

No, jamás, nunca, tampoco (para P. Atómicas)

No es cierto que, No se da el caso que, No ocurre que, Es absurdo

NEGACIÓN que, Es falso que, No es verdad que, Es imposible que, Es ∼
inadmisible que, No es posible que.

(Para P. Moleculares que afectan en su conjunto).

Y ; e; pero; sin embargo; además; aunque; no obstante; a pesar

CONJUNCIÓN ∧
de; a la vez; aun; también; tanto; igualmente

DISYUNCIÓN
O; u; y/o; salvo que; excepto que ∨
INCLUSIVA

DISYUNCIÓN
o... o ... ; o bien ... o bien ... ∆
EXCLUSIVA

CONDICIONAL O Si..., entonces...; Si... implica...; Si... por consiguiente...; Si... luego...;
IMPLICACIÓN Si... de manera que...; Si... por lo tanto...; Si... porque...; Si..., dado →
que...; Si…puesto que…; Si…ya que…; Si…cada vez que….

... si y sólo si...;... es equivalente...;... siempre que y sólo cuando...;...

BICONDICIONAL ↔; ≡
se define como...;... si de la forma...;... es idéntico...;
 EJERCICIOS DE REFORZAMIENTO

1. En la siguiente tabla, identifica cuáles de los siguientes enunciados son proposiciones y cuáles
no, en el caso de que lo sean asignarle su valor de verdad:

P: Proposición V/F: Verdadero/Falso NP: No es proposición

Nº EXPRESIONES/ORACIONES P/N V/F

P

1 Cuzco es una ciudad muy bonita.

2 ¡El examen de pensamiento lógico es mañana!

3 La central hidroeléctrica de Gallito Ciego está ubicada en la región de

Cajamarca.

4 No es cierto que el cuadrado de todo número par es par.

5 Ingeniería Civil e Ingeniería de Minas son carreras profesionales de la

UDCH.

6 42 − 5𝑥6 + √144 + 23 = 7

7 ¡Seré un excelente ingeniero!

8 Hay una fuerza motriz más poderosa que el vapor, la electricidad y la

energía atómica: la voluntad.

9 ¿Paolo Guerrero irá al mundial?

10 30 es un número primo.

11 x es un alumno de la carrera de Derecho.

12 Miguel Grau fallece en el Combate de Angamos.

13 Néstor Popolizio Bardales es el actual ministro de relaciones exteriores.

14 2 es el primer número primo

15 𝑥2 + 𝑦2 = 5
 LÓGICA PROPOSICIONAL

1.1. Definición (Tabla de Verdad). La tabla de verdad fue ideada por Charles Sander Peirce
por los años 1880, pero el modelo más utilizado es el que propuso Ludwing Wittgenstein en
1921. Se define como una tabla que determina el valor de verdad de una proposición
compuesta, para cada combinación de valores de verdad de las proposiciones componentes.

El número de valores de verdad estará relacionado con el número de proposiciones a evaluar,

si tenemos “n” proposiciones, y considerando que cada proposición puede ser verdadero o
falso, se tendrá que el número de valores de la tabla es 2𝑛 .

Ejemplo:
Determinar el valor de la proposición (𝑝 ∨ 𝑞) ↔ 𝑞, mediante una tabla de verdad.
𝑝 𝑞 (𝑝 ∨ 𝑞) ↔ 𝑞
V V V V V
V F V F F
F V V V V
F F F V F

1.2. Definición (Fórmula Lógica). Es una combinación de variables proposicionales y

operadores lógicos. Para evaluar las fórmulas lógicas, utilizamos las tablas de verdad.

Al evaluar una fórmula lógica pueden presentarse tres casos:

 Cuando todos los valores de verdad del operador principal son verdaderos, se tiene
una TAUTOLOGÍA.
 Cuando todos los valores de verdad del operador principal son falsos, se tiene una
CONTRADICCIÓN.
 Cuando los valores de verdad del operador principal son falsos y verdaderos,
entonces se tiene una CONTINGENCIA.

Observación.- Los signos de agrupación (), [], {} se usan en lógica cuando se trata de obtener
esquemas lógicos más complejos. Otra finalidad de estos signos es darles mayor o menor
jerarquía a los operadores
 1.3. Definición (Esquemas Moleculares). Es la combinación de variables y conectivos lógicos
debidamente jerarquizados, se simbolizan mediante variables que son las letras mayúsculas
a partir de A, B, C,…

Ejemplos:
𝐴 = (𝑝 → 𝑞) → [(𝑝 ∨ ~ 𝑞) → (𝑝 𝛬 𝑞)]

𝐵 = (𝑝 Ú 𝑞) Ù [𝑟 ↔ (𝑞 Ú 𝑠)]

𝐶 = ~ (𝑝Ú ~ 𝑞) ® [(𝑝Ú 𝑟) ↔ (𝑞 Ú 𝑠)]

CÁLCULO DE VALORES DE VERDAD DE FÓRMULAS LÓGICAS

Utilizando los conectivos lógicos estudiados, se pueden combinar cualquier número finito de
proposiciones y para obtener el valor de verdad estas expresiones utilizamos la tabla de verdad.

Las combinaciones de los posibles valores de las proposiciones se realizan en el margen izquierdo del
esquema, luego se aplica cada uno de los operadores, empezando por el de menor alcance al de mayor
jerarquía.

Ejemplo: Construir la tabla de verdad para el siguiente esquema molecular:

(𝑝 ® 𝑞) Ù 𝑝® 𝑞

La tabla de verdad para el esquema molecular, está dado por:

𝑝 𝑞  (p ® q) Ù p ® 𝑞
V V V V V V V
V F F F V V F
F V V F F V V
F F V F F V F

Luego el razonamiento es válido y se conoce con el nombre de TAUTOLOGÍA.

Ejemplo: Construir la tabla de verdad para el siguiente esquema molecular:

(p Ùq) Ùp

La tabla de verdad para el esquema molecular, está dado por:

𝑝 𝑞 (p Ùq) Ù p
 V V V F F
V F F F F
F V F F V
F F F F V
Luego el razonamiento es no válido y se conoce con el nombre de FALACIA.

Ejemplo: Construir la tabla de verdad para el siguiente esquema molecular:

(~𝑝 ∨ 𝑞) ↔ ~𝑞 ∧ ~𝑝

La tabla de verdad para el esquema molecular, está dado por:

𝑝 𝑞 (~𝑝 ∨ 𝑞) ↔ ~𝑞 ∧ ~𝑝
V V V F F
V F F F F
F V V F F
F F V V V
Esta expresión proposicional es una CONTINGENCIA.

Ejemplo: Construir la tabla de verdad para el siguiente esquema molecular:

[𝑝 ∧ (𝑞 ∨ 𝑟)] ↔ [(𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)]

𝑝 𝑞 𝑟 [𝑝 ∧ (𝑞 ∨ 𝑟)] ⟷ [(𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)]
V V V V V V V V V V
V V F V V V V V V F
V F V V V V V F V V
V F F V F F V F F F
F V V F F V V F F F
F V F F F V V F F F
F F V F F V V F F F
F F F F F F V F F F

Luego el razonamiento es válido y se conoce con el nombre de TAUTOLOGÍA.

1.4. Definición (Equivalencia Lógica). Decimos que dos expresiones lógicas son equivalentes
si y sólo si tienen siempre los mismos valores de verdad. Es decir, A es lógicamente
equivalente a B, si la compuesta A B es una tautología. La equivalencia, la simbolizamos
por “” o también por “”.
Ejemplos:

a) Demostrar si los siguientes esquemas moleculares son equivalentes:

p ® q p Ú q

Solución:

𝑝 𝑞 p®q ↔ p Ú q
V V V V V
V F F F F
F V V F V
F F V F V

Por tanto se observa que los dos esquemas son equivalentes, es decir:

p ® q p Ú q

b) Demostrar si los siguientes esquemas moleculares son equivalentes:

p Ùq  (pÚ q)

Solución:

𝑝 𝑞 p Ùq ↔ (p Ú q)
V V F V F
V F F V F
F V F V F
F F V V V
Por lo tanto, los dos esquemas son equivalentes, es decir: p Ùq (p Ú q)
 EJERCICIOS RESUELTOS

1. Construye la tabla de verdad para cada una de los siguientes esquemas moleculares, y
determina si es: tautología, contradicción o contingencia.
a) (𝑝 𝛥 𝑞) ↔ (𝑞 ↔ 𝑝)
𝑝 𝑞 (𝑝 Δ 𝑞) ↔ (q ↔ p)
V V F F V
V F V F F
F V V F F
F F F F V
CONTRADICCIÓN
b) [p → (q V r)] ↔ [(p → q) V (p → r)]
𝑝 𝑞 𝑟 [𝑝 → (𝑞 ∨ 𝑟)] ⟷ [(𝑝 → 𝑞) ∨ (𝑝 → 𝑟)]
V V V V V V V V V V
V V F V V V V V V F
V F V V V V V F V V
V F F V F F V F F F
F V V F V V V V V V
F V F F V V V V V V
F F V F V V V V V V
F F F F V F V V V V
TAUTOLOGÍA
c)  (p Ú q) ® (p Ù q)® (p ® q) Ù (q ® p)
𝑝 𝑞 𝑟 [(𝑝 ∨ 𝑞) → (𝑝 ∧ 𝑞)] → (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)]
V V V V V V V V V V
V V F V V V V V V V
V F V V F F V F V V
V F F V F F V F V V
F V V V F F V V F F
F V F V F F V V F F
F F V F V F V V V V
F F F F V F v V V V

CONTINGENCIA
2. Si p es una proposición falsa, determinar el valor de verdad de:
(p ®r) Ùr ® (q Ù p) ® (p ® q)
 {(𝑝 →∼ 𝑟) ∧ [𝑟 → (∼ 𝑞 ∧ 𝑝)]} → (𝑝 → 𝑞)

{(𝐹 →∼ 𝑟) ∧ [𝑟 → (∼ 𝑞 ∧ 𝐹)]} → (𝐹 → 𝑞)

{𝑉 ∧ [𝑟 → 𝐹]} → 𝑉

El valor de verdad de la proposición es verdadero.

3. Demostrar si los esquemas moleculares son equivalentes:

p: ~(p ® q) Ù(q ® ~r) es equivalente a:

q: [p Ù (p Ú ~ r)] Ù~q

p ≡ q
p q r ∼ (𝑝 → 𝑞) ∧ (𝑞 →∼ 𝑟) ⟷ [𝑝 ∧ (𝑝 ∨∼ 𝑟)] ∧ ∼𝑞
V V V F V F F V V V V F F
V V F F V F V V V V V F F
V F V V F V V V V V V V V
V F F V F V V V V V V V V
F V V F V F F V F F F F F
F V F F V F V V F F V F F
F F V F V F V V F F F F V
F F F F V F V V F F V F V
TAUTOLOGIA
 EJERCICIOS DE REFORZAMIENTO

1. Construye la tabla de verdad para cada una de los siguientes esquemas moleculares, y
determina si es: tautología, contradicción o contingencia.
a) ∼ [∼ (𝑝 ∧ 𝑞)® ∼ 𝑞] ∨ 𝑞
b) [𝑝 ® (𝑞 ® 𝑟)] Ù [𝑞 D (𝑝 ® 𝑟)]  [(𝑝 Ú 𝑞) ® 𝑟 ]
c) (𝑝 Ù 𝑞) ~ (~𝑝 Ú ~ 𝑞)
d) (𝑝 Ù 𝑞) Ù (𝑝 Ù~ 𝑞)
e) ~[~(𝑝 Ù 𝑞) ® ~ 𝑞] Ú 𝑝
2. A continuación se presenta una serie de ejercicios en la cual se especifica lo siguiente:
a) Si (p ® s) Ú (r s) Ú(q D s) es Falsa. Determine los valores de verdad de:
p®q
rÚs
r s
b) Si (p ® (s ® q)) Ú(r q) es verdadera. Determine los valores de verdad de:
(r Ú p) ® (q D s)
rÚs
r q
3. Demostrar que en cada uno de los casos, si los esquemas moleculares son equivalentes:
a. [(~ 𝑝 Ú 𝑞) Ù (𝑞 Ú 𝑟)]  (𝑝 ® 𝑟)
b. 𝑝 ↔ 𝑞 ≡ (𝑝 ∧ 𝑞) ∨ (∼ 𝑞 ∧∼ 𝑝)
c. ~ [(𝑝 Ù 𝑞) Ú 𝑟]  [~(𝑝 Ú 𝑟) Ú ~(𝑞 Ú 𝑟)]
d. 𝑝 ∆ 𝑞 ≡ (𝑝 ∨ 𝑞) ∧ (∼ 𝑞 ∨ ∼ 𝑝)
 INFERENCIAS LÓGICA
1.- LEYES DE LA EQUIVALENCIA LÓGICA

Estas leyes tienen como conectivo principal una bicondicional lo cual nos indica que los enunciados
enlazados son lógicamente equivalentes. Las leyes de equivalencia más conocidas son:

A. Ley de la Doble Negación:

~ (~𝑝)  𝑝

B. Ley de Idempotencia de la Conjunción y la Disyunción:

𝑝Ù𝑝𝑝

𝑝Ú𝑝𝑝

C. Leyes Conmutativas:

𝑝Ù𝑞𝑞Ù𝑝

𝑝Ú𝑞𝑞Ú𝑝

𝑝𝑞𝑞𝑝

D. Leyes Asociativas:

(𝑝 Ù 𝑞) Ù 𝑟  𝑝 Ù (𝑞 Ù 𝑟)

(𝑝 Ú 𝑞) Ú 𝑟  𝑝 Ú (𝑞 Ú 𝑟)

(𝑝  𝑞)  𝑟  𝑝  (𝑞  𝑟)

E. Leyes Distributivas:

𝑝Ù (𝑞 Ú 𝑟)  (𝑝 Ù 𝑞) Ú (𝑝 Ù 𝑟)

𝑝 Ú (𝑞 Ù 𝑟)  (𝑝 Ú 𝑞) Ù (𝑝 Ú 𝑟)

𝑝® (𝑞 Ú 𝑟)  (𝑝 ® 𝑞) Ú (𝑝 ® 𝑟)

𝑝® (𝑞 Ù 𝑟)  (𝑝 ® 𝑞) Ù (𝑝 ® 𝑟)

F. Leyes de Identidad:

𝑝Ù 𝑉  𝑝 𝑝Ú𝐹𝑝

𝑝Ù 𝐹  𝐹 𝑝Ú𝑉𝑉

G. Leyes de D’ Morgan:
 ~(𝑝 Ù 𝑞)  (~𝑝 Ú ~𝑞)

~(𝑝 Ú 𝑞)  (~𝑝 Ù~𝑞)

H. Leyes de la Absorción:

𝑝 Ù (𝑝 Ú 𝑞)  𝑝

𝑝 Ù (~𝑝 Ú 𝑞)  𝑝 Ù 𝑞

𝑝 Ú (𝑝 Ù 𝑞)  𝑝

𝑝Ú (~𝑝 Ù 𝑞)  𝑝Ú 𝑞

I. Leyes del Condicional:

𝑝 ® 𝑞  ~𝑝 Ú 𝑞

~(𝑝 ® 𝑞)  𝑝 Ù~𝑞

J. Leyes del Bicondicional:

𝑝  𝑞  (𝑝® 𝑞) Ù (𝑞® 𝑝)

𝑝  𝑞  ~(𝑝 D 𝑞)

K. Leyes de Contraposición:

𝑝 ® 𝑞 ~𝑞 ®~𝑝

𝑝  𝑞 ~𝑞 ~𝑝

L. Leyes de Exportación:

(𝑝 Ù 𝑞) ® 𝑟  𝑝 ® (𝑞 ® 𝑟)

M. Ley del Tercio Excluido:

~𝑝 Ú 𝑝  𝑉

N. Ley de la Contradicción:

~𝑝 Ù 𝑝  𝐹

O. Reducción al Absurdo:

𝑝 ® 𝑞  (𝑝 Ù~𝑞) ® 𝐹

Observación:
Estas leyes pueden ser empleadas para verificar la equivalencia entre esquemas moleculares o también
para simplificar un esquema molecular relativamente complejo a uno más pequeño o reducido. Y para
simplificar es necesario transformar los conectivos a disyunción o conjunción, ya que se hace más
fácil trabajar.

Ejemplo:

Simplificar: [~(𝑝 ® 𝑞) Ù (~𝑞 Ú 𝑝)] Ú 𝑝

Tenemos:

[~ (~𝑝 Ú 𝑞) Ù (~ 𝑞 Ú 𝑝)] Ú 𝑝 𝐶𝑜𝑛𝑑𝑖𝑐𝑖𝑜𝑛𝑎𝑙

[(~~𝑝Ù~𝑞) Ù (~ 𝑞 Ú 𝑝)] Ú 𝑝 𝑀𝑜𝑟𝑔𝑎𝑛

{(𝑝 Ù~𝑞) Ù (~𝑞 Ú 𝑝)}Ú 𝑝 𝐷𝑜𝑏𝑙𝑒 𝑛𝑒𝑔𝑎𝑐𝑖ó𝑛

{𝑝 Ù (~𝑞 Ù (~𝑞 Ú 𝑝))} Ú 𝑝 𝐴𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑎

(𝑝 Ù~𝑞) Ú 𝑝 𝐴𝑏𝑠𝑜𝑟𝑐𝑖ó𝑛

𝑝 Ú (𝑝 Ù~𝑞) 𝐶𝑜𝑛𝑚𝑢𝑡𝑎𝑡𝑖𝑣𝑎

𝑝 𝐴𝑏𝑠𝑜𝑟𝑐𝑖ó𝑛

Luego: [~(𝑝® 𝑞) Ù (~𝑞 Ú 𝑝)] Ú 𝑝  𝑝

3.1. Definición (Inferencia)

Regla de la Inferencia: Diremos que la proposición 𝑞 se infiere de las proposiciones

𝑝1 , 𝑝2 , 𝑝3 , … … … . . , 𝑝𝑛 ; 𝑛 ∈ ℕ si 𝑞 es verdad, cuando todas las 𝑝𝑖 , 𝑖 = 1, … , 𝑛 lo sean: es decir
cuando:
𝑝1 ∧ 𝑝2 ∧ 𝑝3 ∧ … … … . .∧ 𝑝𝑛 ≡ 𝑞

Es decir que el razonamiento

𝑝1 ∧ 𝑝2 ∧ 𝑝3 ∧ … … … . .∧ 𝑝𝑛 → 𝑞

Sea una tautología.

A las 𝑝𝑖 se les llama PREMISAS y a 𝑞 se le llama CONCLUSION.

Para probar la validez o invalidez de los argumentos, utilizamos las tablas de verdad o el método
abreviado que consiste en suponer la conjunción de premisas verdadera y la conclusión falsa.

Ejemplo

Demostrar si el siguiente argumento es válido:

 [~𝑝 ∧ (𝑝 ∨ 𝑞)] → 𝑞

Demostración

Tenemos:

[~𝑝 ∧ (𝑝 ∨ 𝑞)] → 𝑞

𝑽→𝑭

Es decir:

 q es falso, V(q) = F
 [~𝑝 ∧ (𝑝 ∨ 𝑞)] = V, entonces: ~p es verdadera y (pÚq) es verdadera por definición de la
conjunción.
Si ~p es verdadera, entonces p es falsa por la ley de la negación, V (p) = F.
Si V (p) = F y V (q) = F se tiene (pÚq) = F, (pÚq) es verdadera, por lo cual se llega a una
contradicción y por esta razón se dice que el argumento es válido.
 EJERCICIOS DE REFORZAMIENTO

1. Determina las conclusiones correctas de las proposiciones siguientes e indique la ley de

implicación que se aplica.

a) Si 32 es divisible por 2 entonces 32 es par. Pero 32 no es par entonces

……………………………………….

b) Salvo que no diga la verdad, soy honesto. Más si fuese el caso que dejé de ser honesto.
Concluiríamos:
…………………………………………………………………………………………….

c) Si Gilberto es compositor exitoso obtiene grandes regalías. Al obtener grandes regalías tiene
mucho dinero. En consecuencia:
……………………………………………………………………………………………..

d) Si digo siempre la verdad, los demás confían en mí. Y si los demás confían en mí, me siento
seguro e independiente. Como yo digo siempre la verdad. Luego:
……………………………………………………………………………………………
e) Si Juliana compra una casa entonces tendrá un lugar seguro donde vivir. Si Juliana compra
un carro entonces podrá trasladarse con seguridad. Pero, Juliana compra una casa o compra
un carro. Se concluye …………………………………………………………...