CENTRO PREUNIVERSITARIO DE LA

UNIVERSIDAD NACIONAL DE CAJAMARCA

Las proposiciones se denotan con letras
Lógica proposicional minúsculas, como p, q, r, s, …, etc.

LÓGICA  p: Leguía fue presidente del Perú

 q: 12 es múltiplo de 5
Es la ciencia que estudia la inferencia o  s: (𝑎 + 𝑏)2 = 𝑎2 + 2𝑎𝑏 + 𝑏 2
razonamiento, estableciendo los principios
NOTA:
y métodos para determinar su validez.
1. Las preguntas, exclamaciones,
LÓGICA PROPOSICIONAL órdenes, deseos, dudas, súplicas,
enunciados abiertos, refranes; no
Es una parte de la lógica que estudia las son proposiciones.
proposiciones y la relación entre ellas, así
como las funciones que tienen las variables Ejemplos:
proposicionales y los conectivos lógicos.  ¿Qué hora es?
 ¡viva el Perú!
 Quiero agua
La lógica proposicional estudia las  2𝑥 = 8
inferencias utilizando las
proposiciones relacionadas mediante 2. Toda proposición es un enunciado,
los conectivos lógicos. pero no todo enunciado es
proposición.

ENUNCIADO: CONECTIVOS LÓGICOS

Es toda frase u oración que se utiliza en el Son palabras o símbolos que enlazan
lenguaje común. proposiciones simples, sin formar parte de
ellas
Ejemplos:
sean las proposiciones “p”, “q”, luego los
 Lima es la capital del Perú
más conocidos son:
 Tú eres lo máximo
 ¿Qué hora es? CONECTIVO
SÍMBOLO ESQUEMA SIGNIFICADO
 ¡auxilio! LÓGICO
 Prohibido fumar ∧ Conjunción 𝑝∧𝑞 𝑝𝑦𝑞
 2+5=7
 Ella no te ama Disyunción
∨ 𝑝∨𝑞 𝑝𝑜𝑞
inclusiva
Disyunción
PROPOSICIÓN: ∆ 𝑝∆𝑞 𝑜𝑝𝑜𝑞
exclusiva
Es todo enunciado que se caracteriza por 𝑆𝑖 𝑝
→ Condicional 𝑝→𝑞
tener un único valor de verdad, es decir, es 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑞
verdadero (V) o es falso (F), pero no ambos 𝑝 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜
↔ Bicondicional 𝑝↔𝑞
𝑠𝑖 𝑞
a la vez.
~ Negación ~𝑝 𝑛𝑜 𝑝
Ejemplos: Negación
/ 𝑝/𝑞 𝑛𝑜 𝑝 𝑜 𝑛𝑜 𝑞
alterna
 Lima es la capital del Perú (V)
Negación
 Ciro Alegría no fue literato (F) ↓ 𝑝 ↓ 𝑞 𝑛𝑖 𝑝 𝑛𝑖 𝑞
conjunta
 8>5 (V)

Lic. Felipe Mejía Rodríguez Ciclo Regular 2021 - 1

 CENTRO PREUNIVERSITARIO DE LA
UNIVERSIDAD NACIONAL DE CAJAMARCA
CLASES DE PROPOSICIONES

Son 2 clases: NOTA:

1. PROPOSICIÓN SIMPLE O ATÓMICA 1. Los valores de verdad de una o más

Es aquella proposición que nos expresa proposiciones se pueden
una solo idea, consta de uno o más esquematizar por medio de una sola
sujetos y un predicado; y no lleva tabla de verdad, como las que se
conectivos lógicos. muestra.

Pueden ser: 2. El número de valores que se asigna

a cada variable proposicional está
A) Proposiciones simples predicativas dada por la fórmula:2𝑛 ; donde “n”
Consta de un sujeto y un predicado, es el número de proposiciones
en las cuales se habla o predica algo simples.
del sujeto.
Así:
Ejemplos:  Para 1 proposición
 La nieve es blanca. 2𝑛 = 21 = 2 valores
 Tú eres perseverante.
p
B) Proposiciones simples relacionales V
Consta de 2 o más sujetos y F
predicado, en donde se establece un
nexo o relación entre dichos sujetos.  Para 2 proposiciones
2𝑛 = 22 = 4 valores
Ejemplos:
 Jorge y Ana se aman.
p q
 Andy es más amable que Wendy.
V V
V F
F V
2. PROPOSICIÓN COMPUESTA O
F F
MOLECULAR
Son aquellas que están formadas por dos
o más proposiciones simples unidas
 Para 3 proposiciones
mediante conectivos lógicos, incluido la
negación como adverbio. 2𝑛 = 23 = 8 valores

Ejemplos: p q r
 Juan es médico y José es profesor. V V V
