UNIVERSIDAD PRIVADA SAN JUAN BAUTISTA

FACULTAD DE CIENCIAS DE LA SALUD

ESCUELA PROFESIONAL DE MEDICINA HUMANA
“Dr. Wilfredo Erwin Gardini Tuesta”

ACREDITADA POR SINEACE

RE ACREDITADA INTERNACIONALMENTE POR RIEV

EL LENGUAJE PROPOSICIONAL:
- REGLAS DE FORMACIÓN Y FÓRMULAS BIEN
FORMADAS.
- FUNCIONES DE VERDAD

Docente Responsable local Chorrillos: MERY LUZ MERINO OSORIO

 Lógica proposicional o lógica de enunciados
• Los lenguajes naturales poseen
un conjunto de símbolos (léxico) y
una serie de reglas para
manejarlos (sintaxis). Los
lenguajes naturales poseen una
gran riqueza y capacidad
expresiva que resulta deseable,
pero para el uso científico resulta
siendo un lenguaje ambiguo,
impreciso y poco operativo con
dificultad para realizar cualquier
cálculo.
 Lenguaje artificial Lenguaje Formal

• Las distintas ciencias construyen

lenguajes artificiales, asignando
a sus símbolos significados
Lenguaje Formal: Ocurre en las
precisos y unívocos, y
Matemáticas y la Lógica. Decimos
estableciendo con precisión
que estamos ante un lenguaje formal,
reglas operativas eficaces que porque sólo interesa la forma, no el
permitan construir contenido o significado empírico de
razonamientos fiables a costa de sus símbolos. Lo único que cuenta es
perder en expresividad. La que la utilización de los símbolos, las
Física y la Química usan este fórmulas y las operaciones se ajuste
tipo de lenguaje, Ej. a las reglas establecidas.
• «el tiempo es oro» (L.N) Ej. p ^ q
• –«t = Au»– (L.A)
 Usos del lenguaje
• Todos los lenguajes están construidos a partir
de combinaciones de signos que reciben el
nombre de expresiones que deben realizarse
de acuerdo con una serie de reglas
gramaticales (morfológicas, sintácticas, etc.).
Cuando una expresión del lenguaje natural
es gramaticalmente correcta y tiene un
sentido completo recibe el nombre de
oración. A la Lógica sólo le
• Hay muchos tipos de oraciones: enunciativas, interesa las oraciones
desiderativas, de posibilidad, dubitativas, enunciativas o
exhortativas, interrogativas, exclamativas, proposiciones.
etc.
 1. ¿Qué es una proposición o enunciado?

• Antón (1986), define a un enunciado como “las frases declarativas, de

las que tiene sentido preguntarse si son verdaderas o falsas”.
• Así, los enunciados se pueden definir como una oración, pero no una
oración cualquiera, ésta debe cumplir la condición de ser verdadera o
falsa, nunca las dos a la vez.
• De tal manera que, todas aquellas oraciones a las cuales no sea
posible asignarles un valor de verdad o falsedad, no se consideran
enunciados.
• Ejemplos: La tierra es una estrella (Es un enunciado)
• ¿Cuáles son los colores primarios? (No es enunciado)
• ¡Ayúdame con la historia del paciente! (No es enunciado)
Precisiones
• Estas afirmaciones no son proposiciones porque no se puede
determinar si son verdaderas o falsas, son afirmaciones que
denotan algún deseo, orden o mandato.
• Todas las proposiciones son oraciones, pero no todas las
oraciones son proposiciones.
• Las oraciones dubitativas, así como los juicios de valor – no
obstante afirmar algo- no constituyen ejemplos de
proposiciones, pues su verdad o falsedad no pueden ser
establecidas. Ejemplo:
• Debemos honrar a nuestros héroes
Regla de simbolización I

