LOGICA PROPOSICIONAL

“UNIDAD I”

Mg. Elizabeth J. Tacilla Chilón

 FORMALIZACIÓN
Proceso por el cual se representa una proposición verbal como
proposición formal utilizando un lenguaje simbólico. Para esta
operación se asignan variables y conectores a la proposición a
formalizar.
Ejemplo:
Si José es estudioso entonces será un hombre de éxito: (p → q)

1. VARIABLES PROPOSICIONALES:

Son letras minúsculas tomadas de la mitad del alfabeto, es decir desde

la p hasta la z, que sirven para representar a las proposiciones
atómicas: p, q, r, s, t,… etc.

Se asignas en forma alfabética:

Ejemplo: Formalizar: José es médico, abogado o arquitecto.
Los conectores pueden ser:
•Conectores Monódicos: Aquellos que enlazan a una
sola proposición simple:
Ejemplo: “¬”
•Conectores Binarios: Aquellos que enlazan dos
proposiciones simples:
“^”, “v”, “v”, “→”, “←”, “↔”, “↓”,”/”
En general los conectores tienen sinónimos en el
lenguaje común:
Ejemplo para el conjuntor “y”:
 Iván estudia Medicina y José Luis estudia Farmacia
 Iván estudia medicina pero José Luis estudia
Farmacia
 Iván estudia Medicina sin embargo José Luis estudia
Farmacia
2. DESCRIPCIÓN DE LOS CONECTORES LOGICOS
 
A)NEGADOR
SIMPLE: Comúnmente se ligan al verbo. Ejemplos:
 Los tribunales no deben actualizarse: ~ p
 Javier nunca ingresará a la UPAGU: ~ p
Los prefijos también funcionan como negadores simples:
 Manuel es indisciplinado: ~ p
 Pedro es antidemocrata: ~ p

COMPUESTO: Tienen la terminación “que”

 Es falso que los tribunales deben actualizarse: ~p
 No se cumple que Javier ingresará a la UPAGU:~p
 CASOS ESPECIALES:
 No, no terminé el trabajo de Matemática: ~p
 Es falso y mentira que el cobre es un gas: ~p
 Es falso, incierto y mentira que España se encuentra en América: ~p
 Es falsamente mentira que sea incierto que Víctor tendrá libertad bajo palabra:
~ ~p
 Es inobjetablemente no correcto que la corriente del niño no caliente las aguas
del Pacifico: ~ ~ ~p
 
B) CONJUNTOR
Ejemplos:
 Tal como Manuel, Andrea terminó su carrera técnica: p ^ q
 Invertí en la bolsa, asimismo en terrenos: p ^ q
 Pinky, Fido, Boby y Ficher son los nombres de mis perros: p ^ q ^ r ^ s
 No solo terminé la secundaria a tiempo, además ingresé a la UPAGU: p ^ q
 Andrés es trabajador. Es un hombre desinteresado: p ^ q
CASOS ESPECIALES:
 Martín al igual que Carlos son ingenieros, sin embargo, no tienen
título universitario:
(p ^ q) ^ (~r ^ ~s)
Donde: p = Martín es ingeniero
q = Carlos es ingeniero
s = Martín tiene título universitario
r = Carlos tiene Título universitario
 Alejandra, José y Carlos son hermanos, no obstante, ellos
aún no trabajan:
p ^ (~q ^ ~r ^ ~s)
Donde:
p = Alejandra, José y Carlos son hermanos
q = Alejandra trabaja
r = José trabaja
s = Carlos trabaja.
C) DISYUNTOR INCLUYENTE O DÉBIL
Ejemplos:
 Manuel saca la basura o de lo contrario tiende su cama: pvq
 No hay crisis salvo que no haya inflación: ~p v ~q
 A menos que llueva habrá calor: pvq
 José es guitarrista salvo que además baterista: pvq
 La crisis económica no aumenta excepto que exista desocupación: ~p v q
 