V V F
p ∧ q V F V
 Estudias o trabajas. V F F
p ∨ q F V V
 No es cierto que tú seas matemático. F V F
F F V
~ p F F F
 Ni amas ni odias.
p ↓ q

Lic. Felipe Mejía Rodríguez Ciclo Regular 2021 - 1

 CENTRO PREUNIVERSITARIO DE LA
UNIVERSIDAD NACIONAL DE CAJAMARCA
CLASES DE PROPOSICIONES Tabla de verdad
COMPUESTAS

Se clasifican según el conectivo lógico en:

1. LA CONJUNCIÓN (∧ , &)

Sus formas gramaticales son: “y”, Simbolización

“pero”, “aunque”, “sin embargo”, “no 𝑝 ∨ 𝑞 (se lee: “p” o “q”)
obstante”, “también”, “así como”, “a la La disyunción es falsa solo
vez”, “tal como”, “tanto como”, “al si componentes son falsas,
igual que”; “incluso”, “así mismo”, en otros casos será
“además”, etc. verdadera.

Ejemplos:
 Yo soy padre de familia y tú eres 3. DISYUNCIÓN FUERTE O
universitario. EXCLUSIVA (∆)
 Mary llegó tarde, pero rindió el
examen. Cuando solo uno de sus miembros
 Londres es la capital de Inglaterra y puede ser aceptado, el otro queda
cuba es una isla. inválido.
 Está lloviendo, además está
nublado. Sus formas gramaticales son: “o…o…”,
“o” (en sentido excluyente).
Tabla de verdad
Ejemplos
 O eres varón o eres mujer.
 Nací en el Perú, o en el extranjero.

Simbolización: Tabla de verdad

𝑝 ∧ 𝑞 (se lee: “p” y “q”)
La conjunción es verdadero
sólo si sus componentes
son verdaderos, en otros
casos será falsa.

2. DISYUNCIÓN DÉBIL O INCLUSIVA Simbolización

(∨) 𝑝 ∆ 𝑞 ; 𝑝 ∨ 𝑞 , 𝑝 ⨁ 𝑞,
𝑝 ≢ 𝑞, 𝑝 ↮ 𝑞
Cuando es posible que sus miembros (se lee: 0 “p” o “q”)
componentes sean aceptados a la vez. La disyunción exclusiva es
verdadera solo si sus
Sus formas gramaticales son: “o”, “u”, componentes tiene valores
“salvo”, “a menos que”, “excepto”. diferentes, caso contrario
será falsa.
Ejemplos
 Estudio o me caso.
 Ingresaré, salvo que me enamore.
 Carlos estudió leyes o ciencias.

Lic. Felipe Mejía Rodríguez Ciclo Regular 2021 - 1

 CENTRO PREUNIVERSITARIO DE LA
UNIVERSIDAD NACIONAL DE CAJAMARCA
4. LA CONDICIONAL (→)
Son aquellas proposiciones que se
relacionan mediante la conjunción
condicional: “si …. Entonces …” o sus
expresiones equivalentes.
La proposición condicional consta de 2
elementos, el antecedente y el
consecuente.
Pueden ser:
A) CONDICIONAL DIRECTA
(𝑝 → 𝑞; 𝑝 ⊃ 𝑞)
Antecedente – consecuentes van a
en ese orden respectivo, sus formas
gramaticales son:
 Si p entonces q
 p de ahí que q
 p implica q
 p de modo que q
 p por lo tanto q
 p deviene q
 p conclusión q
 Dado que p por eso q
 p luego q
 Cuando p a si pues q
 p por consiguiente q
 De p derivamos q
Ejemplos
 Si amas, entonces serás feliz.
 Si estudio, luego triunfo.
 De la pereza deviene, la pobreza
Tabla de verdad
Simbolización
𝑝 → 𝑞; 𝑝 ⊃ 𝑞
La condicional es falsa si su antecedente
es verdadero y su consecuente es falsa,
en otros casos será verdadera.
Lic. Felipe Mejía Rodríguez
B) CONDICIONAL INDIRECTA
(𝑞 → 𝑝)
Consecuente – antecedente van en
ese orden respectivo.
Sus formas gramaticales son:
 p, si q
 p siempre que q
 p ya que q
 p pues q
 p puesto que q
 p supone que q
 p porque q
 p a la condición de que q
 p dado que q
 p es condición necesaria para q
 p cada vez que q
 p cuando q
 p a menos que no q
 p debido a que q
Ejemplos
 te amaré siempre que me respetes.
 Ingresé dado que me esforcé.
