Universidad Nacional José Faustino Sánchez Carrión

Facultad de Medicina Humana

ESCUELA PROFESIONAL DE ENFERMERÍA

Curso: Matemáticas

UNIDAD DIDÁCTICA I: LÓGICA PROPOSICIONAL Y CONJUNTOS

Lógica, enunciado, proposición, clases.
Conectivos lógicos, tablas de verdad
Semana 01
Sistema proposicional
Implicación y Equivalencia lógica.

Docente: Ma. Aida Nerida F alcón Cerna

Huacho - Perú
Lógica Matemática UNJFSC

1. DEFINICIÓN DE LÓGICA.- La Lógica es el estudio de los métodos y principios

utilizados para distinguir el razonamiento correcto del razonamiento incorrecto
[Copi & Cohen, 1998, p. 3].
2. IMPORTANCIA DE LA LÓGICA
A pesar de sus limitaciones que tiene la Lógica, presenta aspectos
importantes. Según, Gorski (1998), el estudio del pensamiento que realiza la
Lógica como ciencia es importante, porque:
➢ Nos permite conocer las leyes, reglas y procedimientos de nuestro
pensamiento.
➢ Habitúa a determinar el sentido exacto de las palabras y oraciones
empleadas al expresarse.
➢ Desarrolla la capacidad para discernir las diferencias existentes entre los
pensamientos que posean una misma expresión verbal.
➢ Ayuda a evitar la falta de claridad, las inconsecuencias y contradicciones
en que se incurre al razonar.
➢ Ayuda a descubrir los errores y a comprobar el propio pensamiento
cuando procede a la obtención de un conocimiento inferido, cuando se
hace uso de la demostración lógica.
➢ Ayuda en gran medida a la Ciencia de la Matemática. En el desarrollo de
la Matemática se hizo necesario recursos lógicos para solucionar
demostraciones y problemas matemáticos, motivo por el cual surgió, a
principios del siglo XX, una nueva disciplina, la Lógica Matemática.

3. ENUNCIADO.- Se denomina así a toda frase u oración.

Ejemplos:
a) ¡Hola como estas!
b) Florence Nightingale es la precursora de la enfermería moderna.
c) x + y = 3
d) 41 es un número impar.
e) ¿Qué hora es?

2 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

4. Variable.- Es una cantidad suceptible de variar en un determinado campo o

recorrido, a las variables representaremos por las letras minúsculas x, y, z, a
estas variables se les dá el nombre de variables indeterminados.
Ejemplo:
𝑦 = √𝑥 + 3 es un número real, si x es un número real que sea mayor o
igual a 5. El campo o recorrido de x es mayor o igual a 5 (𝑥 ≥ 5).

5. ENUNCIADO ABIERTO.- Es aquel enunciado que involucra una o varias

variables, talque al tomar cualquier valor dentro de su dominio, el enunciado
se transforma en una proposición. Los enunciados abiertos usan las palabras
él, ella o las letras x, y, z, …, etc. No tienen la propiedad de ser verdaderos o
falsos, es decir, no son proposiciones.
Ejemplos:
a) x > y - z.
b) x es estudiante de enfermería.
c) X, y, z no son profesionales.
d) Ella es enfermera.

6. ENUNCIADO INDETERMINADO.- Son aquellos que no se les puede asignar

con precisión algún valor de verdad o falsedad es decir una oración
imperativa, exclamativa, interrogativa, dubitativa, desiderativa, etc.
Ejemplos:
a) ¡ Deténgase!
b) Deseo que seas feliz.
c) ¿Cómo estás?
d) Facultad de Medicina.
e) Espero ser un profesional exitoso.

7. PROPOSICIÓN.- Es todo enunciado al que se le designa exactamente uno de

los valores:
Verdadero ( V ) o Falso ( F ), pero no ambas.
Toda proposición consta de tres partes: sujeto, verbo y un complemento
referido al verbo. La proposición es un elemento fundamental de la Lógica
Matemática.

3 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

Ejemplos:
a) 17 – 3 = 14. ( V )
b) 4 es un número impar. ( F )
c) La Enfermería es una ciencia fáctica. ( V )
d) Florence Nightingale nació en Italia. ( V ).
e) Huacho es la capital del Perú. ( F )

8. PROPOSICIONES EQUIVALENTES.- Dos proposiciones son equivalentes si

