LOGICA PARA

PROGRAMADORES
ING. JORGE GUERRA SULLCAHUAMAN
SS S PNP
[email protected]
 lógica de
proposiciones
 Objetivos Generales

Presentar intuitivamente los principios del razonamiento

lógico e introducir los conceptos de teorema y demostración
matemática en ámbitos variados; particularmente en:

▪ la lógica simbólica (o modelo de los enunciados),

▪ la teoría de conjunto (o modelo cualitativo del universo), y

▪ en los conjuntos numéricos conocidos.

 INTRODUCCION
La matemática estudia las propiedades de ciertos
objetos, tales como números, operaciones,
conjuntos, etc.

Es necesario por lo tanto contar con un lenguaje

apropiado para expresar estas propiedades de
manera precisa.
Desarrollaremos aquí un lenguaje que cumpla
estos requisitos, al cuál llamaremos lenguaje
matemático.
 LENGUAJE MATEMATICO

El lenguaje matemático está formado por una

parte del lenguaje natural, al cuál se le agregan
variables y símbolos lógicos que permiten una
interpretación precisa de cada frase.
 LOGICA
La lógica es una ciencia muy importante
que sirve de apoyo a la matemática
moderna, aunque en la vida diaria, nos
ayuda a resolver situaciones que ocurren a
nuestro alrededor, como por ejemplo:
desentrañar el misterio de un asesinato o
determinar la paternidad de un niño.
 LOGICA

Sin embargo, la lógica no está en lo que

acontece, no pertenece al mundo concreto;
sino surge de la mente del hombre y refleja
cierta estructura y procesos mentales,
productos de la creación de la mente
humana.
 ENUNCIADOS
Es una serie determinada de signos, que forman un
segmento lingüístico. Usualmente es toda frase u oración.
Ejemplos de enunciados en la lengua española:

La Policía nacional del Perú y la Fuerza armada.

¡Alto!
¿Quién anda ahí?
Perro que labra no muerde
Mi auto nuevo
 Lógica Proposicional

Es aquella parte de la lógica formal que estudia las

proposiciones como un todo indiviso, como bloques
unitarios, con total abstracción de su estructura interna. No
analiza las palabras individuales que componen la
proposición. Examina las conexiones lógicas existentes
entre las proposiciones consideradas, es decir las
conexiones lógicas que existen entre las proposiciones a
través de los conectivos lógicos u operadores lógicos. Toma
en cuenta su propiedad de ser verdaderas o falsas,
 Lógica Proposicional

El cálculo proposicional recurre a símbolos: variables

proposicionales, conectivos lógicos u operadores lógicos
(constantes lógicas), reglas de formación de expresiones
(sintaxis), símbolos auxiliares o signos de agrupación,
valores veritativos (valores de verdad).
 Proposiciones.
Es un enunciado lingüístico aseverativo (afirmativo o negativo)
con propósito informativo, libre de ambigüedades, que tiene la
propiedad de ser verdadero o falso, pero no ambos a la vez.
Expresan la afirmación o negación de algo con respecto al
referente. Afirmativa: Admite cualidad o propiedad. Ejemplo: El
área del circulo es *r2”. Negativa: Rechaza cualidad o
propiedad. Ejemplo: El número dos no es impar. La proposición
describe algún hecho o aspecto del universo fáctico o formal

Ejemplo:
P: Lima es capital del Perú ( )
Q: Mozart escribió Trilce ( )
R: 4 + 9 = 13 ( )
 Proposiciones.
Llamaremos proposiciones a aquellas frases
del lenguaje natural, las cuales podamos
afirmar que son verdaderas o falsas.

Ejemplos de proposiciones:
Dos es par
Tres es mayor que diez
Tres más cuatro es nueve
 Una proposición es simple o atómica, si ninguna
parte de ella es a su vez otra proposición.
Ejemplos de proposiciones simples o atómicas:

“Dos es un número par".

"Tres es mayor que cuatro".
"Tres más cinco es mayor que cuatro".
Se usan letras minúsculas p, q, r, s,...etc., para denotar
proposiciones simples o atómicas.

Son Compuestas, moleculares o coligativas:

