LÓGICA MATEMÁTICA

1. ENUNCIADO. Es toda oración o frase que exprese alguna idea, a través de

afirmaciones, negaciones, preguntas, órdenes, saludos, emociones, etc. Ejm

 ¡ Auxilio me ahogo ¡ (exclamativa )

 ¿Qué día es hoy? (interrogativa)

 No conversen en clase (desiderativa )

2. ENUNCIADO ABIERTO. Es aquel enunciado que contiene variables o letras,

pero no tiene la propiedad de ser verdadero o falso. Ejm

 X es la capital de Uruguay.

 X +3<6

 X es país más grande del mundo

3. 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. Por
tanto no puede ser ambigua.Una proposición se representa simbólicamente
por letras minúsculas tales como: p , q , r , s ,… llamadas variables
proposicionales. Ejm

 p : Alejandro Toledo es el presidente del Perú . V(p)=F

 r : Pitágoras fue un gran matemático V(r) =V

4. VALOR DE VERDAD. Si p es una proposición, su valor de verdad se denota con

V ( p) y escribimos:

V ( p)  V si el valor de p es verdadero y

V ( p)  F si el valor de p es falso.

5. OPERADORES LÓGICOS. Son signos que representan palabras y que son usados
para relacionar proposiciones. Tenemos:

Conjuntor Disyuntor Disyuntor Condicional Replicador Bicondicional Negación

incluyente excluyente

      ~
6. PROPOSICIÓN SIMPLE. Es aquella proposición lógica que no tiene operadores
lógicos es decir solo tienen un sujeto y un solo predicado, son también llamadas
atómicas o elementales.

 José de San Martin nació en Venezuela

 China es el país más poblado del mundo

7. PROPOSICION COMPUESTA. Es aquella proposición lógica que sí tiene

operadores lógica es decir tiene dos o más proposiciones simples, son también
llamadas moleculares. Estas proposiciones están unidas por conectivos lógicos.
Ejm

 Marcos ira de viaje a Sevilla en avión o en tren

 Brasil no es el campeón mundial de futbol

LA NEGACIÓN.- Se trata de una operación unitaria, pues a partir de una proposición

se obtiene otra que es su negación.

p p
V F
F V

LA CONJUNCIÓN.-La tabla que define la operación establece que la conjunción sólo

es verdadera si las dos proposiciones componentes son verdaderas. En todo otro
caso es falsa.
p q p⋀q
VV V
VF F
FV F
FF F

LA DISYUNCIÓN DÉBIL.- La disyunción débil es utilizada en sentido incluyente, ya

que la verdad de la disyunción se da en el caso de que al menos una de las
proposiciones sea verdadera. La disyunción débil sólo es falsa en el caso en que las
dos proposiciones componentes sean falsas.

p q p∨q
VV V
VF V
FV V
FF F
LA DISYUNCIÓN FUERTE.-La disyunción fuerte es utilizada en sentido excluyente. La
disyunción fuerte solo es falsa en el caso en que las dos proposiciones componentes
sean de valores iguales. En otros casos es verdadera.
p q p𝚫q
VV F
VF V
FV V
FF F

EL IMPLICADOR.- El conector implicativo, solamente es falso cuando la proposición

antecedente es verdadera y la proposición consecuente falsa. En todas las demás
combinaciones de valores veritativos se consideran verdaderas.
p q p⟶q
VV V
VF F
FV V
FF V
REPLICADOR.-

p q p←q
VV V
VF V
FV F
FF V
LA BICONDICIONAL.- La doble implicación o bicondicional solo es verdadera si
ambas proposiciones tienen el mismo valor de verdad. La doble implicación puede
definirse como la conjunción de una implicación y su replicación.
p q p⟷q
VV V
VF F
FV F
FF V

8. SIGNOS DE AGRUPACIÓ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 darle mayor o menor jerarquía a los operadores.

9.FÓRMULA LÓGICA. Es una combinación de variables proposicionales y operadores

lógicos. Se evalúa mediante tablas de verdad.
Las fórmulas lógicas o esquemas moleculares, se evalúan mediante tablas de
valores de verdad, el número de valores de verdad queda determinado por 2n
, donde n es el número de proposiciones.
Si al evaluar una fórmula lógica resulta que todos los valores de verdad de su
operador principal son verdaderos, entonces se tiene una TAUTOLOGÍA.
Si todos estos valores son falsos, es una CONTRADICCIÓN.
Si es una combinación entre valores verdaderos y falsos, entonces se tiene una
CONTINGENCIA.
EXPRESIONES EQUIVALENTES A LOS TÉRMINOS REPRESENTATIVOS PARA LOS
DIFERENTES OPERADORES