tienen el mismo valor de verdad.
Ejemplo:
p : Bolivia no tiene costa marítima V( p ) = V
q : 4 es un número par V( q ) = V

9. CLASES DE PROPOSICIONES
9.1. PROPOSICIÓN SIMPLE (ATÓMICA): Son aquellas que están
compuestas por una sola proposición.
Ejemplos:
➢ La lluvia es un fenómeno natural.
➢ 5 es inverso aditivo de -5.
Pueden ser de dos tipos:
a. PREDICATIVA.- Cuando establece una característica o cualidad del
sujeto.
Ejemplos:
➢ Pablo es un profesional exitoso.
➢ Huacho es una ciudad pequeña.

b. RELACIONANTE.- Cuando establece una comparación entre dos o

más sujetos.
Ejemplos:
➢ Jorge es más fuerte que Luis.
➢ Pedro y Juan son profesionales exitosos.

9.2. PROPOSICIÓN COMPUESTA (MOLECULAR O COLIGATIVA): Son

aquellas que están constituidas por dos o más proposiciones simples.
Ejemplos:

4 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

➢ Un triángulo es equilátero si y solo si tiene tres lados iguales.

➢ Si Manuel estudia entonces aprobará el curso.
➢ Carlos estudia sin embargo tiene problemas de conducta.

10. CONECTIVOS LÓGICOS

Son términos que nos permiten formar proposiciones compuestas. Entre
estos tenemos:
a) NEGACIÓN ( ~ ) : Es un conectivo que afecta directamente a una
proposición o a un conjunto de proposiciones. Tiene como significado
no, ni, nunca, …, etc.

No es cierto que p Es absurdo que p

Es falso que p Es inadmisible que p
Nunca p Jamás p
No ocurre que p Ni p
Es mentira que p Es imposible que p
No es el caso que p Es erróneo que p
Nadie que sea p De ningún modo p
No es verdad que p Es incierto que p
No siempre p Es inconcebible que p

Ejemplos: Sean las proposiciones:

p : Laura nació en Huacho.
q: Mabel estudia Enfermería.

Su negación será:
~ p : Laura no nació en Huacho.
~ q : No es cierto que Mabel estudie Enfermería.

Valor de verdad:

p ~p
V F
F V

5 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

b) CONJUNCION (  ) : Se utiliza cuándo se tiene el término de enlace

“y”. En otros casos se tiene significados como:

A la vez p y q p, q
p pero q p también q
p mas q p igualmente q
p tanto q Tanto p como q
p sino q p a pesar de q
p además q p a menos que q
p a la vez q p de la misma forma que q
p sin embargo q p no obstante q
No sólo p sino también q p al igual que q
p así mismo q Siempre ambos p con q
p incluso q p aún cuando q
p así como q p más aún q
p del mismo modo q p aunque q
p es compatible con q p también q

Se simboliza:

p
Valor de verdad:

p  q

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

Ejemplos:
➢ Andrea es muy responsable, además es una profesional
exitosa.

6 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

Proposiciones simples:
p: Andrea es muy responsable.
q: Andrea es una profesional exitosa.
Simbolizando tenemos: p  q.
➢ El número dos es par, sin embargo es primo.
Proposiciones simples:
p: El número dos es par.
q: El número dos es primo.
Simbolizando tenemos: p  q.

➢ Algunos han nacido virtuosos, otros han conseguido la virtud y

a otros les ha sido impuesta.
Proposiciones simples:
p: Algunos han nacido virtuosos.
q: Algunos han conseguido la virtud.
r: A otros se les han impuesto la virtud.
Simbolizando tenemos: p  q  r.

En otros casos del lenguaje ordinario, la palabra “y” no necesariamente

indica conjunción, puede ser solo una unión o una relación.
Ejemplo:
➢ Mi gato tomó leche con limón y murió.
Esta proposición no significa una simple unión sino una relación de
causa y efecto, lo que permitirá simbolizar no como una conjunción
sino como una condicional.
Otro caso es cuando se da una relación entre elementos.
Ejemplo:
➢ Andrés y Daniel son hermanos.
La relación se da entre Andrés y Daniel lo que impide que se puedan
descomponer.
Una regla practica para distinguir unos casos de otros es que se puedan
separar y aplicar la ley conmutativa.
Ejemplo:
➢ La chompa es gruesa y la camisa delgada.