• A) Vocabulario
• Cada uno de los enunciados simples del lenguaje natural se
sustituirá por variables proposicionales simbolizadas mediante
las letras minúsculas: p, q, r, s, t, u, v, w.
• Si hubiera más se pondrán subíndices. Ejemplos:
• "Éste fue un verano caluroso": p
• "Lima es la ciudad más poblada del Perú": q
• "Al final de los tiempos resucitarán los cuerpos“: r
 B) Símbolos de enlace

• Las “conectivas” o
“juntores” representan las
relaciones lógicas
existentes entre las
proposiciones.
Simbolizan los elementos
del lenguaje natural que
ponen en relación las
diferentes proposiciones.
• Hay cinco tipos básicos
de relación lógica entre
proposiciones:
El lenguaje formal de la lógica proposicional

• Describimos aquí:
a) Los elementos que componen este lenguaje (Vocabulario)
las variables proposicionales que simbolizan o representan las
proposiciones del lenguaje natural. Se denominan “variables”
porque representan cualquier proposición del lenguaje natural: p,
q, r, s, t, u, v, w, x, y, z
b)Las reglas de simbolización que nos permitirán pasar de las
expresiones del lenguaje natural a las del lenguaje formal
(formalizar).
Simbolizar enunciados compuestos
• Toda proposición tiene su forma lógica y su fórmula
• Para simbolizar enunciados compuestos, es conveniente conocer
también la simbología de los conectivos lógicos:
• ∧ “y” Conjunción
• ∨ “o” Disyunción
• → “si…entonces” Implicación o condicional
• ↔ “si y sólo si” Doble implicación o bicondicional
• ~ “no” Negación
 Tipos de Enunciados
• 1. Proposición simple. 2. Proposiciones compuestas
es aquella que está formada por Una forma enunciativa es una
una sola proposición y por lo tanto, expresión, en la que intervienen
no puede descomponerse a su vez variables de enunciado y
en otras proposiciones. Las conectivas. Pascual J. (2007).
proposiciones simples se Los conectores lógicos pueden
denominan también atómicas. ser:
Ejemplo. y
El plano es la unión de líneas: p o
Los colores primarios son cuatro: q no
La línea no tiene fin: r sí….entonces
si y sólo si
El rojo es un color cálido: s
1. La conjunción (es una Regla de
proposición compuesta) simbolización III
• 1) La conjunción. Las expresiones del lenguaje natural tales
Significa que como "y", "ni", "pero", " que", "e", "mas",
ambas también, sino, sin embargo, “ni……ni”, además,
proposiciones tanto como, una simple coma ",” etc. se
suceden de forma
conjunta sustituirán por el símbolo “ ^".
Ejemplos:
"Ana estudia y Ana trabaja: p ^ q
 Conjunción
• Y, también, pero, sino, ,, todavía: expresión una sucesión de hechos
que se dan de manera conjunta
• Estamos en otoño, pero hace mucho calor (L. N)
• Formalizar:
• 1. F. L: Estamos en otoño y hace mucho calor
• 2. Simbolizar:
• Estamos en otoño: p
• Hace mucho calor: q
•p.q
 Conjunción: Y ( pero, sin embargo, a la vez, también, ni, sino)

• Ni tengo plata y tampoco me pagaron

• Formalizar: A. L: No tengo plata y no me pagaron
• Simbolizado:
• Yo tengo plata: s, -s
• Me pagaron: t, -t
• -s . –t
Conjunción
• No quiero helado sino gelatina
• Formalización: Yo quiero gelatina y no quiero helado
• No soy casada sino soltera
Formalización: Soy soltera y no soy casada
• Maria no es musulmana, sino católica
• Maria es católica y Maria no es musulmana
 Negación compuesta o doble negación
• No es el caso que los gatos hablen o no sean mamíferos
• Formalizar: No es el caso que los gatos hablen o los gatos no sean mamíferos
Simbolizar:
Los gatos hablan: r
Los gatos son mamíferos: s, -s
-( r V –s)

No es el caso que el Congreso quiera vacar al presidente o le de la

confianza
Simbolizar:
El Congreso quiere vacar al presidente: s
El Congreso quiere darle la confianza al presidente: t
-(s ≠ t)
 conjuntivas

