UNIVERSIDAD NACIONAL DE CAJAMARCA

FACULTAD DE CIENCIAS AGRARIAS Y PECUARIAS

ESCUELA ACADEMICO PROFESIONAL DE INDUSTRIAS ALIMENTARIAS

Para la Enseñanza Remota

ASIGNATURA: MATEMÁTICA

DOCENTE: Lic. ELADIO SÁNCHEZ CULQUI

NIVELACIÓN: 2020 - I

Cajamarca, diciembre del 2020

UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

1. INTRODUCCIÓN

Desde el punto de vista pedagógico, el área de Matemática se basa en la perspectiva pragmática –

constructivista, centrada en el aprendizaje significativo que desarrolla el estudiante, al resolver
problemas reales de su entorno: aplicando conceptos y las Tecnología de la Información y la
Comunicación (TIC), interpretando apropiadamente el lenguaje, planteando las estrategias necesarias y,
finalmente, argumentando sus respuestas para juzgar la validez del resultado final.

Según el contenido temático correspondiente a la primera semana estudiaremos La Lógica Proposicional.

La lógica no es solo más que una materia de estudio donde solo trata de números, premisas,
conclusiones, la lógica es algo que utilizamos a diario en nuestra vida, en la vida cotidiana es muy
importante conocer la lógica ya que con esta es donde se solucionan de una forma correcta los diversos
problemas y dilemas que se presentan en nuestro entorno.

El pensamiento lógico es importante para el estudiante y para toda persona porque le permite poner
orden en sus pensamientos, a expresar con claridad los mismos, a realizar interpretaciones o deducciones
correctas, a descubrir falsedades y prejuicios, así como a asumir actitudes críticas ante determinadas
situaciones. En tal sentido el propósito de aprendizaje es la simbolización adecuada de proposiciones
simples y compuestas diferenciando los operadores lógicos.
2. CONTENIDO TEMÁTICO
Proposiciones. Operadores lógicos: conjunción, disyunción, negación, Condicional, bicondicional.
Simbolización de proposiciones.
Leyes del álgebra proposicional

3. DESARROLLO:

SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL
Noción de Lógica
Lógica es la ciencia que estudia los procesos válidos del razonamiento humano.
La lógica es una ciencia formal, una ciencia de estructuras, cuyo objeto no es la verdad sino la validez de
dichas estructuras.
El tema central de la lógica es el análisis formal de las inferencias, esto es, establecer si la conclusión se
deriva lógicamente de las premisas. Por lo tanto, la tarea de la lógica es estudiar la validez o invalidez de las
inferencias.

PROPOSICIONES Y TÉRMINOS DE ENLACE

ENUNCIADO. Se denomina enunciado a toda frase u oración. Algunos enunciados son mandatos o
interrogaciones o son expresiones de emoción, otros en cambio son afirmaciones o negaciones que tienen la
característica de ser verdadera o falsa.

Ejemplos:

1. ¿Qué día es hoy?

2. ¡Viva el Perú!
3. Escribe en tu cuaderno
4. Prohibido hablar por celular.
5. La suma de dos números impares es par.
6. El rombo es un paralelogramo
7. 25>20
8. Los números positivos son menores que cero.
OBSERVACIÓN:
Los enunciados que expresan una exclamación, una interrogante, una emoción; son expresiones no
proposicionales, tales como los ejemplos 1, 2, 3 y 4.

PROPOSICIÓN:

Es un enunciado cuya propiedad fundamental es la de ser verdadera (V) o falsa (F), pero no ambas
simultáneamente.

Los ejemplos 5, 6, 7 y 8 son proposiciones.

Notación. Las proposiciones lógicas se denotan con letras minúsculas como por ejemplo: p, q, r, s, t, u,….
etc. Llamadas variables proposicionales.

SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

Cuando se trata de representar muchas proposiciones similares se usa subíndices para indicar cada una de

p1 , p 2 , p 3 ,......, pn
q1 ,q2 ,q3 ,........,q n
ellas, tales como:
r 1 ,r 2 ,r 3 ,..........,r n

El hecho de que una proposición “p” sea verdadera o falsa, simbólicamente, su valor de verdad se denotará
así: V(p)=V y si queremos expresar que es falso escribiremos: V(p) = F

Ejemplos:

1. p: Sócrates nación en Atenas v(p) = V

2. q: 6 y 8 son múltiplos de 3 v(q) = F
3. r: ……………………….. v(r) = V
4. s: ………………… v(s) = F
5. t:

NOTA: En las matemáticas las proposiciones fundamentales son:

- Los axiomas o postulados:.

- Los teoremas
- Los corolarios
- Los lemas.
 Los axiomas o postulados: es una proposición cuya validez se acepta sin demostración
 Los teoremas………………………………
 Los corolarios………………………………
 Los lemas…………………………………

ENUNCIADOS ABIERTOS

Son expresiones que contienen las palabras “el”, “ella”, y variables, no tienen la propiedad de ser verdadero o
falso, es decir, no son proposiciones.

Sin embargo, si a una de estas palabras y variables se les asigna un determinado objeto o valor, llamado
constante, el resultado es una proposición.

Ejemplos:

(a) El está escribiendo

(b) Q(x): 2x +5 < 8, x= 5……..15<5 ………
(c)
(d)

SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

VARIABLE. Es una cantidad susceptible de variar en cierto campo o recorrido. Las variables se representan
por las letras minúsculas x, y, z, t, u, v. estas letras reciben el nombre de variables indeterminadas.

Ejemplo:

(1) x2 + y2 = 4

(2) y = √ x+2

CLASES DE PROPOSICIONES:

1. Proposición simple
Son aquellos enunciados que tienen un solo sujeto y un solo predicado que afirma algo en torno a dicho
sujeto. No llevan ningún conectivo lógico
Ejemplos:
(1) p: 6 es divisor de 8 v(p) = v ( por conceptos de la aritmética)
(2) q: El inventor del termómetro es Galileo Galilei V(q) = v
(3)
(4)
(5)
2. Proposición Compuesta.
Son aquellas proposiciones que están constituidas por dos o más proposiciones atómicas, las cuales son
enlazadas por medio de conectivos lógicos; o es una negación.
Ejemplos:
p:
q:
r:

SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

Conectivos Lógicos (operadores proposicionales). Son símbolos que enlazan proposiciones atómicas, sin
formar parte de ellas. Sean las proposiciones “p” y “q”, luego:

Conectivo Lógico Símbolo Operación Simbolización Significado

Asociad.
…….y……… ¿ Conjunción p ¿ q pyq
…….0……. v Disyunción Pvq p o q ( o ambas)
inclusiva
…….o…..o…… Disyunción P o q pero no ambas
exclusiva
Si, ….entonces…. → condicional P →q S p, entonces q
…si y sólo sí…… ↔ bicondicional P ↔q p si y sólo sí
…….no…….. ~ Negación ~p No p
ni ……ni…… ↓ N. conjunta P↓q Ni p ni q
no…..o no….. | N. alterna P |q No p o no q

Todos estos conectivos lógicos (con excepción de la negación) son diádicos, esto es, permiten unir entre si dos
proposiciones. Con respecto al no, afecta por lo general a una proposición, es un conectivo monádico

OPERACIONES CON PROPOSICIONES

1. La conjunción o producto lógico

Dadas dos proposiciones p y q, la conjunción es el resultado de componer estas proposiciones con el
conectivo lógico “y”.
Principio Lógico: La conjunción de dos proposiciones es verdadera si ambas componentes son
verdaderas. En cualquier otro caso la conjunción es falsa.
Tabla de Verdad:
p ∧q

SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

V V

V F

F V

F F

Ejemplo: Determinar el valor de verdad de la proposición.

r: 9 es un número impar y coprimo.
Solución:
p:
q:
r: (pлq) ……v(pлq)= F
Observaciones.
 En el lenguaje ordinario existen otras expresiones que pueden traducirse como conjunciones, tales
como: Pero, además, sin embargo, aunque, también, incluso,…
Ejemplo:

Es necesario notar que la “y” no siempre cumple la función conjuntiva. Así la proposición:

 En otros casos la “y” no indica simple unión de proposiciones sino una consecuencia entre ellas.
Por ejemplo:
Ana fue a nadar y se ahogó
 Una conjunción puede estar dada por signos de puntuación: un punto seguido, una coma, un punto
y coma.
Por ejemplo.

2. Disyunción o suma lógica