Aquellas que tienen uno o más conectores lógicos.
•El 9 es factor del 81. •El número 1 es un número natural.
•Esa caja es de madera. •En este país, el verano es muy caluroso.
•Nada es para siempre. •Mañana será miércoles.
•La música clásica es la más antigua del •El número 6 es menor que el número 17.
mundo. •Hoy es 7 de octubre.
•Los números pares son divisibles por dos. •Su gato es marrón.
•La capital de Rusia es Moscú. •Si tengo hambre, entonces cocino.
•Esa chica es mi amiga. •Turquía es un país que se encuentra en Asia y
•Las células son procariotas o eucariotas. Europa.
•La raíz cuadrada de 25 es 5 o -5. •Una ballena no es roja.
•Son las tres de la tarde con veintiséis •Mi hermano vende pastas.
minutos. •La Tierra es redonda.
•Los animales carnívoros se alimentan de •Mario Vargas Llosa es un importante escritor.
plantas. •La plaza está a tres calles de su casa.
•Mi nombre es Fabián. •El estudiante aprobó Geografía.
•Está lloviendo. •Los viajes son oportunidades para conocer
•Puedo manejar un auto si tiene dirección otras culturas.
hidráulica. •El libro es muy bueno.
•Gabriel García Márquez fue un gran •La situación resulta incontrolable
escritor y bailarín. •Los aparatos tecnológicos son negros, blancos
•No todos los números primos son o grises.
impares. •El número más grande no es 1.000.000.
•Mi cuñado es arquitecto e ingeniero. •Si el ovino come pasto, es herbívoro.
La propiedad fundamental de una proposición, es que
ella puede ser verdadera o falsa, pero no ambas cosas
a la vez.

El valor de verdad de una proposición simple depende

exclusivamente del enunciado de la proposición.

“Dos es un número par". Es verdadero.

"Tres es mayor que cuatro". Es Falso.
"Tres más cinco es mayor que cuatro". Es verdadero.
Algunos enunciados o proposiciones son
compuestos, es decir, están formados de
proposiciones simples y de conectivos que
los unen.

2 es un número entero y es positivo

Si llueve, el piso se moja

Si es un entero, entonces es real

Si estudio y hago los ejercicios, entonces

apruebo y paso de curso
El valor de verdad de una proposición
compuesta depende completamente del valor
de verdad de cada proposición simple y del
modo como se les reúne o conecta para
formar la proposición compuesta.
 Conectivos
CONECTIVO LÓGICO OPERACIÓN LÓGICA SIMBOLIZACION LENGUAJE ORDINARIO

 Negación p No p

Conjunción pq pyq
.
 Disyunción Débil pq poq


Disyunción Exclusiva pq Opoq
∆
 Implicación pq Si p entonces q

 Replicador pq p si q

 Bicondicional pq p si sólo si q

 Negación Conjuntiva pq Ni p ni q

 Binegación Disyuntiva pq No p o no q

 Conectivos
NEGACIÓN: Es aquel conectivo que niega la
proposición, y normalmente se utiliza anteponiendo “no”,
o anteponiendo la frase es falso que.

Simbólicamente la negación se puede representar en

lenguaje matemático, de tres formas diferentes:

I.- Anteponiendo el símbolo “” , “ ~” , “p” significa “no p”.

II.- Sobreponiéndole una barra “ p “

III.- Anteponiendo el símbolo “” . “ p” significa “no p”.

Valores de verdad de la negación:

p ~p
V F
F V
 Conectores equivalentes a “~”.
No A // Nunca A // Jamás A // Tampoco A // Es
absurdo que A // Es imposible que A // No ocurre que
A // No es verdad que A // Es inadmisible que A// No
acaece que A // No es innegable que A // Es erróneo
que A // Es incierto que A // De ninguna forma se da
que A // No es el caso que A// No es cierto que A //
Es Inconcebible que A // Es mentira que A // Es
incorrecto que A // Es falso que A // Es negable que
A // Es refutable que A // Es objetable que A // En
modo alguno A // En forma alguna A // De ningún
modo A // De ninguna manera A // Nunca sucede
que A // Bajo ninguna condición A // No siempre que
A // No es inobjetablemente cierto que A// No es
innegable que A // Nadie que sea A // No es que A //
No se da la posibilidad que A // No es inobjetable que
A //
 Ejemplos