7 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

➢ La camisa es delgada y la chompa gruesa.

Proposiciones simples:
p: La chompa es gruesa.
q: La camisa es delgada.
Simbolizando tenemos: p  q  q  p (Es comutativa)

c) DISYUNCION DEBIL (INCLUSIVA o INCLUYENTE) ( v ) : Es la

operación que vincula proposiciones atómicas o moleculares, por medio
del conectivo “o” significa (y/o). Indica dentro de la proposición que la
ocurrencia de una de ellas no descarta la ocurrencia de la otra.
Otras formas como podemos expresar este conectivo:
poq p o en todo caso q
p a no ser que q p o también q
p salvo que q P o bien q
Al menos uno de los dos p o q P o sino q
p alternativamente q

Valor de verdad:

p v q
V V V
V V F
F V V
F F F

Ejemplo:
➢ El veneno es mortal o dañino.
Proposiciones simples:
p: El veneno es mortal.
q: El veneno es dañino.
Simbolización: p  q.
Si las dos afirmaciones fueran falsas toda la expresión seria falso.

➢ 3 + 6 = 9 o 4 + 4 = 12.

8 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

Proposiciones simples:
p: 3 + 6 = 9.
q: 4 + 4=12.
Simbolización: p  q.
Como p es verdadero y q es falso entonces toda la expresión es
verdadero.

d) DISYUNCION FUERTE( EXCLUSIVA O EXCLUYENTE ) ( v ).- Tiene

como significado “O…o…”, vincula dos proposiciones atómicas o
moleculares. Indica dentro de una proposición molecular la ocurrencia
de una de los hechos más no la de ambos.
Otra forma de simbolizar es: 
O p o q p no equivale a q
No es cierto que, p equivale a q O bien p o bien q
No es equivalente p con q O solo p o solo q
p a menos que solamente q p salvo que únicamente q
p excepto que sólo q p o bien necesariamente q
p o exclusivamente q p no es lo mismo que q

Valor de verdad:

p  q
V F V
V V F
F V V
F F F

Ejemplo:
➢ Luis se encuentra en Lima o en Brasil.

Proposiciones simples:
p: Luis se encuentra en Lima.
q: Luis se encuentra en Brasil.

9 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

Simbolización: p  q
Por el mismo significado de la expresión una excluye a la otra, en
consecuencia se trata de una disyunción exclusiva. En el caso de que
una de las afirmaciones será verdadera y la otra falsa toda la expresión
será verdadera en caso contrario será falso.

➢ O Julia estudia en la Universidad o en un Instituto.

Proposiciones simples:
p: Julia estudia la Universidad.
q: Julia estudia en un Instituto.
Simbolización: p . q

e) CONDICIONAL ( → ) .- Cuando se usa el conectivo “Si … entonces

...”.Su simbolización también se puede representar como: “”, “→”.
Valor de verdad:

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

Ejemplo:
➢ Si el número 6 es divisible por 2 entonces es un número impar.
Proposiciones simples:
p: El número 6 es divisible por 2.
q: El número 6 es un número par.
Simbolización: p → q
El antecedente es verdadero pero el consecuente es falso toda la
expresión será falsa.

10 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

Existen otras formas equivalentes de enunciar una expresión que

contenga el conectivo condicional.

FORMA DIRECTA : Donde p es llamado antecedente y q consecuente.

Si p , entonces q Siempre p entonces q.
Si p,q Como p q
p por consiguiente q p es una condición suficiente de q.
p luego q p de modo que q
p de manera que q p se concluye q
p de ahí que q p de ahí se sigue q
p por lo tanto q p así pues q
p en consecuencia q p se deduce q
Cuando p, q p es una condición suficiente de q
Si p q Suponiendo que p, q
En cuanto p por tanto q P implica q
Porque p por eso q En cuanto p por tanto q

Se simboliza:

p→
FORMA INVERSA: es importante señalar que no siempre el
antecedente se encontrará primero, puede darse el caso que se
encuentre después. En estos casos es necesario ordenar para efectos
de simbolizar correctamente la proposición.
Ejemplo:
➢ Eres cantante si tienes talento
Ordenando:
➢ Si tienes talento eres cantante
Simbólicamente sería: q → p
Donde:
q: Tienes talento.
p: Eres cantante.

