Está en la página 1de 14

Lógica Proposicional

LÓGICA PROPOSICIONAL
1. INTRODUCCIÓN
Todos los tipos de relativos a las matemáticas se razonan desde el punto de vista lógico y por
lo tanto hay que tener muy en cuenta el enunciado de las proposiciones matemáticas y su
consecuente valides.

¿Qué es la lógica?
Es una ciencia que estudia la valides o invalides de una inferencia.

Inferencia:
Es la conclusión o deducción de una o más proposiciones llamadas premisas.

Ejemplos:
• Naomi viajará a Chimbote si tiene dinero. Naomi no tiene dinero. Por lo tanto, Naomi no
viajara a Chimbote.
• Si Fabián es médico, entonces sanará a los enfermos
• Si15>10 y 10>8, entonces 15>8

Enunciados:
Se llaman enunciados a toda frase u oración. Algunos enunciados son mandatos o
interrogaciones o son expresiones de emoción. Otro en cambio son afirmaciones o
negociaciones que tiene la característica de ser verdadera o falsa.

a. Enunciado cerrado:
Cuando podemos afirmar de inmediato si son verdaderos o falsos.

Ejemplos:
• Dos más tres, es igual a cinco.
• El número 10 es divisible por 2.
• Todo triángulo tiene cuatro lados.

b. Enunciado abierto:
Cuando no podemos afirmar de inmediato si son verdaderos o falsos, dependiendo del valor
que tomen las variables.

Ejemplos:
• x+y+z=5
• x es múltiplo de 4
• Prohibido hacer bulla

Dr. Jonhy S. Garay Santisteban 1


Matemática Básica 2023

2. PROPOSICIÓN
Es aquel enunciado aseverativo (afirma algo) del cual se puede señalar si es verdadero o falso,
pero no ambos a la vez, con respecto a una realidad. Es decir; una proposición es un enunciado
cerrado.
Las proposiciones se denotan con letras minúsculas: p, q, r, s, t…

Ejemplos:
p: Huaraz es la capital de Ancash
q: El libertador Simón Bolívar nació en lima.
r: (a + b)2 = a2 + b2 + 2ab
s: 14 es un numero primo

Si una proposición “p” es verdadera se dice que su valides o valor de verdad es “V”
Se escribe V( p) = V
Se lee valor de verdad de “P” es igual a “V”

Si una proposición “p” es falsa se dice que su valides o valor de verdad es “F”
Se escribe V( p ) = F
Se lee valor de verdad de “P” es igual a “F”

Ejemplos:
PROPOSICION VALOR DE VERDA
p: César vallejo nació en París V( p ) = F

q: 5 + 7  20 − 7 V( q ) = V

No son proposiciones:
Aquellos enunciados que expresan: sentimientos, órdenes, saludos, preguntas, etc.

Ejemplo:
• ¡Por fin ingresé a la UNASAN!
• Siéntate y escucha al profesor.
• Buenos días.
• ¿Quién llama por teléfono?

2.1 CLASES DE PROPOCICIONES


a. Proposición simple o atómica:
Son proposiciones que carecen de conjunciones gramaticales y del adverbio de
negación.

Ejemplos:
p: 5 es mayor que 3
q: Ana es hermana de Betty.
r: Silvia y Angélica son hermanas.

Dr. Jonhy S. Garay Santisteban 2


Lógica Proposicional

b. Proposiciones compuesta o molecular:


Están constituidas por proposiciones simples enlazadas entres si por conjunciones
gramaticales o afectadas del adverbio de negación.

Ejemplos:
• El corazón y el cerebro son órganos.
P q

• Si Fabián estudia , entonces no ve tv


P q

• No aprobé el curso de matemática básica.


P

Aplicación 1:
De los siguientes enunciados, indique cuales son proposiciones:
1.- log16 3 = − 1
9 4 2
2.- Estoy muy feliz de ser peruano.
3.- Janina es la niña más bonita de mi colegio.
4.- Paris es ciudad europea.
5.- x 2  0 , si x 

Solución:
Son proposiciones 1; 4 y 5, dado que se les puede asignar valor de verdad o falsedad.
Los enunciados 2 y 3 no son proposiciones ya que expresan sentimientos.

Aplicación 2:
De las siguientes preposiciones, señale cuales son verdaderas o falsas.
1. La lógica es una ciencia fática.
2. Aristóteles es considerado el padre de la lógica.
3. El concepto puede ser verdadero.
4. Los verbos copulativos no son conceptos con categoremas.
5. Lima es la capital de Brasil.