5. LA BICONDICIONAL O DOBLE
IMPLICACIÓN (𝑝 ↔ 𝑞)
Sus formas gramaticales son: “si y solo
si”, “solamente que sí”, “cuando y sólo
cuando”, “entonces y sólo entonces”,
“es idéntico”, “cada vez que, y sólo si”
“p es condición necesaria y suficiente
para que q”, etc.
Ejemplos
 Ingresas, si y sólo si estudias.
 Iré al cine sí y siempre que tenga
dinero.
Tabla de verdad
Simbolización
𝑝 ↔ 𝑞, 𝑝 ≡ 𝑞
La Bicondicional es verdadera sólo si sus
valores de sus componentes son iguales
en caso contrario es falso.
Ciclo Regular 2021 - 1
 CENTRO PREUNIVERSITARIO DE LA
UNIVERSIDAD NACIONAL DE CAJAMARCA
6. LA NEGACIÓN (~𝑝; ¬𝑝, 𝑝̅) 7. NEGACIÓN ALTERNA (𝑝/𝑞, 𝑝|𝑞)

Aquellas donde el adverbio negativo Su forma gramatical es “no … o no …”

“no” o sus expresiones equivalentes
afectan a una o más proposiciones. Ejemplo
 No recuerdas o no olvidas
Pueden ser:
Tabla de verdad
A) NEGACIÓN SIMPLE, INTERNA O
p q 𝑝/𝑞
LIGADA
V V F
V F V
Cuando afecta a una proposición
F V V
simple, utilizando la forma
gramatical “no” y sus equivalentes. F F V

Simbolización
Ejemplo
(𝑝/𝑞 , 𝑝|𝑞 )
 Luis no es doctor La negación alterna es falsa sólo
si sus componentes son
Tabla de verdad verdaderas en otros casos será
verdadera.

8. NEGACIÓN CONJUNTA (𝑝 ↓ 𝑞)

Simbolización su forma gramatical es “ni …. ni…”

(~p; ¬p, p
̅)
La negación es una Ejemplo
proposición cuyo  Ni estudio, ni trabajo.
valor es opuesto al de
la proposición
original. Tabla de verdad
p q 𝑝↓𝑞
B) LA NEGACIÓN COMPUESTA, V V F
EXTERNA O LIBRE (~(… )) V F F
F V F
Cuando afecta a proposiciones F F V
compuestas. En tal sentido, al
simbolizarse, deberá anteceder a Simbolización
signos de agrupación. Sus formas (𝑝 ↓ 𝑞 )
gramaticales más usuales son: “es La negación conjunta es
falso que”, “no es cierto que”, es verdadera sólo si sus
absurdo que”, “no se da el caso componentes son falsas, en otros
que”, “no es posible que”, etc. casos será falsa.

Ejemplos
 No es cierto que seas varón y
mujer.
 No es el caso que trabajes o
estudies.

Lic. Felipe Mejía Rodríguez Ciclo Regular 2021 - 1

 CENTRO PREUNIVERSITARIO DE LA
UNIVERSIDAD NACIONAL DE CAJAMARCA
FORMALIZACIÓN DE Ejemplos:
PROPOSICIONES O SIMBOLIZACIÓN  𝑺𝒊 𝑝𝑟𝑎𝑐𝑡𝑖𝑐𝑎𝑚𝑜𝑠 𝑙𝑜𝑠 𝑒𝑗𝑒𝑟𝑐𝑖𝑐𝑖𝑜𝑠 𝑑𝑒 𝑙ó𝑔𝑖𝑐𝑎,
𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝑎𝑝𝑟𝑒𝑛𝑑𝑒𝑚𝑜𝑠.
La simbolización de proposiciones consiste
en la representación del lenguaje ordinario  𝐿𝑜𝑠 𝑙𝑒𝑜𝑛𝑒𝑠 𝑠𝑜𝑛 𝑠𝑎𝑙𝑣𝑎𝑗𝑒𝑠 𝒚 𝑐𝑎𝑟𝑛í𝑣𝑜𝑟𝑜𝑠
mediante el lenguaje artificial  𝑚𝑎𝑟𝑡𝑒 𝒏𝒐 𝑒𝑠 𝑢𝑛𝑎 𝑒𝑠𝑡𝑟𝑒𝑙𝑙𝑎.
(convencional). Formalizar, significa
reemplazar cada proposición por una  𝒏𝒐 𝒆𝒔 𝒄𝒊𝒆𝒓𝒕𝒐 𝒒𝒖𝒆, 𝑙𝑎𝑠 𝑔𝑎𝑙𝑙𝑖𝑛𝑎𝑠 𝑡𝑒𝑛𝑔𝑎𝑛
variable y cada conectivo o modificador 2 𝑝𝑎𝑡𝑎𝑠 𝑦 𝒏𝒐 𝑠𝑒𝑎𝑛 𝑎𝑣𝑒𝑠.
por un operador lógico, todo ello
correctamente jerarquizado mediante 3. SIGNOS DE AGRUPACIÓN
signos de agrupación.
Se utilizan para agrupar a las variables
1. VARIABLES y operadores, así como darles jerarquía.
Son los siguientes.
Se utilizan para representar a las
 Paréntesis ()