TÉRMINO
OPERADOR EXPRESIONES EQUIVALENTES
REPRESENTATIVO
A a menos que B
A a no ser que B
A excepto que B
AoB
Disyuntor A o en todo caso B
incluyente …o… A o incluso B
 A o también B
A salvo que B
A y/o B
A menos que A, B
A o bien B

TÉRMINO
OPERADOR EXPRESIONES EQUIVALENTES
REPRESENTATIVO
A o B (pero no ambos)
A salvo que solo B
A salvo que únicamente B
Disyuntor A o solamente B
excluyente O…o A o solo B
 A o tan solo B
A o únicamente B
oAoB
o bien A o bien B

TÉRMINO
OPERADOR EXPRESIONES EQUIVALENTES
REPRESENTATIVO
A a la vez B
A al igual que B
A al mismo tiempo B
A así como B
A aún cuando B
A aunque B
Conjuntor A junto con B
…y…
 A incluso B
A igualmente B
A no obstante B
A pero B
A simultáneamente B
A sin embargo B
A tal como B
 A también B
A tanto como B
AyB
No solo A también B
No solo A sino B
Tanto A como B
Tanto A así como B
Tanto A cuanto B
A además B

TÉRMINO
OPERADOR EXPRESIONES EQUIVALENTES
REPRESENTATIVO
A de ahí que B
A de manera que B
A de modo que B
A en consecuencia B
A es suficiente para B
A es una condición suficiente para
B
A implica B
A luego B
A por consiguiente B
A por ello B
A por lo tanto B
A por lo que B
Cada vez que A consiguientemente
B
Cuando A así pues B
Dado A por ello B
Condicional De A concluimos en B
Si … entonces …
 De A deducimos B
De A derivamos B
De A deviene B
En cuanto A por tanto B
En el caso que A así pues B
En el caso que A en tal sentido B
En virtud de que A es evidente B
Es suficiente A para B
Para A es necesario B
Para A es una condición necesaria
B
Porque A, B
Puesto que A, así pues B
Se supone A para B
Si A, B
Si A entonces B
Siempre que A por tanto B
Toda vez que A en consecuencia B
 Una condición necesaria para A es
B
Ya que A entonces B
Ya que A, B

TÉRMINO
OPERADOR EXPRESIONES EQUIVALENTES
REPRESENTATIVO
A a condición de que B
A cada vez que B
A dado que B
A está implicado por B
A porque B
A puesto que B
A se concluye de B
Replicador A, si B
… si …
 A, siempre que B
A ya que B
Es una condición necesaria A para
B
Para A es suficiente B
Para A es una condición suficiente
B
Solo si A, B

TÉRMINO
OPERADOR EXPRESIONES EQUIVALENTES
REPRESENTATIVO
A cada vez que y sólo si B
A cuando y sólo cuando B
A entonces y sólo entonces B
A equivale a B
A equivale lógicamente a B
A es necesaria y suficiente para B
Bicondicional A implica y está implicado en B
… si y sólo si …
 A por lo cual y según lo cual B
A se define como B
A se define lógicamente como B
A según lo cual y por lo cual B
A si de la forma B
A siempre que y sólo cuando B
A si y solo si B

TÉRMINO
OPERADOR EXPRESIONES EQUIVALENTES
REPRESENTATIVO
Es negable A
Negador Es no cierto que A
No
~ Es objetable que A
Es refutable que A
 Es totalmente falso que A
Imposible que sea A
Jamás se cumple que A
Jamás se da que A
Jamás se verifica que A
No es cierto que A
No es concebible que A
No es el caso que A
No es verdad que A
Carece de todo sentido que A
Definitivamente no se da que A
De ninguna forma se da que A
De ninguna manera se da que A
En absoluto se da que A
En modo alguno se da que A
Es absurdo que A
Es erróneo que A
Es falaz que A
Es falso que A
Es imposible que A
Es inaceptable que A
Es inadmisible que A
Es incierto que A
Es inconcebible que A
Es incorrecto que A
Es insostenible decir que A
Es inverosímil que A
Es mentira que A
Es imposible que A
No es veraz que A
No es verosímil que A
No ocurre que A
No se cumple que A
No se da la posibilidad de que A
No tiene sentido que A
Nunca jamás A
Para nada se da que A

EJERCICIOS RESUELTOS