Solución:
Son proposiciones verdaderas: 2 y 4
Son proposiciones falsas: 1, 3 y 5

Aplicación 3:
De las siguientes preposiciones, señale cuales son proposiciones simples y compuestas.
1. 4 y 5 son números consecutivos.
2. María Curie descubrió el polonio incluso el radio.
3. Pedro es pobre pero feliz.
4. Trujillo y Tacna son ciudades del norte peruano.
5. El Perú es democrático o de lo contrario oprimido.

Dr. Jonhy S. Garay Santisteban 3


Matemática Básica 2023

Solución:
Son proposiciones simples: solo 1.
Son proposiciones compuestas: 2; 3; 4 y 5.

3. CONECTIVOS LÓGICOS:
También llamados operadores lógicos.
Son símbolos que sirven para unir proposiciones sin formar parte de ellas.

Símbolo Nombre
Lenguaje Común
Lógico Proposición
No Negación
…y…  Conjunción
Disyunción
…o… 
Incluyente
Disyunción
O….o….
Excluyente
Si…entonces… → Condicional
…Si y solo si….  Bicondicional

a. Negación: P

a.1. Simple: P
Traducción verbal:
1) No p
2) Nunca p
3) Jamás p
4) Tampoco p
Ejemplos:

p: Ana viaja a cuzco.


p : Ana no viaja a cuzco.

a.2. Compuesto: (P)


Comúnmente tiene la terminación “que” y se utiliza signo de agrupación para
simbolizar luego de la terminación “que”.

Traducción verbal:
1) Es falso que p.
2) No se cumple que p.
3) Es incierto que p.

Dr. Jonhy S. Garay Santisteban 4


Lógica Proposicional

b. Conjunción: p  q
Traducción verbal:
1. p y q
2. p del mismo modo q
3. p pero q
4. Tal como p, q
5. p también q
6. p así como q
7. p sin embargo q
8. p incluso q
9. p además q
10. p al igual que q

Ejemplos:

• 3 es un numero primo y 2 es un numero primo.


• Hoy es martes y mañana es viernes.

c. Disyunción:
Se clasifican en:

c.1. Disyunción Incluyente o Débil: p  q


Traducción verbal:
1. p o q
2. p salvo que q
3. p excepto que q
4. A menos que p, q
5. p o sino q

Ejemplo:
• Alexis es deportista o estudia inglés.
• A menos que llueva, habrá calor.

c.2 Disyunción Excluyente o Fuerte: p q

Traducción verbal:
1. o p o q.
2. p a menos que solo q.
3. p excepto que q.

Ejemplo:

• O Carlos esta en clase o está en su casa.


• Martin nació en Huaraz o en Caraz.

Dr. Jonhy S. Garay Santisteban 5


Matemática Básica 2023

d. Condicional:

d.1 Implicador: p → q
Traducción verbal
Si p , entonces q
antecedente con sec uencia

d.2 Replicador: p  q
Traducción verbal:
p si q
con sec uente antecedente

Existe un mecanismo extremadamente sencillo para diferenciar y/o determinar si una


proposición es implicador o replicador, el mecanismo consiste en identificar la ubicación
del condicionador (si).

Condicionador: si
Sinónimos: dado que
siempre que
ya que
porque, …

Ejemplos:
• Si llueve entonces mi ropa se mojara .
antecedente con sec uente
P q

p → q (Implicador)

• Transpiro porque hago deporte .


antecedente con sec uente
P q

p  q (Replicador)

e. Bicondicional: p  q
Traducción Verbal:
1. p si y solo si q.
2. p siempre y solo cuando q.
3. p es necesario y suficiente que q.
4. p es equivalente a q.
5. p es lo mismo q.

Ejemplo:
Voy a la playa si y solo si hace calor.

Dr. Jonhy S. Garay Santisteban 6


Lógica Proposicional

4. FORMALIZACIÓN:
Proceso mediante la cual llevamos una proposición verbal hacia una proposición formal
utilizando para ello una lengua simbólica.
La formalización es el proceso que nos facilita la aplicación de leyes y reglas y por ende el
RAZONAR HUMANO.

Para formalizar una proposición verbal, se sigue los siguientes pasos:

PASO 1: Reemplazar con una letra minúscula a la proposición simple afirmativas.