11 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

Otros ejemplos en expresiones equivalentes que tienen que ordenarse:

p cada vez q p a condición de que q
p dado que q p es una condición necesaria de q
p ya que q p si q
p puesto que q p siempre que q
p porque q p pues q
p supone q p en vista de que q
p suficiente que q p a condición de que q

Se simboliza:
q→
f) BICONDICIONAL (  ) .- Significa “sí sólo sí” , en el lenguaje ordinario
se pueden encontrar otras expresiones equivalentes como: entonces y
sólo entonces, cuando y sólo cuando, es una condición necesaria y
suficiente de, si y solamente si, etc. También se puede simbolizar como
: “”, “”.

p siempre y cuando q p es condición necesaria y suficiente para q

p es equivalente a q p cuando y solo cuando q
p es lo mismo que q p por lo cual y según lo cual q
p cada vez que sólo si q p implica y está implicado por q
Si y sólo si p, q p siempre que y sólo cuando, q

Valor de verdad:

p  q
V V V
V F F
F F V
F V F

12 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

Ejemplo:
6 es un número par si y solo si 6 es divisible por 2.
Proposiciones simples:
p: 6 es un número par.
q: 6 es divisible por 2.
Simbolización: p  q
La expresión será verdadera ya que ambas afirmaciones son
verdaderas.
En Resumen:

Bicondicional
Condicional
Conjunción

Disyunción

Disyunción
Exclusiva.
Negación.

Inclusiva

.
p q p pq pq Pq p→q P q

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

11. SISTEMAS PROPOSICIONALES

Como nos interesa examinar los mecanismos de razonamiento con precisión
matemática y considerando que esta precisión requiere que el lenguaje que
usemos no dé lugar a confusiones, el mismo que conseguiremos haciendo uso
del lenguaje simbólico donde cada símbolo tenga un significado bien definido.
En consecuencia dado un enunciado o frase en lenguaje natural para
representarlo en lenguaje simbólico seguiremos los siguientes pasos:
1° Leer repetidas veces el enunciado hasta identificar las proposiciones simples
diferentes.
2° Identificar las proposiciones simples con letras minúsculas p, q, r, … etc.
(Simbolización de proposiciones simples)
3° Identificar los conectivos lógicos.

13 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

4° Identificar los signos de puntuación coma ( , ), punto y coma ( ; ), punto

seguido o punto aparte ( . ). Estos signos de puntuación son los que determinan
la jerarquía.
Al concluir estos pasos obtendremos un sistema proposicional.
¿Qué es un sistema proposicional?
Un sistema proposicional es la combinación de proposiciones simples y
conectivos lógicos por medio de signos de agrupación, estos signos evitan la
ambigüedad operativa y carencia de sentido de las frases entre ellos tenemos:
( ) , [ ] , { }, etc.
En todo sistema proposicional sólo uno de los conectivos es el de mayor
jerarquía llamado dominante y es éste el que da nombre a dicho sistema.

Ejemplos:
• ~p → ( q  r ) : Sistema condicional.
• [ ( p  q )  ~r ]  p : Sistema bicondicional.
• ~[ ( p  q ) → (~p  r ) ] : Sistema negativo.
• p  { q  [ ( r  s)  ( t  u ) ] } : Sistema bicondicional

Ejemplo: De acuerdo a los criterios anteriormente señalados dado el

encunciado en lenguaje natural representarlo en lenguaje simbólico es
decir obtener un sistema proposicional a partir de:
La producción minera crece, si solo si los salarios son altos y hay inversión de
capitales. La producción minera no crece. Luego, o los salarios no son altos o
no hay inversión de capitales.
Solución:
1° Leemos repetidas veces el enunciado hasta identificar las proposiciones
simples diferentes.
2° Identificamos las proposiciones simples con letras minúsculas:
p: La producción minera crece.
q: Los salarios son altos.
r: Hay inversión de capitales
p, si solo si q y hay inversión de capitales. no p. Luego, o no q o no r.

14 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

3° Identificamos los conectivos lógicos.

Si solo si ↔
y ∧
no ∼
Luego →
o …. o … ∨
4° Identifique los signos de puntuación: los signos de puntuación por lo general
determinan la jerarquía, aunque en algunos casos como la coma o el punto y
coma pueden hacer a su vez las veces de conjunción o de condicional. Si
después del punto seguido hubiera un término que indique condición como en
el enunciado hay un punto seguido después dice “Luego” esto me indica que
debo usar una condicional.

