UNIVERSIDAD NACIONAL “SAN LUIS

GONZAGA “

FACULTAD DE ADMINISTRACIÓN

MATEMÁTICA

PROPOSICIONES LÓGICAS

I CICLO 2022– I
 PROPOSICIÓN
• Es un enunciado que puede ser verdadero o falso, PERO NO AMBOS.
Ejemplos:
• La luna es planeta
• 7 es un número primo
• Las murciélagos son aves

No son proposiciones
• ¿Qué hora es?
• Por favor, cierre la puerta
• “La responsabilidad es lo mas hermoso de un hombre.”
• “Manco Capac fundó el cuzco”
PROPOSICIÓN
 FACULTAD DE
ORDEN DE PRIORIDAD DE LOS ADMINISTRACIÓN
CONECTIVOS LÓGICOS
• Los conectivos lógicos son símbolos que permiten obtener nuevas
proposiciones a partir de proposiciones dadas.
• Se usará generalmente paréntesis para especificar el orden en
que se aplicarán los operadores lógicos.
• De no haber paréntesis, se adopta el siguiente orden de prioridad.
Conectivo Prioridad
1
No ”, “”; “ “
“
Y “ ” 2
O “ ” 3
Si,……entonces “” “” 4
Si y solo si “” 5
 FACULTAD DE
PROPOSICIONES SIMPLES ADMINISTRACIÓN
Y COMPUESTAS

Una proposición es simple o atómica, si no está

afectada por conectivos lógicos. Caso contrario, se dice
que la proposición es compuesta o molecular.

•PREDICATIVAS
SIMPLE: p •RELACIONALES

PROPOSICION

COMPUESTA: p  q
 NEGATIVA
CONJUNTA
TIPOS DE NEGATIVA
PROPOSICIONES 2.
ALTERNA
COMPUESTAS
BÁSICAS
 FACULTAD DE
TABLA DE VALORES DE ADMINISTRACIÓN
VERDAD

Una tabla de valores de verdad de una proposición, es una

tabla que se arma con los posibles valores de verdad de las
proposiciones simples que la componen, con la finalidad de
obtener el valor de verdad de la proposición dada.-

Cantidad de valores de verdad debe llevar una tabla

nº valores  A' 2
n º proposiciones 2 n º proposiones

O sea que, si el número de proposiciones simples que

componen una proposición es 5, los valores de verdad
serán:
5
n º valores  2  32
 NEGACIÓN p p

• A esta tabla se le llama “tabla de certeza de la negación” V F

F V

OPTION 3
SINÓNIMOS DE NEGACIÓN No es cierto que ... Nadie que sea ... Jamás ...
Presentations
Es falso que... No es el caso que ... Es inconcebible que... are
communication
tools.
Nunca ... No es verdad que Es imposible que ...

No ocurre que... Es absurdo que Es erróneo que ...

Es mentira que ... No acaece que... De ningún modo …

No es el caso que… Es inadmisible que… Es incierto que…

Es refutable que… Es falaz que… En modo alguno…

 CONJUNCIÓN p q pq

• Si p y q son proposiciones, se llama conjunción de p V V V

y q a la proposición compuesta “p y q” y se denota V F F

por: pq
F V F
SINÓNIMOS DE CONJUNCIÓN
F F F

…A pesar de… …Así mismo… …No obstante…

Del mismo modo Es compatible con …Aunque…
…Además… Tanto …. como …. …Más aún…
…A la vez… Siempre ambos…. con….. …También…
…Incluso… No sólo….sino también…. …Al igual que…
…Sin embargo.. …De la misma forma que… …Aún cuando…
…Así como… ….con …. los dos a la vez …Pero…
 DISYUNCIÓN INCLUSIVA (DÉBIL) p q pq
• Si p y q son proposiciones, se llama disyunción de p y q a la proposición compuesta
“p o q” y se denota por: pq
V V V

SINÓNIMOS DE DISYUNCIÓN V F V

DISYUNCIÓN DÉBIL F V V
…A menos que… …O en todo caso… F F F
…Excepto que… …O también…
…Salvo que… …O incluso…
…A no ser que… …O bien…
Y bien… o también.. Al menos uno de los dos ….
o ….
…O sino … …Alternativamente…
 DISYUNCIÓN EXCLUSIVA (FUERTE)