La disyunción es la combinación de dos proposiciones p y q mediante el conectivo lógico “o”. como el
sentido del conectivo “o” es excluyente, se puede interpretar de dos maneras:
2.1. Disyunción inclusiva o débil

Es una proposición coligativa que resulta de unir las proposiciones p y q con el conectivo “o” al cual
se denota por el símbolo. “v” se escribe “p v q” y se lee p o q (o ambos). En los documentos legales se
utiliza “y/o” para indicar lo uno, o lo otro o ambos.

Ejemplo:

Luis es ingeniero o profesor de matemática

En consecuencia. La disyunción inclusiva de dos proposiciones es verdadera si por lo menos una de las
dos proposiciones es verdadera, es falsa cuando ambas son falsas.
SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

Tabla de verdad

p ∨q

V V

V F

F V

F F

Observaciones:

 Luis es médico o es profesor. Es la forma abreviada de: Luis es médico o Luis es profesor
 Ana o María aprobaron el curso. Equivale a la proposición: Ana aprobará el curso o María aprobará
el curso.

2.2. Disyunción exclusiva o fuerte

En este caso, la palabra “o” suele usarse en un sentido excluyente. También la unión de dos
proposiciones mediante las palabras: o….0,……..; o bien…….., o bien…….., recibe el nombre de
disyunción exclusiva o fuerte de dichas proposiciones.

Se simboliza por: p q que significa p o q, pero no ambas. Se simboliza también por: Δ,

Ejemplos

P: Cesar Vallejo nación en el Perú o nació en España.

En consecuencia: La disyunción exclusiva pΔq es verdadera sólo cuando una de las componentes es
verdadera, en cualquier otro caso es falsa.

Tabla de verdad:

p ⊻ q

V V

V F

F V

F F

3. La negación
Cuando una proposición es afectada por el conectivo monádico “no”, su valor de verdad cambia de V a F
ó de F a V. su función del negador o inversor es negar una afirmación o afirmar una negación.

SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

Notación: se simboliza por: ~p

Cuyo valor de verdad o falsedad queda determinada por la siguiente tabla:
p ~p

V F

V F

F V
Observaciones:
F V
 En las proposiciones matemáticas, se indica la negación con trazo inclinado sobre el signo.
Por Ejemplo:
4 no es menor que 6
 En muchos casos la palabra “no” puede eliminarse si se emplean términos adecuados.
Por ejemplo:
5 no es un número par……. La negación es: 5 es un número impar
 La proposición “no p” no afirma exactamente lo opuesto a lo que afirma la proposición “p” , sólo
niega que se cumple “p”.
 La negación puede también afectar a una proposición molecular, en este caso se utilizan los términos:
nunca p, jamás p, tampoco p, no es cierto que p, no es el caso que p, es falso que p, es absurdo que p,
es innegable que p, ….
Ejemplos:
1. No es cierto que un número es positivo y negativo.
2. No es el caso que 16 sea múltiplo de 6 o que 4 + 3< 9

La negación se aplica a la conjunción y a la disyunción con excepcionales resultados. Así obtenemos:

3.1. Negación conjunta (binegación).

Llamada función de Nicod. Dadas dos proposiciones p y q, se define la negación conjunta de p y q a la

proposición compuesta “p ↓ q” que se lee “ni p ni q”; y es verdadero sólo cuando sus dos componentes
son falsos, siendo falsa en los otros casos.

Es decir: La negación conjunta es la negación de la disyunción inclusiva: Equivalencia:

p⇩q≡ p∧ q

p Q p ↓q Pvq
V V F V
V F F V
F V F V
F F V F

Ejemplo:
Ni cesar Vallejo fue escritor ni Mariátegui fue poeta.
SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

3.2. Negación alterna

Llamada incompatibilidad o función de Sheffer. Dadas dos proposiciones p y q, se define la negación
alterna de p y q a la proposición compuesta “p | q” que se lee “no p, o no q”; y es verdadera sólo cuando
por lo menos uno de sus componentes es falso, es falso sólo cuando las dos componentes son verdaderas.

Es decir: La negación alterna es la negación de la conjunción. Es decir:

p∨q ↔¬ ( p ᴧ q )=¬ p v ¬ q
Se lee “no p o no q”
TABLA DE VERDAD