p,  q  r . p . → q ∨ r

Por lo tanto el enunciado quedaría simbolizado por el sistema proposicional:

  p  ( q  r )   p  → (  q ∨  r )

Ejemplo: Traducir en el lenguaje natural el siguiente sistema proposicional:

[ 𝒑 → ( 𝒒 ∧ 𝒓) ] ∧ ~( 𝒒 → ~𝒑)
Solución:
Sea: p : Chocano fue un notable poeta.
q : Chocano fue conocido como el cantor de América.
r : Chocano fue nombrado por Gonzales Prada como el “Poeta
Nacional del Perú”.
Si Chocano fue un notable poeta, fue conocido como el cantor de América y
nombrado por Gonzales Prada como el “Poeta Nacional del Perú”. Es falso que,
Chocano no fue un notable poeta ya que fue conocido como el cantor de
América.

12. TABLAS DE VERDAD

Anteriormente se analizó la representación de un sistema proposicional a partir
de un enunciado en lenguaje natural. En el lenguaje simbólico de la lógica existen
sistemas que nos permiten visualizar las reglas de los conectivos combinando

15 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

los posibles valores de verdad que pueden tener las proposiciones simples que
constituyen proposiciones compuestas; por tal motivo, estas gráficas reciben el
nombre de Tablas de Verdad.
Recuérdese que cada proposición simple tiene dos posibilidades: ser falsa o ser
verdadera, pero en la medida en que se combinan o enlazan proposiciones, es
decir, en la medida que se forman enunciados compuestos complejos, la
combinación de sus valores se van haciendo a su vez mas complejos. Las
mismas tablas de verdad nos muestran cómo dos proposiciones enlazadas
tienen cuatro posibles combinaciones de sus valores.
¿Qué hacer, entonces, para saber cuántas posibles combinaciones de valores
tienen enunciados más complejos?
Para ello analizaremos la distribución de una tabla de verdad.

12.1. TABLAS DE VALORES DE VERDAD O WITTGENTEIN

Para la evaluación de un sistemas proposicional usando una distribución
de tabla de valores de verdad tendremos en cuenta los siguientes pasos:

1° Determinar el número de proposiciones simples (variables) diferentes

que contiene el sistema proposicional, el conectivo de mayor jerarquía.

2° El número de filas de la tabla dependerá de la fórmula 2n , donde “2”

significa las dos posibles combinaciones que tiene cada variable y n el
número de variables diferentes que contiene el sistema proposicional. Es
decir si el sistema proposicional contiene dos variables diferentes se
necesitan 4 filas, para 3 variables se necesitan 8 filas, en general para n-
variables se necesitan 2n filas.

3° En la parte superior izquierda de la tabla se colocan las variables p, q,

r, … dependiendo de cuantas sean, y a la derecha se coloca el sistema
proposicional.

4° Debajo de las variables de la izquierda se colocarán los valores de

verdad según el número de filas determinado, es decir si tengo 4 filas es
porque cuento con dos variables p, q entonces la columna de p tendrá dos
valores de verdad verdadero y dos falsos, para luego continuar con la

16 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

columna q verdadero falso hasta completar la columna, tal como se

muestra en los ejemplos:

Para sistemas proposicionales con 2 variables diferentes

p q
v v
v f
f v
f f

Para sistemas proposicionales con 3 variables diferentes

p q 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

5° Al lado derecho de la tabla en cada columna se copian los valores de cada

variable solamente para las variables que se encuentran directamente
negadas se copia el valor de verdad opuesto.

6° Se empieza a evaluar el sistema proposicional teniendo en cuenta la

jerarquía es decir del de menor jerarquía al de mayor jerarquía (se empieza
por los paréntesis, se continua con los corchetes, para luego continuar con
las llaves)
Ejemplo: Evaluar el sistema proposicional:
( 𝒑 ∧ ∼ 𝒒 ) → ~ (~ 𝒑 ∨ ∼ 𝒓)
Solución:

1° Se observa que el sistema tiene tres variables diferentes y el conectivo de

mayor jerarquía es la condicional ( → ).
2° La tabla contará con ocho filas.
3° Colocamos las variables y el sistema proposicional en la tabla