3. Los colores amarillo y naranja son cálidos, los colores verde y azul
son fríos
• Arreglo lógico: Los colores amarillo y naranja son cálidos Y los colores
verde y azul son fríos

• Ni tengo dinero ni me han pagado

 2. La disyunción / o
Regla de simbolización IV
• Significa que sucede una
proposición, sucede la
Las expresiones del lenguaje natural tales
otra, o suceden ambas.
Es lo que se denomina como "o", "o…o…", "bien…bien…",
“disyunción inclusiva”, "ya…ya…", etc. se sustituirán por el
frente a la disyunción símbolo "v".
exclusiva, que Ejemplos:
usualmente utilizamos en Marca sobre la fotografía o sobre el
el lenguaje natural y que símbolo o sobre ambas: p v q
significa que sucede una Traer lapicero ya sea azul o negro al
u otra, pero no ambas a examen, pero no ambas
la vez.
p≠q
Disyunción
• Rosa estudia medicina o es poeta
• A. L: Rosa estudia medicina o Rosa es poeta
• Simbolizar:
• Rosa estudia medicina: x
• Rosa es poeta: y
•xVy
• Hitcler está muerto o está vivo
• A. L: Hitcler está muerto o Hitcler está vivo
• Hitcler está muerto: s
• Hitcler está vivo: t s≠t
 Disyunción inclusiva
• Marca sobre la fotografía o sobre el símbolo o sobre ambas:

• Accederán a la biblioteca los que tenga carnet o DNI

• Forma lógica: Accederán a la biblioteca los que tenga carnet o
Accederán a la biblioteca los que tenga DNI
• Accederán a la biblioteca los que tenga carnet: p
• Accederán a la biblioteca los que tenga DNI: q
•pVq
 La negación
• La negación es un conector especial porque no enlaza proposiciones sino que se aplica directamente
a sólo una proposición la que está a su derecha. La negación es un operador monádico y tiene un solo
alcance: hacia la derecha, es decir, afecta a una sola variable.

a) El agua es un líquido vital

b) El número 4 es par
• A partir de estas proposiciones se pueden construir nuevas proposiciones que sean sus negaciones,
introduciendo la partícula “no”, ejemplo
c) El agua NO es un líquido vital:
Arreglo lógico: no (el agua es líquido vital)
d) El número 4 NO es par
En la Lógica la partícula NO se usa dentro de la oración sino fuera:

c1: no ~ (El agua es un líquido vital) ………… No es caso que el agua es un

líquido vital
d2: no ~ (El número 4 es par)……….. No es el caso que el número 4 sea par
 Negación simple
• Hoy llueve en Lima
• Hoy NO llueve en Lima
• Formalizar: L. Lógico: No es el caso que hoy llueve en Lima
• Simbolizar:
• Hoy llueve en Lima: p, -p

• No es el caso que no
 Negación simple

• Hoy …..no ……llueve

• Arreglo lógico: No Hoy en Lima llueve
• No es el caso que hoy llueva en Lima
 Negación simple
• Hoy no es Viernes Santo (LN)
• Arreglo lógico: No es el caso que hoy sea Viernes Santo
• Simbolizar:
• Hoy es Viernes Santo: p, ~p: No es el caso que hoy sea Viernes
Santo
 3. La negación
Regla de simbolización II
• La negación. Significa la Las expresiones del lenguaje
negación de la natural tales como "no", "no es
proposición que ponemos cierto", "no es el caso que", "es
a su derecha falso", "es imposible", etc. se
sustituirán por el símbolo "¬“, ~
Ejemplos:
No vendré a cenar esta noche = p:
~p

Nunca votaré en blanco = s: ~ s

 Negación de la conjunción o de la disyunción

h. No es el caso que juan sea honesto y tenga una conducta inmoral

j. No es el caso que Mary esté estudiando o trabajando

h1. ~ (… … … … . .∧ …….)
J1. ~ (… … … … . .∨ …….)