p Q p∨q Pᴧq
V V F V
V F V F
F V V F
F F V F

Ejemplo:

4. Condicional o Implicación. Una proposición condicional es la combinación de dos proposiciones con “si
p, entonces q”, la proposición que aparece entre “si y entonces” se llama antecedente y la proposición que
le sigue a la palabra “entonces” se llama consecuente. Se simboliza p → q, o p q; que significa: Si p,
entonces q; p implica a q; p sólo s q; q, si p; p es condición suficiente para que q, etc.

El principio Lógico o regla de la implicación es: La condicional es falsa, sólo si el antecedente es V y el

consecuente es F, siendo verdadera en todos los demás casos.
p → q

V V

V F

F V

F F

Ejemplo:
1. Si un número es par, entonces es múltiplo de 2.

FORMA ABREVIADA
(1) Se puede suprimir la palabra entonces sin que se altere la condicional. ( pero nunca la palabra si)
Ejemplo: Si un número es par, es múltiplo de dos.
(2) En algunos casos, tanto el si como el entonces se puede sobre entender.
SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

Por ejemplo: Estudiar es a triunfar = Si estudias, entonces triunfas.

(3) La palabra cuando reemplaza al si.
Por Ejemplo:
Cuando un número es par, entonces es múltiplo de dos.

Es importante analizar la relación que existe entre las proposiciones que forman una condicional, para
dilucidar cuál es el antecedente y cuál es el consecuente.

VARIANTES:

 Forma: Antecedente – Consecuente ( p → q)

Esta es la forma más utilizada, en este caso las palabras que pueden reemplazar a si p, entonces q, son
las siguientes: por lo tanto, luego, en consecuencia, de modo que, en conclusión, de ahí que, de manera
que, se colige, sólo cuando,…

Ejemplo:

 Forma : Consecuente – Antecedente (p ← q)

Las proposiciones condicionales de esta forma se pueden reconocer cuando las palabras de enlace sean
las siguientes: puesto que, ya que, porque, cada vez que, si, dado que, siempre que, pues, en vista que,
…
Ejemplo:

La proposición condicional está asociada a otras tres proposiciones importantes:

 Proposición Recíproca. La proposición recíproca que corresponde a la condicional p → q es: q → p

Ejemplo:
Si hace calor, entonces los cuerpos se dilatan.
Recíproca:
 Proposición inversa o contraria. La proposición inversa que corresponde a la condicional p → q es:
~p→~q
Ejemplo:
Si x es mayor que cero, x es positivo.
Contraria:
 Proposición contrarecíproca. La proposición contrarecíproca que corresponde a la condicional p → q
es: ~q→~p.
Ejemplo:

SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

Si dos rectas son perpendiculares a una misma recta, entonces son paralelas.
Contraria:

5. Bicondicional. Cuando dos proposiciones están unidas por el conectivo “sí y solo si” se denomina
bicondicional.

Notación: El bicondicional de las proposiciones p y q se simboliza por: p ↔q

Se lee “p si, y solamente si q”.

Donde: p ⇿ q=¿ ( p → q) ᴧ(q → p)
También se denota por:
Ejemplo:
Un triángulo es equilátero si y sólo si es equiángulo.
La bicondicional de dos proposiciones se define también como la conjunción de la proposición
condicional con su recíproca.
El principio lógico de la bicondicional es: La bicondicional es verdadera solamente cuando las dos
componentes p y q tienen el mismo valor de verdad, en cualquier otro caso es falsa.

p ⇿ q

V V

V F

F V

F F

Observación: otras expresiones que indican una bicondicional son: cuando y solo cuando, entonces y solo
entonces, si y solamente si, es una condición necesaria y suficiente, siempre que y solo cuando, es lo
mismo que, es idéntico a, si y solo cuando, entonces y sólo entonces.
Ejemplo:
1. Un número es múltiplo de 5 si y sólo sí termina en cifra 0 ó 5.
2. ….

SIMBOLIZACIÓN DE PROPOSICIONES

Simbolizar una proposición molecular consiste

en reemplazar cada una de las proposiciones atómicas que intervienen por una variable proposicional y cada

SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

Los signos de agrupación (paréntesis, corchetes, llaves) se usan para indicar la jerarquía de los conectivos
lógicos y así evitar ambigüedades en la estructura lógica de una proposición molecular.