17 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

p q r ( 𝒑 ∧ ∼ 𝒒) → ~ (~ 𝒑 ∨ ∼ 𝒓)

4° Debajo de las variables colocamos los valores de verdad según

corresponda.

pq r ( 𝒑 ∧ ∼ 𝒒) → ~ (~ 𝒑 ∨ ∼ 𝒓)
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF

5° En las columnas del lado derecho de la tabla copiamos los valores de

verdad de cada variable, solamente para las variables directamente
negadas copiamos el valor de verdad opuesto.

pq r ( 𝒑 ∧ ∼ 𝒒) → ~ ( ~𝒑 ∨ ∼ 𝒓)
VVV V F F F
VVF V F F V
VFV V V F F
VFF V V F V
FVV F F V F
FVF F F V V
FFV F V V F
FFF F V V V

18 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

6° Evaluamos el sistema proposicional teniendo en cuenta la jerarquía. En

este caso empezaremos por los paréntesis.

pq r ( 𝒑 ∧ ∼ 𝒒) → ~ (~ 𝒑 ∨ ∼ 𝒓)
VVV V F F F F F
VVF V F F F V V
VFV V V V F F F
VFF V V V F V V
FVV F F F V V F
FVF F F F V V V
FFV F F V V V F
FFF F F V V V V

1 2

Luego continuamos con la negación para terminar con el conectivo de

mayor jerarquía.

pq r ( 𝒑 ∧ ∼ 𝒒) → ~ (~ 𝒑 ∨ ∼ 𝒓)
VVV V F F V V F F F
VVF V F F V F F V V
VFV V V V V V F F F
VFF V V V F F F V V
FVV F F F V F V V F
FVF F F F V F V V V
FFV F F V V F V V F
FFF F F V V F V V V

1 4 3 2

Observación:
Para hallar el valor de verdad de un sistema proposicional conociendo el
valor de verdad de sus proposiciones atómicas que lo conforman se sigue el
método llamado “Esquema del árbol”.
Ejemplo:
Hallar el valor de verdad del sistema proposicional:
[ ( p  q )  ~r ]  p, sabiendo que V(p) = F, V(q) = V, V(r) = V
Solución:

19 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

[ ( p  q )  ~r ]  p
[ ( F  V )  ~V ]  F

F F F

F F

12.2. EVALUACION DE ESQUEMAS MOLECULARES

A) TAUTOLOGÍA : Un sistema proposicional es tautológico, cuando al
ser evaluado todos sus valores de verdad resultan ser verdaderos.
Ejemplo:

pq ( 𝒑 ∧ ∼ 𝒒) → (~𝒑 ∨ ∼ 𝒒)
VV F V F
VF V V V
FV F V V
FF F V V

Tautología

B) CONTRADICCIÓN: Un sistema proposicional es contradictorio

cuando al ser evaluado todos sus valores de verdad resultan ser
falsos.
Ejemplo:

p q ~ ( 𝒑 → ~𝒒)  (𝒒 → ~𝒑)
V V V F F F
VF F V F V
FV F V F V
FF F V F V

Contradicción

20 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

C) CONTINGENCIA: Cuando al ser evaluado no resultan ser ni tautológico

ni contradictorio, es decir sus valores son falsos y verdaderos no
importando el orden.
Ejemplo:
pq  p → (p q)
V V F V V V
V F V V F F
F V F F V F
F F F F V F

Contingencia
13. EQUIVALENCIA E IMPLICANCIA LÓGICA
Sean: A( p, q, r, s, ... ) y B( p, q, r, s,... ) dos sistemas proposicionales:
13.1. EQUIVALENCIA LÓGICA.- Se dice que el sistema proposicional A es
lógicamente equivalente al sistema proposicional B cuando tienen la
misma distribución de valores de verdad, es decir toda vez que A y B
unidos por una bicondicional representan una tautología.

Notación: A ≡ B ( A es lógicamente equivalente al sistema B)

Ejemplo:
Determinar si las siguientes sistemas proposicionales son equivalentes:
A( p, q ) = ( p → q )   p, B ( p, q ) =  p  q

pq (p→ q)p  pq

VV V V F V F V V
VF F F F V F F F
FV V V V V V V V
FF V V V V V V F

Es una tautología por lo tanto el sistema proposicional A es equivalente