p q pq
 Si p y q son proposiciones, se llama disyunción exclusiva de p y
q a la proposición compuesta V V F

“ o p o q” y se denota por: pq V F V

F V V
SINÓNIMOS DE DISYUNCIÓN EXCLUISIVA
F F F

Salvo que .... o .... ... no equivale a ...

....no es lo mismo que...
No es equivalente ... con ...
....a menos que solamente...
....excepto que sólo....
....o exclusivamente....
O bien ... o bien ...
No es cierto que...equivale a...
O solo .... o solo ....
...salvo que únicamente...
....o bien necesariamente....
....no es idéntico a....
O ... o ...
 Veamos la tabla del
CONDICIONAL condicional: p  q

• Conviene pensar en una “promesa” ..... Si no p q pq

llueve (entonces) iremos a la playa

V V V
SINÓNIMOS DE CONDICIONAL V F F

F V V
• p es condición suficiente para q
• Si p, entonces q * p por tanto q * q si p F F V*p
por consiguiente q Que p supone que q
• p por ende q * Cuando p, q * p por conclusión q
• q es condición necesaria para p Encaso de que p entonces q
• q sólo si p * Dado que p por eso q *Siempre que p entonces q
• En cuanto p por tanto q p implica q * Porque p por eso q
• Ya que p bien se ve que q
 BICONDICIONAL p q p q

• La bicondicional es verdadero, sólo cuando el antecedente y el V V V

consecuente son iguales . V F F
ie: F V F
VV Ξ V F F V

FF Ξ F
SINÓNIMOS DE LA BICONDICIONAL
…siempre y cuando…
…es equivalente a…
…es lo mismo que…
…cuando y sólo cuando…
Si y sólo si p, q
…siempre que y sólo cuando…
…es idéntico a…
q Es suficiente para que suficiente sea p
q Es condición necesaria y suficiente para p
…por lo cual y según lo cual…
…cada vez que y sólo si…
…si de la forma…
…implica y está implicado por…
Siempre que … y siempre que …
 NEGACIÓN ALTERNA
NEGACIÓN CONJUNTA

NEGACIÓN CONJUNTA NEGACIÓN

(pq ) ALTERNA ( p q )
No p o no q
Ni p, ni q
No p, ni q p q p  q
V V F
p q p  q V F V
V V F F V V
V F F F F V OPTION 4
F V F Presentations
ae
F F V communication
tools.
 Formaliza las siguientes proposiciones

1. Nuestra moneda se devalúa solamente si su valor disminuye y está atada al dólar.

2. Si me quieres, te quiero; si no me quieres, te quiero igual.
3. Si se ganan las elecciones y nuestros representantes acceden al poder,
confiaremos en ellos si y solo si cumplen sus promesas y el poder no les corrompe.
4. Juan canta muy bien, pero Carlos, además de cantar , toca el piano.
5. Carlos, a igual que Miguel, son buenos estudiantes excepto cuando llega navidad.
6. Ya que no vino y perdió el examen es evidente que no aprobará la asignatura y
no se graduará.
7. Es absurdo que; Manuel sea el delegado ya que no viene a clase y sale
desaprobado.
8. Fumar y beber en exceso equivale a sufrir enfermedades o incluso la muerte
9. Ica mejora su imagen, si la Municipalidad realiza obras o los ciudadanos colaboran
en el aseo de las calles
EJEMPLOS
 EJEMPLO
Tautología Las implicaciones contrarrecíprocas son equivalentes.

Es cuando tienen solamente

proposiciones verdaderas para p q pq  -q  -p

todos los valores de verdad de V V

V V F V V

las variables proposicionales. V F

F V V
F
F F
V V V
V
Ejemplo: F V
V
V
V V V
F F
1 3 1
~p v p 1

p ~p ~p v p
V F V
F V V
 contingencia
Contradicción

Es cuando se tienen solamente Es cuando se obtienen algunas

proposiciones falsas para todos proposiciones verdaderas y otras
falsas para los valores de verdad
los valores de verdad de las de las variables proposicionales.
variables proposicionales. Ejemplo: (p → q)
Ejemplo:
~q ^ q
p q p → q
V V V
q ~q ~q ^ q
V F F
V F F F V V
F V F
F F V