Ejemplos: Simbolizar las siguientes proposiciones:

1. Luis es director de una empresa si tiene el mayor número de acciones; y si tiene el mayor número
de acciones, o es un economista o tiene mucho dinero. Ocurre que Luis tiene mayor número de
acciones. En consecuencia, o es un economista o tiene mucho dinero.

solución
p = Luis es director de una empresa.
q = Luis tiene mayor número de acciones.
r = Luis es economista.
s = Luis tiene mucho dinero.

Simbolización: [ (q → p) ʌ [ q → ( r ∆ s ) ʌq ] ] → ( r ∆ s )

2. Eres ingeniero o arquitecto, pero no eres arquitecto. Por tanto, eres ingeniero.
Solución:

Sean: p: Eres ingeniero

q: eres arquitecto

Reemplazando variables:

[P o q, pero ~q]. Por tanto p

Simbolización

[( p∨q )∧¬qv ]→ p

3. Es objetable que, ni haya fantasmas ni existan hombres inmortales.

4. O los mamíferos son vertebrados o invertebrados. Pero, es absurdo que los voladores sean bípedos.

SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

5. Si en marte no hay agua, entonces no hay vida; en consecuencia, no hay marcianos ni platillos voladores.

EVALUACIÓN DE ESQUEMAS MOLECULARES

La combinación de variables proposicionales y conectivos lógicos por medio de los signos de agrupación, se
denomina ESQUEMAS MOLECULARES.

En cada esquema molecular sólo uno de los conectivos es el de mayor jerarquía y es el que le da nombre a
dicho esquema. Es decir, según el resultado que se obtenga en el operador de mayor jerarquía, los
esquemas moleculares se clasifican en contingentes (consistentes), tautológicos y contradictorios.
Jerarquía de conectores

o Bicondicional. . . . .. . . . . . . . . . . . . . . .. . . . ↔
o Disyunción fuerte. . . . . . . . . . ... . . . . . . . . . . . Δ
o Condicional. . . . . . . . . . . . . . . . . . . . . . . . . . . . . →
o Conjunción y disyunción. . . . . . . . . . . . . . . . . . . ¿∨¿ ¿
o Negación. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ~, o también ¬¿ ¿

Por ejemplo:

A: [( p∨q )∧¬qv ]→ p ……Esquema implicativo

B: (q→r )∨( p→r ) ………. Esquema disyuntivo inclusivo

Evaluación de Esquemas Moleculares por Tabla de Valores

La evaluación de esquemas moleculares consiste en hallar los valores del operador principal o conectivo de
mayor jerarquía a partir de la validez a partir de cada una de las proposiciones simples.

Para realizar la evaluación del esquema lógico se necesita de las denominadas tablas de verdad que se
representa así:

VAR. PROPOSICIONALES ESQUEMA MOLECULAR

Valores de verdad Operaciones según definición

Según el resultado que se obtenga en la columna correspondiente al conectivo de mayor jerarquía, los
esquemas moleculares se clasifican en:

SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

 Esquema Tautológico. Un esquema molecular es tautológico cuando, los valores de su conectivo de

mayor jerarquía son todos verdaderos

Ejemplo: Evaluar el siguiente esquema molecular: Q= [ p∧( p→ q ) ] → p

Mediante tablas de v.v

P q [ p∧( p→ q ) ] → p
V V
V F
F V
F F

 Esquema contradictorio. Un esquema

P q r [ ¬( p∧q ) → ¬r ] ↔ ( r∧¬ ( p∨¬q ))
V V V F V F molecular es contradictorio cuando
en el V V F F V V resultado del operador principal
V F V V F F
todos los V F F V F V valores son falsos.
Ejemplo: F V V V F F Evaluar el siguiente esquema
F V F V F V
molecular, P=
F F V V F F
F F F V F V
[ ¬( p∧q ) → ¬r ] ↔ ( r∧¬ ( p∨¬q ))
Mediante tablas de v.v

 Esquema consistente o contingente. Un esquema molecular es consistente cuando en su resultado de su

conectivo de mayor jerarquía hay por lo menos una verdad o una falsedad.

Ejemplo: Evaluar el siguiente esquema molecular

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

SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

VALOR DE VERDAD DE UNA PROPOSICIÓN MOLECULAR