EJERCICIO 1
Elabore la tabla de verdad de la proposición: [p  ( p  q)]  q
Solución
Tabla de verdad
p q p  (p  q)]  q
 V V V V V V V
V F V F F V F
F V F F V V V
F F F F V V F
Respuesta: es una TAUTOLOGÍA.
EJERCICIO 2
Elabore la tabla de verdad de la proposición (𝑝 ∧ 𝑞)  ( 𝑝∨ 𝑞)
Solución
p q ( p   q)  ( p V q)

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

Respuesta: es una CONTRADICCIÓN.

EJERCICIO 03
Formalice el siguiente enunciado, elabore la tabla de verdad correspondiente y
determine si es una tautología, contingencia o contradicción.

La pulpa adherida a la mazorca del fruto del cacao constituye un valioso insumo que

se utiliza en la nutrición y la gastronomía. Por lo tanto, se destierra la idea que solo

la semilla del cacao es empleada en la industria del chocolate.

Formalizando el enunciado se obtiene: (𝑝  𝑞)  𝑟

p q r (p  q)  r
V V V V V V
V V F V F F
V F V F V V
V F F F V F
F V V F V V
F V F F V F
F F V F V V
F F F F V F
Es una CONTINGENCIA
 EJERCICIOS PROPUESTOS

INSTRUCCIÓN:
Formalice los siguientes enunciados, elabore la tabla de verdad correspondiente y
determine si es una tautología, contingencia o contradicción.

EJERCICIO 1
El conocimiento científico es metódico así como explicativo.
EJERCICIO 2
Sofía estudia Psicología o Negocios Internacionales.

EJERCICIO 3
Los hombres adultos son casados o solteros.

EJERCICIO 4
Si las AFP invierten en el mercado de valores, obtendrán ganancias considerables en
la inversión.

EJERCICIO 5
El precio del cobre se redujo en el año 2011, porque la compañía minera ANTAMINA
aumentó la producción de cobre.

EJERCICIO 6
Subirá el costo de vida si y solo si baja el poder adquisitivo de la moneda.

EJERCICIO 7
Las leyes de la mecánica son exactas y aplicativas, ya que estas leyes se fundamentan
en la realidad.

EJERCICIO 8
Si en cada organización empresarial el administrador diagnostica situaciones
problemáticas y desarrolla estrategias de solución, entonces es un profesional
indispensable para dichas organizaciones.

EJERCICIO 9
El Perú está experimentando un vigoroso despegue exportador, puesto que las
exportaciones han mostrado un incremento importante en los últimos años además
se ha convertido en el principal generador de crecimiento durante el año 2013.

EJERCICIO 10
Si la educación es el proceso en el que una persona está influenciada en desarrollar
y cultivar aptitudes, entonces involucra una concienciación conductual y cultural.

EJERCICIO 11
Es falso que, la contabilidad se apoye en las finanzas y en la economía. En
consecuencia, la contabilidad no se apoya en las finanzas a menos que no se apoye
en la economía.

EJERCICIO 12
Si los funcionarios no cumplen con declarar a la SUNAT sus ingresos y evaden el
pago de impuestos mensualmente, no podrán cobrar la remuneración
correspondiente a su CTS.

EJERCICIO 13
La majestuosidad arqueológica de Machupicchu ha capturado la admiración del
mundo entero y es considerado el lugar histórico más importante del Perú, porque
es mentira que haya sido explorado por los españoles durante la conquista.

EJERCICIO 14
Si Sonia Miller se desempeña en forma responsable en su centro de trabajo y se
capacita en gestión de recursos humanos, entonces será promovida como jefa del
área de R.R.H.H.

EJERCICIO 15 (PRE USIL 2015-2)

Dada las proposiciones :
P :18 es un número primo
Q : 4 es un número cuadrado perfecto
R : 11 es un número par

EJERCICIO 16
Los consumidores se dirigen y reclaman sus derechos a la oficina de Protección al
Consumidor de INDECOPI, dado que consideran que son vulnerados en sus
derechos.

EJERCICIO 17 (PRE -USIL 2015-1)

Simplifique los esquemas A  (~ p  q)  (q  p)
EJERCICIO 18

Determine el valor veritativo de :

(~ p  q)  (s ~ s)  ~ r

RESPUESTAS A LOS EJERCICIOS PARES

Ejercicio Respuesta
2. pq
4. pq
6. pq
8. (p  q) r
10. (p  q) (r  s)
12. (p  q)r
14. (p  q) r