proposiciones simples. Son las letras
 Corchetes []
minúsculas: p, q, r, s, t, …, etc.
 Llaves {}
 Barras ||
Ejemplos:
A) JERARQUIZACIÓN
 𝐽𝑢𝑎𝑛 𝑝𝑎𝑏𝑙𝑜 𝑒𝑠 𝑐𝑜𝑚𝑝𝑜𝑠𝑖𝑡𝑜𝑟
⏟
𝑝
Jerarquizar significa agrupar las
variables y los operadores dentro
 𝑅𝑜𝑠𝑎𝑟𝑖𝑜 𝑒𝑠 𝑒𝑚𝑝𝑟𝑒𝑠𝑎𝑟𝑖𝑎 𝑎𝑠í 𝑐𝑜𝑚𝑜
⏟ de los signos de colección, llamados
𝑝
también de agrupación.
𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒 𝑢𝑛𝑖𝑣𝑒𝑟𝑠𝑜𝑡𝑎𝑟𝑖𝑎
⏟
𝑞
Para jerarquizar hay que tener en
cuenta los siguientes requisitos:
2. CONECTIVOS LÓGICOS
 Solo presentan jerarquía los
Son palabras o símbolos que enlazan conectivos lógicos (y, o,
proposiciones simples, sin formar parte entonces, si y solo si, etc.).
de ellas
 Para realizar una correcta
los más conocidos son: jerarquización hay que tener
SÍMBOLO CONECTIVO LÓGICO en cuenta los signos de
∧ puntuación del texto a
Conjunción
jerarquizar, en cuanto ellos
Disyunción
∨ indican la ubicación de los
inclusiva
signos de agrupación.
∆ Disyunción exclusiva
→ Condicional
 En el texto, el punto seguido
↔ Bicondicional
tiene mayor jerarquía, le sigue
~ Negación
en segundo lugar el punto y
/ Negación alterna coma, y, en tercer lugar, la
↓ Negación conjunta coma.

Lic. Felipe Mejía Rodríguez Ciclo Regular 2021 - 1

 CENTRO PREUNIVERSITARIO DE LA
UNIVERSIDAD NACIONAL DE CAJAMARCA
B) REGLAS PARA JERARQUIZAR Ejemplo 2:
“Pitágoras fue matemático tal como filósofo.
 Donde esté ubicado el signo de Calvino fue protestante siempre y cuando
puntuación más importante del no fue católico. Por lo tanto, Pitágoras fue
texto, ahí se encuentra ubicado matemático salvo que Calvino fue
el conectivo principal. protestante”.
 Donde se encuentre un signo de Determinar las proposiciones simples.
puntuación ahí se abre o cierra
un signo de agrupación.  𝑝: 𝑃𝑖𝑡á𝑔𝑜𝑟𝑎𝑠 𝑓𝑢𝑒 𝑚𝑎𝑡𝑒𝑚á𝑡𝑖𝑐𝑜.
(paréntesis, corchete, llave o  𝑞: 𝑝𝑖𝑡á𝑔𝑜𝑟𝑎𝑠 𝑓𝑢𝑒 𝑓𝑖𝑙ó𝑠𝑜𝑓𝑜.
barra).  𝑟: 𝐶𝑎𝑙𝑣𝑖𝑛𝑜 𝑓𝑢𝑒 𝑝𝑟𝑜𝑡𝑒𝑠𝑡𝑎𝑛𝑡𝑒.
 𝑠: 𝐶𝑎𝑙𝑣𝑖𝑛𝑜 𝑓𝑢𝑒 𝑐𝑎𝑡ó𝑙𝑖𝑐𝑜.
 El conectivo que se encuentre
fuera o en la parte más externa
Identificar los conectores
de los signos de agrupación es
el que tiene mayor jerarquía.
 Tal como
 Siempre y cuando
 Si encontramos un texto donde
 No
se presente una sucesión de
 Por lo tanto
idénticos signos de puntuación,
 Salvo que
será mayor el que presente
como conectivo “entonces”,
Formalizar el argumento de manera
“luego” o cualquiera de sus
lineal.
sinónimos.

 La negación antecede a la 𝑝 ∧ 𝑞. 𝑟 ↔ ~𝑠. →, 𝑝 ∨ 𝑞

variable (~𝑝), no enlaza
proposiciones, pues no es
conectivo: (𝑝 ~ 𝑞 ). Jerarquizar los conectivos lógicos con
los signos de agrupación según la teoría
dada, luego.
Ejemplo 1:
“Esther estudia física y química, o estudia
lógica. Sin embargo, estudia matemática”. [(𝑝 ∧ 𝑞) ∧ (𝑟 ↔ ~𝑠)] → (𝑝 ∨ 𝑞)

 𝐸𝑠𝑡ℎ𝑒𝑟