PASÓ 2: Estructura:
En esta parte se reemplaza las proposiciones simples designando en el paso uno y
dejad en la escritura los signos de puntuación y los conectivos lógicos.
PASO 3: Remplazar los conectivos lógicos por sus símbolos respectivos, dejando todavía los
signos de puntuación.
PASO 4: Cada signo de puntuación va significar un signo de agrupación.

Observación:
Las variables proporcionales se asignan en forma correlativa alfabética a las proposiciones
simples: p, q, r, s, t ,..., etc

Aplicación 4:
La proposición: “Alexis estudia contabilidad, además es un líder estudiantil si pertenece al
tercio superior”, se formaliza:

Solución:
Formalizando
1° p: Alexis estudia contabilidad.
q: Alexis es un líder estudiantil.
r: Alexis pertenece al tercio superior.

2° p, además q si r

3° p,  q  r

4° p  (q  r )

Aplicación 5:
La proposición:
“Es falso que si Estefany no estudiaba matemática no podría contraer matrimonio, dado que
Estefany es experta en el cálculo matemático” se formaliza:

Solución:

Dr. Jonhy S. Garay Santisteban 7


Matemática Básica 2023

Formalizando
1° p: Estefany estudia matemática
q: Estefany contraer matrimonio
r: Estefany es experta en el cálculo matemático

2° Es falso que si no p no q, dado que r

3° ( p → q ),  r

4° ( p → q)  r

Aplicación 6:
Dadas las proposiciones:
p: Fabián aprueba matemática.
q: Fabián va a la fiesta.
r: Fabián estudia para su examen.
Simbolizar:
“Si Fabián va a la fiesta, entonces no estudiará para su examen, pero no es el caso que
vaya a la fiesta y apruebe matemática. De ahí que Fabián estudia para su examen”

Solución:
Formalizando:

2° Si q, entonces no r, pero no es el caso que q y p. De ahí que r

3° q, → r ,  (q  p). → r

4° (q → r ) (q  p ) → r

Dr. Jonhy S. Garay Santisteban 8


Lógica Proposicional

EJERCICIOS PROPUESTOS

I) Según la definición, ¿cuáles de las siguientes expresiones son proposiciones lógicas?

1. Esta fruta está verde. Rpta. ……………………….

2. 3 + 7 = 10 Rpta. ……………………….

3. La suma entre dos números naturales es un número natural. Rpta. ……………………….

4. Si gasto 1 000 soles al día durante 2 000 años, no habré gastado


1 000 millones de soles. Rpta. ……………………….

5. ¿Estás contenta? Rpta. ……………………….

6. “Adornado de fiesta estaba el bar aquel día”. Rpta. ……………………….

7. “César Vallejo fue un gran futbolista”. Rpta. ……………………….

8. “El general Don José de San Martín fue de nacionalidad argentina”. Rpta. ……………………….

9. Ni Ecuador ni Bolivia son productores de algodón. Rpta. ……………………….

10. Hubiera impedido el asalto al banco, si la alarma hubiera


sonado oportunamente. Rpta. ……………………….

11. Einstein es el creador de la Física Clásica. Rpta. ……………………….

12. Rocinante es el caballo de Don Quijote de la mancha. Rpta. ……………………….

13. «LÍDERES» es una Academia de aptitud académica. Rpta. ……………………….

14. Ningún número par es divisible por dos. Rpta. ……………………….

15. Mi deseo es trabajar por el Perú. Rpta. ……………………….

16. El Perú es un país del hemisferio norte. Rpta. ……………………….

17. Pienso que debemos salir de la crisis. Rpta. ……………………….

18. Los filósofos son grandes pensadores. Rpta. ……………………….

19. La amistad es verdadera. Rpta. ……………………….

20. ¡Hoy es un día maravilloso! Rpta. ……………………….

21. En tus ojos veo mi futuro. Rpta. ……………………….

Dr. Jonhy S. Garay Santisteban 9


Matemática Básica 2023

22. Abre la puerta, inmediatamente. Rpta. ……………………….

23. Toda revista tiene páginas bellas. Rpta. ……………………….

24. ¿Dónde nació Túpac Amaru II? Rpta. ……………………….

25. A caballo regalado no se le mira el diente. Rpta. ……………………….

26. Tarzán y Superman son mitos. Rpta. ……………………….

27. Algún día seré profesional. Rpta. ……………………….

28. a  b  c → a  c Rpta. ……………………….

29. El carbono 14 es un método arqueológico. Rpta. ……………………….

30. El «Tungsteno», es una obra de Vallejo. Rpta. ……………………….

II. Dadas las siguientes proposiciones indicar cada una de ellas es simple o compuesta:

1. La radio es un medio de comunicación y distracción. Rpta. ……………………….

2. El protón o antiprotón son partículas atómicas. Rpta. ……………………….

3. El Perú es un mendigo sentado en un banco de oro. Rpta. ……………………….

4. La historia es una ciencia fáctica. Rpta. ……………………….

5. Todas las aves son vertebrados. Rpta. ……………………….

6. El domingo se descansa. El lunes se trabaja. Rpta. ……………………….

7. Bolivia limita con Perú también con Chile. Rpta. ……………………….

8. Si hay verano entonces habrá invierno. Rpta. ……………………….

9. Transpiro si y sólo si corro. Rpta. ……………………….

10.El corazón y el cerebro son órganos. Rpta. ……………………….

11.El electrón tiene carga negativa. Rpta. ……………………….

12.Te amaré siempre. Rpta. ……………………….

13.La Luna es el satélite. La tierra es un planeta. Rpta. ……………………….

14.Vivir, morir es la ley de la vida. Rpta. ……………………….

Dr. Jonhy S. Garay Santisteban 10


Lógica Proposicional

15.La materia es finita e infinita. Rpta. ……………………….

16.Romeo y Julieta se amaron mucho. Rpta. ……………………….

17.El Huascarán es un nevado. Rpta. ……………………….

18.Yungay pertenece al Callejón de Huaylas. Rpta. ……………………….

19.Adolfo Bécquer fue un científico. Rpta. ……………………….

20.Dejar hacer, dejar pasar el mundo camina solo. Rpta. ……………………….

21.Científico filósofo es Bertrand Rusell. Rpta. ……………………….

22.Pensamos, entonces existimos clínicamente. Rpta. ……………………….

23.Colón fue descubridor o conquistador. Rpta. ……………………….

24.Don quijote y Sancho fueron locos. Rpta. ……………………….

III. Formalizar cada una de las siguientes proposiciones:

1. Mariela estudia derecho.

2. Mentir equivale a engañar

3. Marie curie descubrió el polonio e incluso el radio

4. Pedro es pobre pero feliz

5. La experimentación se usa con fines de investigación

6. Trujillo y Tacna son ciudades del norte peruano

7. Diez y doce son múltiplos de 4

8. Calor no equivale a trabajo

9. El agua y la gasolina no reaccionan

10. Tanto Francisco pizarro como Diego de almagro no fueron hermanos

11. Marta irá a la fiesta de promoción pero en diciembre.

12. El Perú es democrático o de lo contrario oprimido.

13. Es mentira que nunca los militares abusaron del pueblo.

14. Si es cierto que manuel resultó campeón del torneo de karate.


Dr. Jonhy S. Garay Santisteban 11
Matemática Básica 2023

15. Si el viento sopla, me abrigare para no contraer enfermedades.

16. Si el cielo está nublado entonces el avión despegará del aeropuerto.

17. En el imperio de los incas la llama era usada como animal de carga.

18. Un número es positivo si y sólo si es mayor que cero.

19. O Carlos es matemático y profesor universitario o es empresario y dueño de una editorial.

20. No es el caso que si amanece la temperatura baje.

21. El Huascarán está en la Cordillera Blanca de la región Chavín.

22. Aníbal cruzó los Alpes y César pasó el Rubicón.

23. Colón descubrió América el 12 de octubre de 1492

24. El conocimiento empírico no es abstracto.

25. El Perú, o exporta trigo o exporta arroz.

26. No es el caso que Brasil y México pertenezcan al pacto andino.

27. Se hubiera impedido el asalto al banco si la alarma hubiera sonado oportunamente.

28. Tendremos muchas flores en el jardín, si la estación es propicia y las semillas no están
malogradas.

29. Raúl no trabaja en la empresa sin embargo visita la empresa todos los días y se reúne con
los trabajadores.

30. No es el caso que si amanece nublado la temperatura baje, ya que será un día caluroso.

31. Daniel viajará al extranjero si y sólo si obtiene su visa.

32. O tendrás que estudiar Derecho o tendrás que estudiar Economía.

33. No es el caso que María ingrese y no estudie en la Universidad.

34. Si ingreso a la Universidad, entonces seré Médico o Ingeniero.

35. El generalísimo don José de San Martín no luchó en la Batalla de Ayacucho.

36. Dadas las proposiciones:


p: Marco es comerciante
q: Marco es un próspero industrial
r: Marco es ingeniero
Dr. Jonhy S. Garay Santisteban 12
Lógica Proposicional