f. ~ (𝑝 ∧ q)
g. ~ (𝑟 ∨ s)
 Negación
• El agua es un líquido vital
• No es el caso que el agua es un líquido vital
• Simboliza
• El agua es un líquido vital: s; ~ s
 Negación Compuesta
• No Hernán es cocinero y no sepa preparar una tortilla
• AL: No es el caso que Hernán es cocinero y Hernan no sepa preparar una tortilla
• Hernán es cocinero: t
• Hernán sabe prepar una tortilla: -u
• Simbolizar: -(t . –u)
• No es el caso ( que todos los días haga frío, sin embargo no estemos en invierno)
• Arreglo lógico: No es el caso ( que todos los días haga frío y no estemos en invierno)
• Todos los días hace frío: s
• Estamos en invierno: t: -t
• -( s . –t)

• No es el caso que no haya crisis política o haya gobernabilidad política

• Arreglo lógico: No es el caso (que no haya crisis política o haya gobernabilidad
política)
• Simbolizar:
• Hay crisis política: p = -p
• Hay gobernabilidad política: q
• -(-p ≠ q)
 Negación compuesta
• No es el caso que los gatos hablen o no sean mamíferos
• Formalizar: L. L: No es el caso (que los gatos hablen o no sean
los gatos mamíferos)
• Simbolizar:
• Los gatos hablen: t
• los gatos son mamíferos: s: -s

• - ( t V –s)
 4) El Condicional Regla de simbolización V
• Es una relación de Las expresiones del lenguaje natural
consecuencia entre dos tales como "si…entonces",
proposiciones: la primera "…luego…", "…por tanto…", "…en
es la condición consecuencia…", "cuando", "…se
(antecedente) y la segunda infiere de…","…se deduce de…","…se
es el resultado
deriva de…","…se demuestra…", etc.
(consecuente). En el
lenguaje natural es habitual se sustituirán por el símbolo “ → ".
encontrarlas expresadas en Ejemplos: "Si hubiera venido a tiempo
orden inverso, por lo que al aun estaría vivo": p → q
simbolizar hemos de tener "Cuando traigan el termómetro, te
cuidado para entender bien tomaré la temperatura": p → q
el sentido de la relación
lógica expresada.
 condicional

• si…..entonces......
• Si me gano la lotería, viajaré por el mundo (L. N)
• Formalizar: Si me gano la lotería entonces viajaré por el mundo
• A: Yo ganaré la lotería entonces: q
• C: Yo viajaré por el mundo : r
• Iremos al cine cuando terminé el ciclo
• Formalizar: si termina el ciclo entonces iremos al cine
 condicionales
• Habrá crisis económica porque alguien toma malas decisiones
• Si….entonces
• Formalizar: SI alguien toma malas decisiones entonces habrá crisis
económica
• A. Alguien toma malas decisiones: p
• C: Habrá crisis económica: q
•p→q
• La tierra será de chocolate si los gatos hablan
• Al cine me iré cuando terminé el ciclo

• Formalizar: si termina el ciclo entonces iremos al cine

• A: termina el ciclo: t

• C: iremos al cine: u
• t→u

• Hay crisis porque hay quienes toman malas decisiones

• formalizar:
 5) El Bicondicional
Regla de simbolización VI
• Significa que las dos Las expresiones del lenguaje natural
proposiciones se tales como "…si y sólo si…",
implican mutua y "…equivale a…", "…es igual a…",
necesariamente. "…vale por…", "…es lo mismo
Equivale a un que…", etc. se sustituirán por el
condicional en símbolo “ ↔ ". Ejemplos:
ambas direcciones: "Un pueblo es democrático si y sólo
sólo ocurrirá la si hay elecciones libres q ": p ↔ q
primera si sucede la
segunda y sólo
sucederá la segunda
si sucede la primera.
 Negación simple

• Hoy llueve en Lima