16
= 9. Es absurdo que Edgar patee con las dos piernas.
No es cierto que el cuadrado sea un polígono.
Francisco Pizarro nunca descubrió América.
Nunca Francisco Pizarro descubrió América.
De ningún modo iré a tu casa.
Es inadmisible que 3 + 3 = 9.
No es verdad que toma refrescos.
Es objetable que salga a pasear.
Es falso que tenga dinero.
Es inconcebible que Martín salga desaprobado.
En modo alguno los ofidios poseen extremidades.
En forma alguna los peces son anfibios.
No hay cumplimiento de leyes.
No ocurre que María canta.
No acaece que el carro es blanco.
No es el caso que Luís sea propietario del computador.
Es irrefutable que la suma de los ángulos internos
de un triángulo es 360 grados.
Es mentira que en el Perú hay democracia.
Jamás vayas al cine en la mañana.
Es imposible que exista vida en el planeta Venus.
Es incorrecto que 2 + 3 = 10.
 CONJUNCIÓN. Es aquel conectivo que une dos
proposiciones, incluyéndolas obligatoriamente a
ambas.

Se utiliza “y” como conectivo de conjunción.

"dos es par y tres es impar”

Simbólicamente la conjunción “y” se representa en lenguaje

matemático con el símbolo “”

y = 
 16
= 9.

Valores de verdad de la conjunción:

p q pq
V V V
V F F
F V F
F F F
 Conectores equivalentes a “”
Y // también // además // así mismo // asimismo // del
mismo modo que// aunque // sin embargo // así como //
igualmente // pero// al igual que // tal como // no
obstante // incluso// a la vez también // al mismo
tiempo que // y al mismo tiempo // de la misma manera
// tanto como // además // aún cuando // empero // sino
// a pesar de //
Cierto A lo mismo que B // Así como A, B // No sólo A
también B // No sólo A sino también B // Que A es
compatible con que B // Si A e incluso B //
simultáneamente A con B // Tanto A como B // Aún
cuando A , B  A ÙB // Tanto A como cuando B //
Tomar A como cuando B // A , B también // Siempre
EJEMPLOS:

• ENFPP Puente Piedra y la ENFPP San Bartolo son escuelas de

formación policial.
• La PNP es una institución del estado y garantiza el orden interno.
• Los alumnos de la ETS PNP Puente Piedra garantizarán la seguridad
ciudadana además de ser ciudadanos responsables.
• Juan y Luís son deportistas.
• Es verano sin embargo hace frío.
• Juan es médico y deportista.
• La batalla ha terminado aunque la guerra continúa.
• Roxana no sólo bailo sino también cantó.
• Grau fue un héroe, Bolognesi también.
• Lidia es muy audaz pero impredecible.
• No sólo es aplicado también bondadoso.
• No sólo es sabio, también bueno.
 DISYUNCIÓN INCLUSIVA

Es aquel conectivo que une dos proposiciones ofreciendo

una alternativa entre una proposición o la otra, así como
también ofrece la posibilidad que sean ambas.
"dos es mayor que siete o siete es mayor que dos".
La proposición está compuesta por las proposiciones
simples
"dos es mayor que siete" junto con
" siete es mayor que dos",
conectadas por la palabra "o“, que constituye el conectivo
de disyunción, y su símbolo es “”
Conectores equivalentes a “ v ”.
A o B // A excepto que B // A o también B // A salvo
que B // A al menos que B //A ya bien B // A o a la
vez B //A y / o B // A o incluso B // a menos que A, B
//A alternativamente B // A a menos que B // A a no ser
que B // A o además B // A y bien o también B // A o
incluso B // A o sino B// A o bien B // A o en todo caso
B // Y bien A o también B // Salvo que A, B // a menos
que A, no B  A v ~ B //
De dos idiomas: inglés y francés, Charlie habla por lo menos un idioma.
Luís es ingeniero o médico.
Se llama Francisco o Paco.
La historia es descriptiva o explicativa.
Carmen trabaja a menos que estudie.
Jorge es abogado salvo que sea ingeniero.
Descartes fue francés excepto que sea italiano.
A menos que ingreses, te compran carro.
José es responsable a menos que David también lo sea.
Salvo que David sea responsable José lo es.
David es responsable o bien José lo es.
Estudias medicina o a la vez matemática.
Cantas o también bailas.
El triángulo es un polígono o también una figura geométrica.
Las figuras planas están formadas por líneas rectas o bien por líneas curvas.
Valores de verdad de la disyunción:

p q pq

V V V
V F V
F V V

F F F
DISYUNCIÓN EXCLUSIVA
• Es la disyunción pero que su valor de verdad acepta una sola
proposición como verdadera.
• No pueden ocurrir las dos proposiciones al mismo tiempo.
• Ejemplo: Me caso con Rosita o con Doris
• Hoy a las 3 voy al Parque Arauco o al Alto Las Condes.

• Su notación es: 
p  q p q
Charlie es un policía habla inglés pero no francés o habla francés pero no
inglés.
El Armero ordenó coger una pistola o un revolver pero no ambos.
O Gabriel nació en Lima o en Arequipa.
O bien la luna es un planeta o bien un satélite.
Ocho es par o impar.
O Comerá galletas o sólo caramelos.
O por la mañana descansas o me voy a la playa.
O 9 es múltiplo de tres o es múltiplo de 4.
O viajó el lunes o el martes.
O Tudela está vivo o está muerto.
O estudias o trabajas.
Conectores equivalentes a “ ”.
A o exclusivamente B // A o sólo B // O A o B //Ya bien A ya
bien B // A o solamente B // A no implica B
B // A no es equivalente B // A o prioritariamente B //A o
únicamente B // A excepto únicamente B // A excepto que B
(en sentido excluyente) // A a menos que B (en sentido excluyente)
// A salvo que B (en sentido excluyente)// A alternativamente
que B (en sentido excluyente) // A o bien B (en sentido excluyente) /
O bien A o bien B // O A o tan sólo B // O es A o es B//
 Implicación o Condicional

Es aquél conectivo en el que se establece una

condición para que se cumpla la otra proposición.

Normalmente se establece como:

“Si se cumple p, entonces se cumple q”

p → q
 Sinonimos de “Entonces”
Sinonimos de “Si” Aunque// así pues// así que// luego// en
Porque// Ya que/ Puesto que// consecuencia// consecuentemente// con
Dado que// Siempre que// Basta que// de manera que// pues// tanto
que// por lo tanto// se infiere// se
que// En el caso de que//
deduce// implica// Por eso// es obvio//
Cuando// Cada vez que// Con la por consiguiente// de allí que// por
condición de que// Con tal de ello// bien se ve que// sòlo si//
que/Pues// Es implicado por// solamente si// únicamente si
Teniendo en cuenta que// Sólo //exclusivamente si// prioritariamente
cuando// Es suficiente// si//
Conectores equivalentes a “”
A implica B// A luego B// A consecuentemente B// A en consecuencia B// A
por tanto B// A solo si B// A de ahí que B// A de manera que B// Si A entonces
B// Con tal que A entonces B// Basta que A entonces que B// Con la condición
de que A entonces B// Dado que A entonces B// Es implicado por A entonces
B// Puesto que A entonces B// Cuando A así pues B// Pues A entonces B//
Porque A entonces B// Ni bien A entonces B// Siempre que A entonces que B//
Ya que A entonces B// Porque A por eso B// Si A por eso B// A menos que A,
B// Siempre que A, B// Una vez que A, B// Cada vez que A es porque B// En
vista que A es evidente que B// Si A, B// En la medida que A de allí B// En la
medida que A de allí que B// En el caso de A en este caso B// Cuando a así
pues B// Cuando A pues B// En virtud de que A es evidente que B// En
el caso de que A en tal sentido B// Para A es condición necesaria B// Toda vez que a
en consecuencia B// Cada vez que A entonces B// Con tal que A es obvio que B// Dado
A por eso B// Dado que A por eso B// En cuanto A por tanto B// De A deviene B//
Siempre que A por consiguiente B// Siempre que A es obvio que B// A es condición
suficiente para B// Ya que A bien se ve que B// A impone a B// De A derivamos B// Si
A, B// En la medida que A de allí B// Puesto que A, B// Es condición suficiente A para
B//
Si el alumno estudia entonces aprobará la asignatura de Lógica.
Si el alumno estudia, aprobará el curso.
El alumno aprobará el curso si estudia.
Dado que el alumno estudia aprobará el curso.
Puesto que el alumno estudia aprobará el curso.
Si Juan el deportista, mantiene una dieta estricta.
Si hay vida en la nebulosa Andrómeda, existen seres extraterrestres.
Ya que hay nubes, bien se ve que lloverá.
Cuando tenga visa, viajaré a los Estados Unidos.
Dado que sembré a tiempo por eso cosecharé pronto.
Dado que mi tío es cruel por eso sus hijos sufren.
Dado que llegas tarde por eso te despedirán del trabajo.
Cuando tenga pasaporte pues viajaré.
En la medida en que entrenes de allí que triunfarás.
Con tal que trabajes es obvio que ganas dinero.
Siempre que estudies, ingresaras a la universidad.
Bajo la condición de estudiar, ingresaré a la universidad.
Una vez que yo estudié, debo ingresar.
Valores de verdad de la implicancia:

p q p→q
V V V
V F F
F V V
F F V
 Bicondicional o doble implicancia

Es aquel conectivo de la forma:

“se cumple p si y solamente si se cumple q”.

p  q

Esto significa que también se cumple la situación

inversa, es decir que
como se cumple q, también se cumple p
Conectores equivalentes a “”
A si y sólo B// A es equivalente a B// A siempre que y sólo
cuando B// A es lo mismo que B// A por lo cual y según lo cual
B// A se define como B// A es idéntico a B// A es igual a B// A
igualmente B// A es igual entonces a B// A siempre y cuando
B// A si de la misma forma B// A siempre que y sólo si B// A
siempre que y sólo cuando B// A del mismo modo que B// A es
condición suficiente y necesaria para B// A porque y solamente si B
// Es necesario y suficiente A para que B// A es suficiente y B
también// Si y sólo si A entonces B // Si y sólo si A , B// A es de
la misma forma que B // A ya que y solamente porque B//
Te graduarás del curso si y solo si apruebas todas las asignaturas.
La Policía Nacional del Perú recuperará su prestigio si y solo si los alumnos de la ETS PNP
son preparados sobre la base de valores.
Habrá cosecha siempre que y sólo cuando llueva.
Hace frío si de la misma forma hace calor.
< 8 si y sólo si 5 < 6 y 6 < 8
La demanda procede cuando y sólo cuando es consistente.
Sí y sólo si n es par, n es múltiple 2.
Los rayos catódicos tienen carga negativa del mismo modo los rayos anódicos tienen carga
positiva.
La sugerencia de Rosa es idéntica a la orden de Pablo.
1 = 2 -1 es equivalente a 3 - 2 = 4 - 3.
Es necesario y suficiente que Sandra viaje a España para que estudie abogacía.
Estar con fiebre es igual entonces a estar enfermo.
Toledo será presidente siempre que y sólo si gana las elecciones.
Valores de verdad de la bicondicional:
p q pq
V V V
V F F
F V F
F F V
•Las medianas de un triángulo se intersecan.
•El 14 y el 7 son factores del 42.
•El 14 es factor del 42 y el 7 también es factor del 42.
•El 2 o el 5 son divisores de 48.
•El 2 es divisor de 48 o el 5 es divisor de 48.
•No todos los números primos son impares.
•Un entero no primo mayor de 1, es divisible por un primo.
•Si sumamos dos primos, entonces la suma es un primo.

•La suma de dos primos es un primo.

•Está lloviendo y hace calor.
•Nuestra bandera es blanca y celeste.
•El 9 es divisor del 45, y el 3 es divisor del 9 y del 45.
•Marcos se dedica a la natación o al alpinismo.
•El número 6 es mayor que el 3 y menor que el 7.
•He pasado todas mis vacaciones en Grecia y Marruecos.
•Quiero salir, pero no puedo.
•La realidad supera a la ficción y él no puede creerlo.
•El televisor no funciona si no lo enchufas.
•No tenemos más alternativas.
•La casa es grande y muy luminosa.
 PROPOSICIONES Y VALOR DE VERDAD

p p q p q r Las tablas de verdad son

representaciones gráficas,
V V V V V V en forma de arreglos,
que sirven para analizar los
F V F V V F posibles valores de verdad
F V V F V que puede tener una
proposición
21
F F V F F simple o compuesta.

F V V
22
F V F En general para
“n” proposiciones,
F F V se pueden
F F F presentar 2n
posibilidades
23
CUADRO DE RESUMEN DE TABLA
DE VALORES DE VERDAD