⏟ 𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝑓í𝑠𝑖𝑐𝑎 𝑦 𝑞𝑢í𝑚𝑖𝑐𝑎
⏟ ,𝑜
𝑝 𝑞
𝑒𝑠𝑡𝑢𝑑𝑖𝑎
⏟ 𝑙ó𝑔𝑖𝑐𝑎 . 𝑆𝑖𝑛 𝑒𝑚𝑏𝑎𝑟𝑔𝑜
𝑟
𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝑚𝑎𝑡𝑒𝑚á𝑡𝑖𝑐𝑎
⏟
𝑠

 𝒑 𝑦 𝒒, 𝑜 𝒓. 𝑠𝑖𝑛 𝑒𝑚𝑏𝑎𝑟𝑔𝑜 𝒔

 𝒑 ∧ 𝒒, ∨ 𝒓.∧ 𝒔

 [(𝑝 ∧ 𝑞) ∨ 𝑟] ∧ 𝑠

Lic. Felipe Mejía Rodríguez Ciclo Regular 2021 - 1

 CENTRO PREUNIVERSITARIO DE LA
UNIVERSIDAD NACIONAL DE CAJAMARCA
EVALUACIÓN DE ESQUEMAS 𝑝 𝑞 ~ (𝑝 ∧ 𝑞)
MOLECULARES V V F V
ESQUEMA MOLECULAR V F F V
F V F V
Es la combinación de variables y F F V F
conectores lógicos debidamente
jerarquizadas, se simbolizan mediante
meta variables que son letras mayúsculas Matriz principal
(A, B, C, D, …, etc.).
 Evaluar:[~(𝑝 ∧ 𝑞) ∨ 𝑝] ∧→ (𝑝 ↔ 𝑞)
Ejemplos
2𝑛 = 22 = 4 𝑣𝑎𝑙𝑜𝑟𝑒𝑠
 𝐴 = 𝑝 → (𝑞 ∧ 𝑟)
𝑝 𝑞 [~ (𝑝 ∧ 𝑞) ∨ 𝑝] → (𝑝 ↔ 𝑞)
 𝐵 = (𝑝 ∨ 𝑞) ∧ [𝑟 ⊕ (𝑞 ∨ 𝑠)] V V F V V V V V V V V V
V F V V F F V V F V F F
 𝐶 = ~(𝑝 ∨ ~𝑞) → [(𝑝 ∨ 𝑟) ↔ (𝑞 ∨ 𝑠)]
F V V F F V V F F F F V
F F V F F F V F V F V F
EVALUACIÓN DE ESQUEMAS
MOLECULARES POR TABLA DE VERDAD

Consiste en obtener los valores del

operador principal a partir de los valores
de cada una de las variables Matriz principal
proposicionales y se realiza mediante las
 Evaluar:
denominadas “tablas de verdad”.
[(𝑝 → 𝑞) ∧ (~𝑝 ∨ 𝑟) ↮ 𝑟
Los valores obtenidos se denominan
matriz principal y corresponden al 2𝑛 = 23 = 8 𝑣𝑎𝑙𝑜𝑟𝑒𝑠
conectivo de mayor jerarquía.
𝑝 𝑞 𝑟 [(𝑝 → 𝑞) ∧ (~𝑝 ∨ 𝑟)] ↮ 𝑟
NOTA: V V V V V V V F V V F V
1. N° de valores de cada proposición =2𝑛 . V V F V V V F F F F F F
Donde “n” = N° de proposiciones. V F V V F F F F V V V V
V F F V F F F F F F F F
2. Se empieza a operar por el conectivo de F V V F V V V V V V F V
menor dominio hasta llegar al de mayor
F V F F V V V V V F V F
jerarquía.
F F V F V F V V V V F V
F F F F V F V V V F V F
Ejemplos:

 Evaluar: ~(𝑝 ∧ 𝑞)

2𝑛 = 22 = 4 𝑣𝑎𝑙𝑜𝑟𝑒𝑠

Matriz principal

Lic. Felipe Mejía Rodríguez Ciclo Regular 2021 - 1

 CENTRO PREUNIVERSITARIO DE LA
UNIVERSIDAD NACIONAL DE CAJAMARCA
TIPOS DE ESQUEMAS MOLECULARES
1. TAUTOLOGÍA
Si todos los valores de la matriz
principal son verdaderos. Se
representa por “T”.
ESQUEMA PROPOSICIONAL = T
2. CONTRADICCIÓN
Si todos los valores de la matriz
principal son falsos. Se representa
por “⊥”
ESQUEMA PROPOSICIONAL = ⊥
3. CONTINGENCIA O CONSISTENCIA
Si en la matriz principal hay por lo
menos una verdad y una falsedad. Se
representa con “Q”.
ESQUEMA PROPOSICIONAL = Q
Lic. Felipe Mejía Rodríguez
VALOR DE VERDAD PROPOSICIONAL
POR EL MÉTODO DIRECTO
A parte de las tablas de verdad se puede
utilizar el método directo para encontrar el
valor de verdad de una fórmula lógica o
esquema molecular.
Ejemplo 1:
Dadas las proposiciones.
 p: 13 es número primo.
 q: 17 es número par.
 r: 25 es un cuadrado perfecto.
Hallar el valor de verdad de:
[(𝑝 ∧ 𝑞 ) → 𝑟] ∨ [(𝑞 ∆ 𝑟) → 𝑝]
Resolución
1° definir el valor de verdad real de las
proposiciones.
 p: V
 q: F
 r: V
2° reemplazar dichos valores en las
fórmulas dadas y aplicar las reglas de los
conectores según la jerarquía. Así:
[(𝑝 ∧ 𝑞) → 𝑟] ∨ [(𝑞 ∆ 𝑟) → 𝑝
V F F V
F V V V
V V
V
∴ La fórmula lógica es: V (Tautología)
Ciclo Regular 2021 - 1
 CENTRO PREUNIVERSITARIO DE LA
UNIVERSIDAD NACIONAL DE CAJAMARCA
EQUIVALENCIA LÓGICA IMPLICACIÓN LÓGICA

Se llama equivalencia lógica a toda Se llama implicación lógica a toda

Bicondicional (↔) que sea tautología y se condicional (→) que sea tautología y de
denota por: ⇔ o ≡. denota por: (⇒)

A es equivalente a B cuanto unidos por la A implica a B cuando unidos por la

Bicondicional (↔) es una tautología. condicional (→) es una tautología.

Se denota por: 𝐴 ≡ 𝐵 Se denota por: 𝐴 ⇒ 𝐵

Ejemplo: Ejemplo:

Dados los siguientes esquemas Dados los siguientes esquemas

moleculares: moleculares:

𝐴 = (𝑝 ∨ 𝑞) 𝐴 = (𝑝 ∧ 𝑞)

𝐵 = (~𝑝 → 𝑞) 𝐵 = (𝑝 ∨ 𝑞)

Determinar si se da una equivalencia Demostrar que A ⇒ B (A implica a B)

lógica entre ellas.
Resolución
Resolución
𝑝 𝑞 (𝑝 ∧ 𝑞) ⇒ (𝑝 ∨ 𝑞)
𝑝 𝑞 (𝑝 ∨ 𝑞) ⇔ (~𝑝 → 𝑞) V V V V V
V V V V F V V V F F V V
V F V V F V F F V F V V
F V V V V V V F F F V F
F F F V V F F

Tautología
Tautología (Equivalencia)
∴
∴  𝐸𝑙 𝑒𝑠𝑞𝑢𝑒𝑚𝑎 𝑒𝑠 𝑢𝑛𝑎 𝑝𝑙𝑖𝑐𝑎𝑐𝑖ó𝑛 𝑙ó𝑔𝑖𝑐𝑎.
 (𝑝 ∨ 𝑞) ≡ (~𝑝 → 𝑞)  𝐴 ⇒ 𝐵 ó (𝑝 ∧ 𝑞) ⇒ (𝑝 ∨ 𝑞)
 𝐴≡𝐵
NOTA:

 → : Condicional.
⇒ : Implicación Lógica.

 ⟷ : Bicondicional.
⇔ : Equivalencia lógica.

 Un esquema molecular es válido cuando

es una Tautología

Lic. Felipe Mejía Rodríguez Ciclo Regular 2021 - 1

 CENTRO PREUNIVERSITARIO DE LA
UNIVERSIDAD NACIONAL DE CAJAMARCA
LEYES LÓGICAS 7. LEYES DISTRIBUTIVAS (Dist.)

Son formas proposicionales tautológicas

𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
con carácter general que permiten
trasformas o simplificar fórmulas lógicas. 𝑝 ∨ (𝑞 ∧ 𝑟) ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)
Leyes lógicas notables 𝑝 → (𝑞 ∧ 𝑟) ≡ (𝑝 → 𝑞) ∧ (𝑝 → 𝑟)
1. LEY DE INVOLUCIÓN 𝑝 → (𝑞 ∨ 𝑟) ≡ (𝑝 → 𝑞) ∨ (𝑝 → 𝑟)
(doble negación: D.N.)

~(~𝑝) ≡ 𝑝 8. LEYES DE MORGAN (De M.)

“no, no P, equivale a P”
~(𝑝 ∧ 𝑞) ≡ ~𝑝 ∨ ~𝑞
2. LEY DE IDEMPOTENCIA (Idem.)
~(𝑝 ∨ 𝑞) ≡ ~𝑝 ∧ ~𝑞
𝑝∧𝑝 ≡𝑝
𝑝∨𝑝 ≡𝑝 9. LEYES DE ABSORCIÓN (Abs.)

3. LEY DE IDENTIDAD (Ident.)

𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝
𝑝∧𝑉 ≡𝑝 𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝
𝑝∧𝐹 ≡𝐹
𝑝∨𝑉 ≡𝑉 𝑝 ∧ (~𝑝 ∨ 𝑞) ≡ 𝑝 ∧ 𝑞
𝑝∨𝐹 ≡𝑝 𝑝 ∨ (~𝑝 ∧ 𝑞) ≡ 𝑝 ∨ 𝑞
~𝑉 ≡ 𝐹
~𝐹 ≡ 𝑉 ~𝑝 ∧ (𝑝 ∨ 𝑞) ≡ ~𝑝 ∧ 𝑞
~𝑝 ∨ (𝑝 ∧ 𝑞) ≡ ~𝑝 ∨ 𝑞
4. LEY DEL COMPLENTO (Comp.)

𝑝 ∧ ~𝑝 ≡ 𝐹 10. LEYES CONDICIONALES (Cond.)

𝑝 ∨ ~𝑝 ≡ 𝑉
𝑝 → 𝑞 ≡ ~𝑝 ∨ 𝑞
5. LEYES CONMUTATIVAS (Conm.)
~(𝑝 → 𝑞) ≡ 𝑝 ∧ ~𝑞
𝑝∧𝑞 ≡𝑞∧𝑝
𝑝∨𝑞 ≡𝑞∨𝑝 11. LEYES BICONDICIONALES (Bicond.)
𝑝↔𝑞≡𝑞↔𝑝
𝑝∆𝑞≡𝑞∆𝑝 𝑝 ↔ 𝑞 ≡ (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)
6. LEYES ASOCIATIVAS (Asoc.) 𝑝 ↔ 𝑞 ≡ (𝑝 ∧ 𝑞) ∨ (~𝑝 → ~𝑞)
𝑝 ∧ (𝑞 ∧ 𝑟) ≡ (𝑝 ∧ 𝑞) ∧ 𝑟 𝑝 ↔ 𝑞 ≡ ~(𝑝 ∆ 𝑞)
𝑝 ∨ (𝑞 ∨ 𝑟) ≡ (𝑝 ∨ 𝑞) ∨ 𝑟 ~(𝑝 ↔ 𝑞) ≡ 𝑝 ↔ ~𝑝
𝑝 ↔ (𝑞 ↔ 𝑟) ≡ (𝑝 ↔ 𝑞) ↔ 𝑟
𝑝 ∆ (𝑞 ∆ 𝑟) ≡ (𝑝 ∆ 𝑞) ∆ 𝑟

Lic. Felipe Mejía Rodríguez Ciclo Regular 2021 - 1

 CENTRO PREUNIVERSITARIO DE LA
UNIVERSIDAD NACIONAL DE CAJAMARCA
12. LEYES DEL DISYUNTOR FUERTE EJEMPLOS DE APLICACIÓN

1. Hallar el equivalente de: “Si Roy es

𝑝 ∆ 𝑞 ≡ ~(𝑝 ↔ 𝑞)
escritor entonces es matemático”
𝑝 ∆ 𝑞 ≡ (𝑝 ∨ 𝑞) ∧ ~(𝑝 ∧ 𝑞)
𝑝 ∆ 𝑞 ≡ (𝑝 ∧ ~𝑞) ∨ (𝑞 ∧ ~𝑝) Resolución

13. LEYES DE TRANSPOSICIÓN (Trans.) p: Roy es escritor.

q: Roy es matemático.
𝑝 → 𝑞 ≡ ~𝑞 → ~𝑝
𝑝 ↔ 𝑞 ≡ ~𝑞 ↔ ~𝑝 Simbología: 𝑝 →𝑞

14. EXPORTACIÓN (Exp.)  Su primer equivalente sería:

𝑝 → 𝑞 ≡ ~𝑝 ∨ 𝑞
[(𝑝 ∧ 𝑞) → 𝑟] ≡ [𝑝 → (𝑞 → 𝑟)]
Se lee:
PRINCIPIOS LÓGICOS “Roy no es escritor o es matemático”
Los 3 principios lógicos fundamentales
para que el pensamiento discurra por  Su segundo equivalente sería:
“carriles correctos” son: 𝑝 → 𝑞 ≡ ~(𝑝 ∧ ~𝑞)
1. Principio de identidad:
Se lee:
“toda proposición es idéntica así
misma” “no es cierto que, Roy sea escritor y
 𝑝∧𝑞 no sea matemático”
 𝑝→𝑞
 𝑝↔𝑞 2. Simplificar:

 Si un número es par entonces es par.

[(~𝑝 ∧ 𝑞) → (𝑟 ∧ ~𝑠)] ∧ ~𝑞

Resolución
2. Principio de no contradicción:
“una proposición no puede ser
verdadera y falsa a la vez” ≡ [(~𝑝 ∧ 𝑞) → (𝑟 ∧ ~𝑠)] ∧ ~𝑞
≡ [~(~𝑝 ∧ 𝑞) ∨ (𝑟 ∧ ~𝑠)] ∧ ~𝑞 (Cond.)
Notación: ~(𝑝 ∧ ~𝑝)
≡ [(𝑝 ∨ ~𝑞) ∨ (𝑟 ∧ ~𝑠)] ∧ ~𝑞 (Morgan)
 Es absurdo que un número sea impar
y no es impar. ≡ [(𝑟 ∧ ~𝑠) ∨ (𝑝 ∨ ~𝑞)] ∧ ~𝑞 (Conm.)

3. Principio de tercio excluido: ≡ {[(𝑟 ∧ ~𝑠) ∨ 𝑝] ∨ ~𝑞} ∧ ~𝑞 (Asoc.)

“una proposición o es verdadera o es
falsa, no hay una tercera posibilidad” ≡ ~𝑞 ∧ {[(𝑟 ∧ ~𝑠) ∨ 𝑝] ∨ ~𝑞} (Conm.)

≡ ~𝑞 ∧ {~𝑞 ∨ [(𝑟 ∧ ~𝑠) ∨ 𝑝]} (Conm.)

Notación: 𝑝 ∨ ~𝑝
≡ ~𝑞 (Abs.)
 O Fujimori es peruano o Fujimori no
es peruano.

Lic. Felipe Mejía Rodríguez Ciclo Regular 2021 - 1

 CENTRO PREUNIVERSITARIO DE LA
UNIVERSIDAD NACIONAL DE CAJAMARCA
3. Demostrar que:

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

Resolución
~[~(𝑝 ∧ 𝑞) → ~𝑞] ∨ 𝑝 ≡ 𝑝 ∨ 𝑞
~[~~(𝑝 ∧ 𝑞) ∨ ~𝑞] ∨ 𝑝 ≡ 𝑝 ∨ 𝑞 (Cond.)

~[(𝑝 ∧ 𝑞) ∨ ~𝑞] ∨ 𝑝 ≡ 𝑝 ∨ 𝑞 (D.N.)

[~(𝑝 ∧ 𝑞) ∧ 𝑞] ∨ 𝑝 ≡ 𝑝 ∨ 𝑞 (Morgan)

[(~𝑝 ∨ ~𝑞) ∧ 𝑞] ∨ 𝑝 ≡ 𝑝 ∨ 𝑞 (Morgan)

[𝑞 ∧ (~𝑝 ∨ ~𝑞)] ∨ 𝑝 ≡ 𝑝 ∨ 𝑞 (Conm.)

[𝑞 ∧ (~𝑞 ∨ ~𝑝)] ∨ 𝑝 ≡ 𝑝 ∨ 𝑞 (Conm.)

(𝑞 ∧ ~𝑝) ∨ 𝑝 ≡ 𝑝 ∨ 𝑞 (Abs.)

𝑝 ∨ (𝑞 ∧ ~𝑝) ≡ 𝑝 ∨ 𝑞 (Conm.)

𝑝 ∨ (~𝑝 ∧ 𝑞) ≡ 𝑝 ∨ 𝑞 (Conm.)

𝑝∨𝑞 ≡𝑝∨𝑞 (Abs.)

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

4. ¿Es o no una tautología?

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

Resolución

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

[(~𝑝 ∨ 𝑞) ∨ ~𝑝] ∨ (~~𝑞 ∨ 𝑝) (Cond.)

[(~𝑝 ∨ 𝑞) ∨ ~𝑝] ∨ (𝑞 ∨ 𝑝) (D.N.)

[(~𝑝 ∨ ~𝑝) ∨ 𝑞] ∨ (𝑞 ∨ 𝑝) (Asoc.)

(~𝑝 ∨ 𝑞) ∨ (𝑞 ∨ 𝑝) (Idem.)

(~𝑝 ∨ 𝑝) ∨ (𝑞 ∨ 𝑞) (Asoc.)

(~𝑝 ∨ 𝑝) ∨ (𝑞) (Idem.)

𝑉∨𝑞 (Comp.)

𝑉 (Idem.)

Lic. Felipe Mejía Rodríguez Ciclo Regular 2021 - 1