Para determinar el valor de verdad de una proposición molecular, es decir para saber si es verdadera o es falsa,
se utiliza también las tablas de verdad (t.v) pero en forma simplificada o se puede usar niveles que es una
variante del método de las t.v.
Ejemplos: Determinar el valor de verdad de la siguiente proposición:
Si 2 + 3 = 6 ó 2 = 3 entonces 2 < 3, si y sólo sí, 2 ≠3 y 2<3
Solución
1° simbolización
Sean: p: 2 + 3 = 6 …………v(p)= F
q: 2 = 3 ……………. v(q)= F
r: 2<3 ……………… v(r)= V

Luego: [ ( p∨q ) → r ] ↔( ¬ p∧r )

2°. Determinamos el valor de verdad:

p q r [ ( p∨q ) → r ] ↔( ¬ p∧r )
F F V F V V V V

Por lo tanto, la proposición es verdadera.

EQUIVALENCIA E IMPLICACIÓN
Es importante distinguir los conceptos de equivalencia e implicación de los conceptos bicondicional e
implicación respectivamente.
(A) IMPLICACIÓN:
Un esquema o una proposición molecular A implica a B, cuando unidos por el condicional “→”, estando A
como antecedente y B como consecuente, el resultado es una tautología.
Notación: A → B, se lee A implica a B
Es decir: A implica a B Sii A → B es una tautología
Esto significa:
i) Si A implica a B, entonces A → B es una T
ii) Si A → B es una T, entonces A implica a B
Ejemplo: Determinar si A implica a B donde:

A: p↔(¬qv ¬r )

B: r →¬( p∧q )

SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

(B) EQUIVALENCIA LÓGICA

Dos proposiciones compuestas A y B son lógicamente equivalentes, cuando unidos por la bicondicional “↔”
el resultado es una tautología.
NOTACIÓN: A≡B , se lee A es equivalente a B ó B es equivalente a A
Es decir: A ≡ B ↔ ( A ↔ B es una tautología), lo cual significa que:
(i) A≡B, entonces A ↔ B es una tautología
(ii) Si A ↔ B es una tautología, entonces A≡B

Si A no es equivalente a B se escribe: A B ó A B
NOTA: Si A es equivalente a B, entonces B es equivalente a A.
Ejemplo: Determinar si las proposiciones siguientes son equivalentes:

A: ( p →q )∧~(~ p∧q )

B: ~(~ p ↔q )

PRINCIPALES LEYES LÓGICAS O TAUTOLOGÍAS

Un esquema proposicional es una ley lógica si y sólo sí, cualquiera que sea la interpretación
formalmente correcta que se haga de la misma, se obtiene como resultado una verdad lógica, es
decir, una tautología.

Las principales leyes lógicas o principios lógicos son las siguientes: Leyes lógicas o clásicas,
equivalencias notables e implicaciones notables.

1. Leyes Lógicas clásicas

1.1. Ley de identidad o principio de identidad (reflexividad)
p→ p≡T
Toda proposición es idéntica a sí misma. Se expresa por: p↔ q≡T
Ejemplo:

1.2. Ley de no contradicción

Una proposición no puede ser verdadera y falsa a la vez: se expresa por: ~(p ¿ ~p)≡ T
Ejemplo:

SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

1.3. Ley del tercio excluido

Una proposición o es verdadera o es falsa, no hay una tercera posibilidad. Se expresa por:
P v~p ≡ T
Ejemplo:
Un número es múltiplo de 5 o no es múltiplo de 5.

2. Equivalencias notables. Son leyes lógicas que sirven para transformar esquemas o proposiciones
y obtener sus respectivas equivalencias. Esto implica que uno de los equivalentes se deduce
lógicamente del otro por este motivo se puede reemplazar un miembro por el otro, en todos los
lugares en las que aparezcan.
2.1. Doble negación. (D.N). Llamada también de involución.
La negación de la negación es una afirmación, es decir dos negaciones de igual alcance equivale a
una afirmación. ~~p ≡ p; ~(~p) ≡ p
Ejemplo:

2.2. Idempotencia (Idem). Las variables que se repiten en una cadena de conjunciones o
disyunciones, se simplifican
- De la conjunción: p∧p ≡ p
- De la disyunción: p∨p ≡ p
En general: p∧p∧…∧p ≡ p
p∨p…∨p ≡ p
2.3. Conmutatividad (comm). Si en las proposiciones conjuntivas, disyuntivas y bicondicionales
se permutan sus respectivas componentes, sus equivalentes significan lo mismo, esto es:
(a) p ∧ q ≡ q ∧ p
(b) p ∨ q≡ q ∨ p
(c) p ↔ q ≡ q ↔p
Ejemplo:

Asociatividad (Asoc). En un esquema conjuntivo, disyuntivo o bicondicional aparecen más de

una conjunción, disyunción y bicondicional, respectivamente, con igual alcance, ellas pueden
agruparse indistintamente.
(a) (p ∧ q) ∧r ≡ p ∧ (q ∧ r)

(b) (p ∨ q) ∨ r ≡p ∨ (q ∨ r)

SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

(c) (p ↔ q) ↔ r ≡ p ↔ (q ↔ r)
2.5. Distributividad (Dist).
(a) De la conjunción con respecto a la disyunción.
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

(b) De la disyunción con respecto a la conjunción

p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)

(c) De la condicional con respecto a la conjunción

p→ (q ∧ r) ≡ (p → q) ∧ (p → r)

(d) De la condicional con respecto a la disyunción

p → (q ∨ r) ≡ (p → q) ∨ (p →r)
2.6. Leyes de De Morgan (De M).
(a) Negación de una conjunción. La negación de la conjunción de dos proposiciones equivale
a una disyunción de las negaciones de cada una de las proposiciones.
~ (p ∧ q) ≡ (~p ∨ ~q)
Ejemplo:

(b) Negación de una disyunción. La negación de la disyunción de dos proposiciones equivale

a una conjunción de las negaciones de cada una de las proposiciones:

∼( p ∨ q)≡ ∼ p ∧∼ q

Ejemplo:

Nota: También se puede obtener las siguientes equivalencias por de De Morgan.

(p ∧ q) ≡ ~ (~p ∨ ~q)
(p v q) ≡ ~ (~p ∧ ~q)
2.7. Leyes del condicional. (Cond)
(a) Por definición, la condicional equivale por su valor de verdad a la expresión: “ Es falso
que el antecedente sea verdadero y falso el consecuente”
Es decir: p →q ≡ ∼ p ∨ q
(b) Negación de la condicional: ~ (p → q) ≡ p ∧ ~q

2.8. Ley de la Bicondicional. (Bicd)

SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

( p ↔q )≡( p→q )∧( q → p )

( p ↔q )≡¬ [ ( p∨q )∧¬( p∧q ) ]
( p ↔ q )≡¬ ( pΔq )
¬( p ↔ q )≡ p ↔¬q

2.9. Leyes de absorción (Abs)

p ∧ (p ∨ q) ≡ p
p ∧ (~p ∨ q) ≡ p ∧ q
p ∨ (p ∧ q) ≡ P
p ∨ (~p ∧ q) ≡ p ∨ q

2.10. Leyes de Transposición (Trans).

(p → q) ≡ (~q → ~p)

(p ↔ q) ≡ (~q↔~p)
Los miembros de un condicional y bicondicional pueden ser transpuestos si se niegan cada
uno de ellos.
2.11. De complementación (Comp)
(a) p v ~p ≡ V
(b) p ∧~p ≡ F
2.12. Leyes de Exportación (Exp)
( p∧q ) →r≡ p→( q→r )
( p1 ∧ p2 ∧.. .. . .. .∧ pn ) →r≡[ ( p1 ∧p 2∧. . .. .. . .∧ pn−1 ) ] → ( p n →r )
2.13. Formas normales para la conjunción y disyunción (Leyes de identidad)
(a) T ∧ T ≡ T
(b) p ∧ V ≡ p
(c) p ∧ F ≡ F
(d) p v V ≡ V
(e) p v F ≡ p
(f) C v C ≡ C
(g) C v p ≡ p
(h) T v p ≡ T
(i) C ∧ p ≡ C
(j) T ∧ p ≡ p
(T = tautología, C= contradicción, P= esquema molecular)

SEMANA 1
UNIVERSIDAD NACIONAL DE CAJAMARCA LÓGICA PROPOSICIONAL

SEMANA 1