• Hoy NO llueve en Lima (LN)
• FORMALIZAR: NO ES EL CASO QUE Hoy llueve en Lima
• Hoy llueve en Lima: t: -t
• Nunca llueve en Lima
• Formalizar: L. L: NO ES EL CASO QUE llueva en Lima
• Llueve en Lima: s: -s
 Tablas de Verdad
• Definición. Una tabla de
verdad es una representación
tabular del valor de una
fórmula en todas las posibles
interpretaciones. El número de
posibles interpretaciones de
una fórmula F es 2n donde n
es el número de variables
proposicionales de F. Por
tanto, este método tiene una
complejidad exponencial que
complica su utilización para
fórmulas complejas
Conjunción ˄
• Las conjunciones son las palabras (o conjuntos de
palabras) que funcionan como nexos para unir palabras,
oraciones o proposiciones.
Ej.: El estudia y trabaja en el hospital

En algunos casos, al utilizar el término de enlace “y” pueden

incluirse las palabras “ A la vez”, pero siempre se refiere a la
vez al enlace “y”
Ej.: A la vez estudia y trabaja en el hospital
 Tabla de la verdad Es una tabla que muestra el valor de
verdad de una proposición compuesta, para
cada combinación de verdad que se pueda
asignar.
Conjunción:
La fortaleza es una virtud y ser puntual un valor

SOLO ES VERDADERO
CUANDO AMBOS
p ˄ q
ENUNCIADOS SON
VERDADEROS
V V V
V F F
F V F
F F F
Tabla de la verdad
Disyunción
p ˅ q: Juan es médico o novelista
p ˅ q
Solo es falso
cuando las dos V V V
proposiciones son V F V
falsas F V V
F F F
Tabla de la verdad

NEGACIÓN ̴ ,¬
• p: Hoy es Sábado es F
• ¬ p: Hoy no es sábado es V
 Tabla de la verdad
Condicional →
• Si soy presidente entonces bajaré el precio del pasaje p→q
p → q
Solo es falso
cuando el primero V V V
Es verdadero y el V F F
segundo es falso F
El resto es verdadero
V V
F F V
 EL CONDICIONAL Y LA IMPLICANCIA
• 1. PROPOSICIONES HIPOTÉTICAS

• Si todos los gatos son negros, entonces algunos gatos son negros

• Si me sacara la lotería entonces viajaría a Egipto

• Si vacan al Presidente, entonces de todas maneras habrá Elecciones Generales

• Si no hubiera guerra entonces habría ya nadie compraría armamento

• Si son dado el par de puntos A y B entonces se puede trazar una recta

 Condicional material

• Si Ricardo Palma nació en Lima entonces es peruano

• Si…………………….. Entonces………………………….
antecedente consecuente
Condicional contrafáctico

• Si la luna se ve blanca, entonces la luna es de queso

 Condicional de no atingencia
• Para que una proposición • Ejemplo:
condicional sea lógicamente • s: Si la tierra gira alrededor del
correcta no es necesario que sol, entonces, Lima es la capital
haya una relación de del Perú
atingencia entre el
antecedente y el consecuente. • Esta proposición es verdadera
aunque no hay una relación
• Es decir: La verdad de una alguna entre los significados de
proposición condicional es sus proposiciones componentes
independiente de las
relaciones que puedan existir
o no entre los significados
entre el antecedente y el
consecuente
 Tabla de la verdad
Bicondicional ↔
p q: Ana aprobará el curso si y solo sí estudia

p ↔ q
Es verdadero cuando los
valores de verdad son iguales V V V
y es falso cuando los dos
valores de verdad son V F F
diferentes F V F
F F V
ENLACES

• https://sisbib.unmsm.edu.pe/bibvirtualdata/libros/Filosofia/intro_l
ogica/1_parte.pdf
• http://di002.edv.uniovi.es/~labra/FTP/LPROP.pdf
• Formalizar proposiciones
• https://www.youtube.com/watch?v=b6Ruvl9QE0Y
• Sobre la negación:
• http://www.memoria.fahce.unlp.edu.ar/art_revistas/pr.2423/pr.24
23.pdf