al sistema proposicional B.
13.2. IMPLICANCIA LÓGICA.- Se dice que el sistema proposicional A implica
lógicamente al sistema proposicional B, toda vez que esta implicación
sea necesariamente una tautología.

21 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

Notación:
A → B ( Sistema proposicional A implica lógicamente al sistema
proposicional B )

Ejemplo: Determine si el sistema proposicional A( p, q ) =  ( p  q )

implica lógicamente al sistema proposicional B( p , q ) =  p   q.
p q (pq) → p q
V V F V V F F F
V F F V V F F V
F V F V V V F F
F F V F V V V V

Es una tautología por lo tanto el sistema proposicional A implica

lógicamente al sistema proposicional B.

Ejercicio:
Sean los enunciados:
A: Tomas decisiones oportunas si solo si eres inteligente, en consecuencia eres
libre. Es mentira que; si no eres libre entonces, o no tomas decisiones oportunas
o no eres inteligente.
B: Serás libre siempre que tomes decisiones oportunas.

Determine si:
i) A implica lógicamente a B
ii) A equivale lógicamente a B
Solución:
Hallando la simbolización de los sistemas proposicionales:
Proposiciones simples: p: Tú tomas decisiones oportunas.
q: Tú eres inteligente.
r: Tú eres libre.
Simbolización:

A: [( 𝑝↔ 𝑞 ) → 𝑟 ] ∧ ∼ [∼ 𝑞 → ( ∼ 𝑝 ∨ ∼ 𝑞 ) ]
B: 𝑝→𝑟
i) Hallando si A implica lógicamente al sistema B:

22 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

𝐴 ⇒ 𝐵 = { [ ( 𝑝 ↔ 𝑞 ) → 𝑟 ] ∧ ∼ [ ∼ 𝑞 → ( ∼ 𝑝 ∨ ∼ 𝑞 ) ] } ⇒ (𝑝 → 𝑟)

p q r   ( p  q ) → r      q → (  p ∨  q ) ⇒ p → q

VVV V V V F F F V F F F V V
VVF V F F F F F V F F F V V
VFV F V V F F F V F V V V F
VFF F V F F F F V F V V V F
FVV F V V F F V V V V F V V
FVF F V F F F V V V V F V V
FFV V V V V V V F V F V V V
FFF V F F V V V F V F V V V

1 2 6 5 4 3 8 7

Es una Tautología por lo tanto :

Tomas decisiones oportunas si solo si eres inteligente, en consecuencia eres
libre. Es mentira que; si no eres libre entonces, o no tomas decisiones oportunas
o no eres inteligente. Implica lógicamente a : Serás libre siempre que tomes
decisiones oportunas.
ii) Hallando si A equivale al sistema B:
𝑨 ⟺ 𝑩 = { [ ( 𝒑 ↔ 𝒒 ) → 𝒓 ] ∧ ∼ [ ∼ 𝒒 → ( ∼ 𝒑 ∨ ∼ 𝒒 ) ] } ⇔ ( 𝒑 → 𝒓)
p q r  (pq) → r    q → ( p ∨  q)  ⇔ p → q

VVV V V V F F F V F F F F V
VVF V F F F F F V F F F F V
VFV F V V F F F V F V V F F
VFF F V F F F F V F V V F F
FVV F V V F F V V V V F V V
FVF F V F F F V V V V F V V
FFV V V V V V V F V F V V V
FFF V F F V V V F V F V F V

1 2 6 5 4 3 8 7

No es tautología por lo tanto :

23 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

Tomas decisiones oportunas si solo si eres inteligente, en consecuencia eres

libre. Es mentira que; si no eres libre entonces, o no tomas decisiones
oportunas o no eres inteligente. No es equivalente a : Serás libre siempre
que tomes decisiones oportunas.

24 Ma. Aida Nerida Falcón Cerna

Lógica Matemática UNJFSC

BIBLIOGRAFÍA

1. Figueroa, R. (1998). Matemática Básica. Lima Perú: RFG.

2. Rosales Papa, D. (1994). Introducción a la Lógica. Lima Perú: AMARU Editores
3. Lazaro, M. (1990). Matemática Básica. Lima, Perú: Moshera.
4. Venero, A. (1994). Matemática Básica. Lima, Perú: San Marcos.

25 Ma. Aida Nerida Falcón Cerna