Simbolizar el enunciado:
“Si no es el caso que Marco sea un comerciante y un próspero industrial, entonces es
ingeniero o no es comerciante”.

37. “Subirá el precio del pan porque subió el precio de la gasolina, además si subió el precio de
la gasolina, el gobierno no puede controlar la inflación”. Es una proposición cuya
formalización correcta es:

38. La fórmula correcta de la proposición: “Chile limita con el Océano Pacífico aunque el Perú
limita también con el Océano Pacífico”, es:

39. “No es el caso que Richard no sepa tocar el violín y no componga una melodía, si es
egresado del Instituto Regional de Cultura”. Se formaliza como:

40. Dadas las proposiciones:


p: El hombre es bueno
q: El perro es fiel
simboliza:
“Si el hombre es malo, entonces no es cierto que, el perro es fiel y su amo es bueno.
Además si el hombre es bueno, el perro será fiel”.

41. La proposición: «El abogado no es justo ni competente, en vista que es falso que haya
consultado con lo peritos», se formaliza.

42. La proposición: «Porque conseguí asiento libre para Lima en Semana Santa porque el
chofer es amigo de mi padre, no garantiza que no pague mi pasaje en el ómnibus», se
formaliza:

43. Dadas las proposiciones:


«Si Manuel va a la fiesta entonces no estudiara para su examen, pero no es el caso que
vaya a la fiesta y aprueba sus cursos. De aquí Manuel estudiara para su examen», se
formaliza:

44. La proposición: «Loreto es un departamento con gran extensión territorial salvo que tan sólo no sea un
departamento de destino turístico». Se formaliza como:

45. La proposición: «Perú y Ecuador son países fronterizos, además son tropicales». Se formaliza como:

46. La proposición: «Porque la luz tiene naturaleza dual, se transmite en el vacío. Sin embargo, el sonido no se
transmite en el vacío porque tiene naturaleza ondulatoria». Se formaliza como:

47. «Puesto que hay globalización se deduce que, tanto hay paises altamente tecnologizados
cuantos países bastantemente atrasados en ciencia», se formaliza.

48. La proposición: «Es objetable que, ni haya fantasmas ni existen hombres alados», Se
simboliza:

Dr. Jonhy S. Garay Santisteban 13


Matemática Básica 2023

49. «Es falso que, nunca haya crimen perfecto de igual modo tampoco haya ladrón perfecto.
Más, sólo hay crímenes planificados o tan sólo ladrones sagaces». Se formaliza:

50. La proposición: «Reflexiona a menos que al mismo tiempo seas irresponsable. Te esfuerzas
estudiando porque quieres ser profesional. Por consecuencia reflexionas e incluso eres
esforzado». Se formaliza:

51. La condición suficiente para que haya empleo, es que exista aumento de la producción aun
cuando también deje de haber recesión; Se formaliza:

52. La condición necesaria para que la política se democratice es que en el Perú se opere la
descentralización, la moralización y bien o también el funcionario como carrera pública»,
Se formaliza:

53. Si:
p: «El cuarto esta oscuro»
q: «Apagas la lámpara»
Halle el esquema molecular que corresponde a la contraposición de la proposición:
«Para que el cuarto no esté oscuro es suficiente que no apagues la lámpara»

54. Si:
p: «n³ es impar»
q: «n² es par»
Indique la contraposición de la siguiente expresión: «Si n² es impar entonces n³ es impar»

55. Dadas las proposiciones:


p: Ana se compra un vestido
q: Ana va a la fiesta
r: Ana baila

Simbolizar: “Es falso que, si Ana no se compra un vestido no podrá ir a la fiesta. Además,
no bailará”.

56. La proposición: si no apruebas o no resuelves este problema, entonces es falso que hayas
estudiado o domines la educación lógica. Pero no dominas la deducción lógica aunque has
estudiado. Se formaliza:

57. La proposición: Si Rosa participa en el municipio escolar entonces los estudiantes se enojan
con ella, y si no participa en el municipio escolar, los profesores se enojan con ella. Pero,
Rosa participa en el municipio escolar o no participa. Por lo tanto, los estudiantes o los
profesores se enojan con ella. Se formaliza:

BIBLIOGRAFIA
Valderrama J. y Garay S. (2015). Manual de lógica proposicional y teoría de conjuntos. 1ra
edición, UNASAM, Perú.

Dr. Jonhy S. Garay Santisteban 14

También podría gustarte