D) DISYUNTOR EXCLUYENTE O FUERTE
Por la estructura: Cuando su estructura es excluyente:
O………………o…………………………….
……………..a menos que sólo……….
Ejemplos:
 O comemos pizza o comemos pollo: pvq
 O duermo o necesariamente estudio matemáticas: p v q
 
Por el contenido: Los eventos que se generan no se pueden cumplir
ambos a la vez:
 
 Martín nació en Cajamarca o en Tacna: pvq
 Los virus son microscópicos salvo que visibles a simple vista: p v q
 El perro de la esquina es macho excepto que sea hembra: pvq
E) CONDICIONADOR: Puede ser:
 
1. IMPLICADOR (→)
A→B
Si………………… entonces…………………………
Antecedente → Consecuente
Causa → Efecto
Suficiente → Necesaria
Cuando el condicionador va al inicio es IMPLICATIVA
Ejemplos:
 Si los cocodrilos son reptiles, tienen sangre fría: p→q
 Suponiendo que haga sol, iremos a la playa: p→q
 Cuando el interés bancario baje, obtendré ese premio: p→q
 Porque no llueve, obviamente mi ropa se secará: ~p → q
2. REPLICADOR (←)
A←B
…………………..si……………………………
Consecuente ← Antecedente
Efecto ← Causa
Necesaria ← Suficiente

Cuando el condicionador va al centro es REPLICATIVA

Ejemplos:
 Seré un buen profesional suponiendo que estudie conscientemente:
p←q
 El alcohol no es dañino ya que se vende en cualquier farmacia: p←q
 Los delfines son mamíferos debido a que no se reproducen por huevos:
p ← ~q
 Los cocodrilos tienen sangre fría si son reptiles: p ← q.
ESTRUCTURAS ESPECIALES:
 Solo si A, B: p→q Solo si A, entonces B: p→q
 A solo si B: p←q Únicamente cuando A, B: p → q
 A solamente porque B: p ← q A implica a B: p→q
 A está implicado por B: p ← q A es la causa de B: p→q
 A es la consecuencia de B: p ← q La causa de A es B: p←q
 La consecuencia de A es B:p → q Es suficiente A para B: p→q
 A es necesario para B: p←q Es necesario para A, B: p → q
 Para A es suficiente B: p←q Suficiente para A es B: p ← q
 Es necesario para A, B: p ← q
Para estas estructuras debemos tener en cuenta que la flecha del Implicador o
replicador siempre parte del antecedente o condición suficiente y llega hasta el
consecuente o condición necesaria, de esta manera podremos saber siempre si son
Implicativas o Replicativas.
F) BIIMPLICADOR O BICONDICIONAL
Ejemplos:
 Habrá prórroga para pagar los impuestos siempre y cuando el banco
lo autorice: p ↔ q

 Las rayas tienen su cuerpo aplanado porque y solamente porque

pertenecen a la familia de los escualos: p ↔ q
 
 El cuarto no está oscuro si y solamente si prendes el foco: ~p ↔ q
 
 Que vaya a la playa implica y está implicado que salga el sol: p ↔
q
 
 Para que los metales sean dúctiles es necesario y suficiente que
sean maleables: p ↔ q
A)INALTERNADOR O NEGADOR CONJUNTIVO
Ejemplos:
 Ni las ballenas son peces ni tienen branquias: p ↓ q
 Ni los delfines son reptiles ni son ovíparos: p ↓ q
 
A)INCOMPATIBILIZADOR O NEGADOR DISYUNTIVO
Ejemplos:
 Los leopardos no son veloces o no son felinos: p/q
 No consigo comprar el terreno en Surco a menos que no viaje a
Lima: p / q
 JERARQUIA DE LOS CONECTORES
De mayor a menor jerarquía:

           
Prime Segun Tercer Cuart Quint Sext
ro do o o o o
           
↔ v →ó← v ^ ~
GRACIAS