You are on page 1of 86

José Luis Cisneros González

Lógica inferencial
Definición
José Luis Cisneros González
Una inferencia lógica es un razonamiento expresado en una frase,
cuya última parte se afirma con base a lo que previamente se
haya declarado.
Definición y ocupación
Aspectos del razonamiento
El término razonamiento tiene dos acepciones:
• Funcional (la relación entre las premisas y la conclusión) y
• Procesal (la actividad del agente que razona) y
La lógica se ocupa de los razonamientos en el sentido funcional
De hecho en el proceso que lleva de las premisas a la conclusión ,
pueden encadenarse múltiples pasos elementales.
La lógica inferencial estudia las condiciones bajo las cuales estos
pasos son correctos.
José Luis Cisneros González
Aspecto del razonamiento
La lógica inferencial estudia las condiciones bajo las cuales estos
pasos son correctos.
En el caso de que el agente sea humano de los agentes procesales
de los razonamientos se ocupa la psicología.
Pero si el agente es electromecánico, por ejemplo un computador
o un robot entonces es competencia de la inteligencia artificial.
¿Qué es una inferencia?
La inferencia es un razonamiento formal (lo que importa es la
forma), en el sentido de que lo importante es la forma de las
premisas o proposiciones y la conclusión y la relación entre ellas y
no su contenido.
José Luis Cisneros González
Ejemplos del razonamientos
“Si estudio aprendo. Es así que estudio, luego aprendo”
“Todos los hombres son mortales. Sócrates es hombre. Por lo que
Sócrates es mortal”
La conclusión de una inferencia es un premisa o proposición que
se afirma sobre la base de las otras proposiciones que nos dan los
elementos de juicio o razones para aceptar la conclusión.
Estas inferencias expresadas en lenguaje natural, desde la
perspectiva de la lógica inferencial son idénticas, pues se observa
la forma y no el contenido.
Debido a que el lenguaje natural es muy extenso y contiene un
sin número de ambigüedades se utiliza el lenguaje formal para
expresar los razonamientos y la(s) proposición(es).
José Luis Cisneros González
Correcto pero falso
Debido a que la lógica inferencial estudia la forma en que se
forman las conclusiones a partir de las proposiciones, podemos
tener el caso de un razonamiento correcto pero falso.
“Todos lo burros vuelan. Platero es un burro. Por lo que Platero
vuela.”
Las premisas son
1
= Todos los burros vuelan y
2
= Platero es
un burro. Mientras que la conclusión es ∴Platero vuela.
También existen razonamientos Correctos y verdaderos.
La forma es correcta pero el contenido es claramente falso, pues
la primera premisa tiene un valor de falso y siempre lo tendrá, al
menos mientras no haya un burro que vuele.
José Luis Cisneros González
Correcto y verdaderos
Debido a que la lógica inferencial estudia la forma en que se
forman las conclusiones a partir de las proposiciones, también
podemos tener el caso de un razonamiento correcto y verdadero.
“Quien no se presente al examen, reprobará. Juan no se
presentó. Por tanto Juan reprobará”
Las premisas son
1
= Quien no se presente al examen, reprobará
y
2
= Juan no se presentó. Mientras que la conclusión es ∴ Juan
reprobará.
También existen razonamientos Incorrectos y verdaderos.
La forma es correcta y el contenido es claramente verdadero.
José Luis Cisneros González
Incorrecto y verdaderos
Debido a que la lógica inferencial estudia la forma en que se
forman las conclusiones a partir de las proposiciones, también
podemos tener el caso de un razonamiento incorrecto y
verdadero.
“Todos los caballos son mamíferos, y todos los mamíferos son
vertebrados; por consiguiente, algún caballo es blanco.”
Las premisas son
1
= Todos los caballos son mamíferos y
2
=
todos los mamíferos son vertebrados. Mientras que la conclusión
es ∴ algún caballo es blanco.
La forma es incorrecta puesto que a partir de las premisas no se
puede llegar a la conclusión y el contenido es verdadero puesto
que cada premisa es verdadera e inclusive la conclusión también.
A forma de ejercicio plante un razonamiento Incorrecto y falso.
Discútalo en equipo de dos personas para asegurar el estado de
su razonamiento.
José Luis Cisneros González
Resumen
• En la lógica inferencial no interesa tanto la verdad o falsedad
de las proposiciones o premisas, sino las relaciones lógicas
que existen entre ellas.
• Un razonamiento es valido cuando la conclusión se deriva
necesariamente de las premisas.
• La lógica se ocupa de los razonamientos en el sentido
funcional.
• La psicología se encarga del estudio de los razonamientos en
el sentido procesales cuando son desarrollados por humanos.
• La inteligencia artificial se encarga del estudio de los
razonamientos en el sentido procesales cuando son
desarrollados por máquinas.
• Debido a los dos elementos de las proposiciones (forma y
valor de verdad) podemos tener razonamientos Correctos y
falsos, Correctos y Verdaderos, Incorrectos y falsos,
Incorrectos y verdaderos.
José Luis Cisneros González
Preguntas
¿Qué estudia la lógica inferencial?
¿Porqué la lógica utiliza el lenguaje formal, en lugar del lenguaje
natural?
¿Qué estudia la psicología?.
¿Qué estudia la Inteligencia artificial?
Plantee un razonamiento correcto y falso. Explique el porqué es
correcto y el porqué es falso.
¿Qué es una inferencia?
Plantee un razonamiento correcto y verdadero. Explique el
porqué del estado de su razonamiento.
Plantee un razonamiento incorrecto y verdadero. Deberá
explicar el porqué es correcto y porqué es cierto.
José Luis Cisneros González
La Proposición y los
conectores lógicos
Tipos y clasificaciones.
Tablas de verdad
José Luis Cisneros González
Concepto de proposición o Premisa
 Los hombres enuncian. Lo que enuncian son oraciones. Estas oraciones, a
su vez, expresarán proposiciones siempre y cuando se traten de oraciones
informativas. Entonces, podemos definir a las proposiciones en función
de las oraciones que las expresan. Podemos decir que una proposición es
el significado de una oración que cumple una función informativa o
referencial y que, además, tiene valor veritativo, es decir, puede ser
verdadera o falsa. Inversamente, toda oración de la que tenga sentido
afirmar que es verdadera o falsa, expresará una proposición.

 Por ejemplo, si decimos “No está lloviendo” o “It isn’t raining”, estas
oraciones expresarán la misma proposición por tener el mismo
significado.

 El que esa proposición sea verdadera o falsa dependerá de las
circunstancias o estado de cosas de la realidad en las que ha sido dicha la
oración aseverativa que la expresa. Si hoy llueve, pero mañana no,
entonces decir hoy “No está lloviendo” expresará una proposición falsa, y
decir mañana lo mismo expresará una proposición verdadera.
José Luis Cisneros González
No son proposiciones
• Las oraciones no aseverativas no son proposiciones por no ser calificables de
verdaderas o falsas. Entre estas tenemos: las interrogativas (¿Dónde está el control
remoto?), las exclamativas (¡Magnífico!), las imperativas (Cierra la ventana) y las
desiderativas (Deseo que te vaya bien).

• Sin embargo, existen las llamadas proposiciones elípticas que son oraciones
exclamativas que son susceptibles de una interpretación en términos de
proposiciones. Por ejemplo: “¡Oro!” puede interpretarse como “En la mina hay
oro”; “¡Gol!” se interpretará como “Ese equipo ha anotado en el arco contrario”.

• Tampoco constituyen proposiciones las que resultan de atribuirle un predicado a un
sujeto incapaz de poseer tal predicado. Estas son llamadas seudoproposiciones. Por
ejemplo: “El ventilador es honrado”

• Las descripciones definidas por ser frases reemplazables por un nombre no tiene la
forma de una oración completa (de sujeto y predicado). Ejemplos: “El autor del
Quijote”, “El cuadrado de dos”. Un nombre no es una proposición sino un
componente de ella
José Luis Cisneros González
Clases de proposición
De acuerdo al criterio de si hay o no conectores lógicos
en la formulación de una proposición, podemos
clasificarlas en:

 1. Proposiciones simples, o atómicas
Es aquella proposición que no tiene negaciones ni conectores lógicos
en su formulación.
Transmite un solo mensaje

 2. Proposiciones complejas, moleculares o
compuestas
Son aquellas que tienen negaciones o conectores lógicos.
Transmiten más de un mensaje (o un mensaje negado, es decir, no-
simple)
José Luis Cisneros González
Proposición simple
La proposición simple constituye el núcleo proposicional mínimo por no tener relación con
ninguna otra proposición sino que es única y simple.

De acuerdo al criterio del número de sujetos presentes en la proposición simple esta puede ser:

 1. Proposición simple predicativa
Son proposiciones simples en las que se atribuye predicado a un sujeto.

 Ejemplos:
 El número 2 es par
 La gallina es un ave
 Lima es la capital de Bolivia
 Hoy es un día soleado

 2. Proposición simple relacional
Son proposiciones simples que indican una relación recíproca entre dos o más sujetos

 Ejemplos:
 Silvia es hermana de Ágata
 6 es mayor que 1
 María conversa con Susana
 Juan y José son amigos

José Luis Cisneros González
Proposición compuesta
De acuerdo al criterio del conector de mayor jerarquía este tipo de
proposiciones se dividen en:

 1. Proposición compuesta conjuntiva (.) (lenguaje natural y)

 2. P. C. disyuntiva inclusiva (v) (lenguaje natural o)

 3. P. C. disyuntiva exclusiva (v) (lenguaje natural o bien… o bien)

 4. P. C. condicional (→) (Si … entonces)

 5. P. C. bicondicional (↔) (Si y solo si)

 6. P. C. negativa (~) (No, No es cierto que)
José Luis Cisneros González
Proposición compuesta conjuntiva
Resulta de unir dos o más proposiciones mediante el conector lógico de la conjunción.
En el lenguaje ordinario no siempre se emplea para la conectiva “y” la palabras y. Se
usan como sustitutos otras expresiones conjuntivas como “sino”, “además”, “mas”,
“aún cuando”, “pero”, “no obstante”, “sin embargo”, “aunque”, “empero”, “también”,
“mientras que”, “tanto…como…”

 Ejemplos:
 El profesor de biología es amistoso y sabio, pero también es estricto
 No asistió a clases, no obstante está al día en su cuaderno
 Pedro perdió tanto dinero como Juan
 El juego ha empezado, igualmente la tómbola

 Excepciones:

Los siguientes ejemplos no se refieren a proposiciones conjuntivas porque no se pueden
desdoblar en dos proposiciones unidas mediante una conjunción
 Francisco es a la vez juez y parte
 Pan y circo destruyó a los romanos
 Andrés y Daniela son hermanos
 Juan tomó su vino y se desmayó

En el primer y segundo caso estamos ante locuciones adverbiales. En el tercer caso, se trata de
una proposición simple relacional. En el cuarto, la partícula “y” indica una relación causal no
una conjunción.
José Luis Cisneros González
Conjunción
“y”
Símbolo:
.
a
: "Tengo un lápiz"

b
: "Tengo un cuaderno"
b a.
: "Tengo un lápiz y un cuaderno "
b a. b
0
1
1
0 0
0 0
0 0 1
1 1
Tabla de verdad
Lenguaje
Relacionado
“pero”
Ejemplo
a
José Luis Cisneros González
Proposición compuesta disyuntiva inclusiva
Resulta de unir dos o más proposiciones mediante
el símbolo de la disyunción “o”. Se le llama
disyunción inclusiva porque no excluye la
posibilidad de que todas las proposiciones unidas
por el símbolo “o” sean verdaderas a la vez.

Ejemplos:
 Mónica es bióloga o física
 El libro es voluminoso o interesante
 Margarita está aquí o Elena está en su casa
 Gerardo está en el colegio o Clotilde está jugando
 Se puede elegir té o café

José Luis Cisneros González
Disyunción inclusiva
19
“o”
Símbolo:
a
: "Tengo un lápiz"

b
: "Tengo un cuaderno "
: "Tengo un lápiz o un cuaderno "
0
1
1
0 0
0 1
0 1 1
1 1
Tabla de verdad
v
v a b
Lenguaje
Relacionado
Ejemplo
b av
a
b
José Luis Cisneros González
Proposición compuesta disyuntiva exclusiva
Resulta de unir dos o más proposiciones mediante el
conector lógico de la disyunción exclusiva “˅”. Se le llama
disyunción exclusiva porque excluye la posibilidad de que
todas las proposiciones unidas sean verdaderas a la vez. Si se
da una posibilidad no pueden darse las otras.

 Ejemplos:
 Iré al cine o al teatro o al museo
 Pediré sopa o entrada … (¿Pueden ser ambos?)
 Vives en el Callao o eres sanborjino.
 O bien estás vivo, o bien estás muerto
 O San Martín nació en Argentina o en el Perú.
 Es alumno o trabaja en una fábrica de zapatos.
 Es peruano o es japonés … (¿Puede ser ambos?)
José Luis Cisneros González
Disyunción exclusiva
“0……o.…..”
Símbolo:
Ejemplo
a
: “Daniel está en España "

b
: “Daniel está en Italia"
: “Daniel está en España o en Italia"
0
0
1
0 0
0 1
0 1 1
1 1
Tabla de verdad
b
“o bien……o bien…..”
v
( ) ( ) b a b a . ÷ . v
b av
b av
Lenguaje
Relacionado
a b
b
a
Significa:
a
José Luis Cisneros González
Proposición compuesta condicional
• La conectiva condicional “Si…entonces…” vincula dos proposiciones atómicas o
moleculares. La proposición resultante se llama proposición compuesta condicional.
La proposición interpolada entre las palabras “si” y “entonces” se denomina
antecedente. La que sigue a la palabra “entonces” se le llama el consecuente. Otras
expresiones usadas en lugar de “si…entonces…” son: “…por consiguiente…”,
“…luego…”, “…de manera que…”, “…de ahí que…”, “…por lo tanto…”, “…en
consecuencia…”, “…es una condición suficiente de…”. Estas expresiones se
simbolizarán así: p→q y se leen “Si pe entonces qu”.

• Pero no siempre el antecedente suele anteponerse al consecuente. También existe
la posibilidad de que sea a la inversa. “p cada vez que q”, “p dado que q”, “p ya que
q”, “p puesto que q”, “p porque q”, “p supone q”, “p a condición de que q”, “p es
una condición necesaria de q”, “p en vista de que q”. Todos los ejemplos anteriores
se simbolizarán así: q→p

• Ejemplos:
– Si comes mucho, no adelgazarás (p→q)
– Si esta figura tiene tres lados entonces es un triángulo. (p→q)
– Como su producción crece Juan podrá bajar su precio. (p→q)
– Eres cantante si tienes cualidades. (q→p)
– No fui a la reunión porque estuve enfermo (q→p)
– Renuncié a ese empleo en vista de que me subempleaban (q→p)
José Luis Cisneros González
Condicional
a
Símbolo:
Ejemplo
a
: “Apruebas el examen de ingreso a la universidad"
b
: “Te regalaré un carro"
: “Si apruebas el examen de ingreso a la
universidad entonces te regalaré un carro"
0
1
1
0 1
0 1
0 0 1
1 1
Tabla de verdad
b
b a÷
b a÷
b a ÷
Lenguaje
Relacionado
“Si…..entonces.….”
a b
José Luis Cisneros González
Condicional
Antecedente
Hipótesis
Premisa
Consecuente
Tesis
Conclusión.
b a÷
OTROS LENGUAJES RELACIONADOS:
a implica b
Basta a para b
a sólo si b
b si a
b cada vez que a
a solamente si b
b siempre que a
b puesto que a
b porque a
b con la condición de que a
José Luis Cisneros González
Condicional
“a es condición suficiente para b”
“b es condición necesaria para a”
Ejemplo:
Condición Necesaria y
Condición Suficiente
"Si un número es divisible para 4 entonces es divisible para 2"
1. “La divisibilidad para 4 es condición suficiente para la divisibilidad para 2"
“Es suficiente que un número sea divisible para 4 para que se divisible para 2"
2. “La divisibilidad para 2 es condición necesaria para la divisibilidad para 4"
“Es necesario que un número sea divisible para 2 para que se divisible para 4"
José Luis Cisneros González
Condicional
b a÷
Variaciones
LA RECÍPROCA:
b a ÷
LA INVERSA:
a b ÷ ÷÷
LA CONTRA RECÍPROCA:
b a ÷ ÷÷
Ejemplo:
Si me pagan entonces iré a trabajar
“Iré a trabajar si me pagan”
LA RECÍPROCA:
LA INVERSA: Si no me pagan entonces no iré a trabajar
LA CONTRA RECÍPROCA:
Si no me pagan, entonces no voy a trabajar
José Luis Cisneros González
Condicional
b a÷
VARIACIONES
Importante
"Si un número es divisible para 4 entonces es divisible para 2"
RECÍPROCA:
"Si un número es divisible para 2 entonces es divisible para 4"
Falso
Contraejemplo:
“6 es divisible para 2, pero no es divisible para 4"
Condicional:
José Luis Cisneros González
Proposición compuesta bicondicional
La proposición p↔q es una proposición compuesta
bicondicional. El símbolo ‘↔’ se lee: si y solo si. Otras
expresiones equivalentes en el lenguaje ordinario son:
“cuando y solo cuando”, “es una condición necesaria y
suficiente”, “si y solamente si”.

 Ejemplos:
 Te acompañaré a la fiesta si y sólo si tú pagas el taxi
 Para que Luis viaje a Alemania es una condición necesaria
y suficiente que obtenga la visa.
 La naranja es agradable cuando y solo cuando está
madura.
 Juan es profesional siempre y cuando tiene título
universitario.
 Ingresas a la universidad si y solamente si te
comprometes con la investigación.



José Luis Cisneros González
Bicondicional
a
b a ÷
Símbolo:
( ) ( ) a b b a ÷ . ÷
0
1
1
0 1
0 0
0 0 1
1 1
TABLA
DE
VERDAD
b b a ÷
Lenguaje
Relacionado
Ejemplo:
Significa:
a
: “Un triángulo es equilátero”
b
: “Un triángulo tiene sus ángulo de igual medida”
: “Un triángulo es equilátero si y sólo si tiene sus
ángulos de igual medida”
a b ÷
“…..si y sólo si.….”
a b
a
José Luis Cisneros González
Proposición compuesta negativa
 La negación “no” es un operador monódico que afecta a una
proposición o a un conjunto de proposiciones. Otras expresiones
usadas como sustituto de la negación son: “ni”, “nunca”, “no
siempre”, “no ocurre que”, “no es el caso que”, “es imposible que”,
“no es cierto que”, “es falso que”, “no es verdad que”, “jamás”,
“tampoco”, “le falta”, “carece”, “sin”.

 El dominio o alcance del operador de la negación es variable.
Puede abarcar una proposición o dos, o todo un conjunto de
proposiciones. Este alcance o dominio es indicado por signos de
agrupación, paréntesis, corchetes, llaves, etc.

 Ejemplos:
 Nunca he oído esa música
 Jamás he visto a mi primo
 Es impensable que la mesa sea una silla
 Es falso que el juez sea fiscal
 Al papá de Daniela le falta carácter
 No es cierto que el salmón y el guano sean mamíferos

José Luis Cisneros González
Negación
OPERADORES (CONECTORES) LÓGICOS
-No
Símbolo : ÷
b ÷
a ÷
Ejemplos
: "Hoy no es Lunes "
:“ No Estoy en la clase de Física"
-No es verdad que
-No es cierto que




a
a ÷
0
0 1
1
Tabla de verdad
Lenguaje
Relacionado
~
José Luis Cisneros González
Proposiciones simples y compuestas
Simples:
No poseen operador lógico
Compuestas:
Formadas por varias proposiciones y
operadores lógicos
( ) ( ) ( )
a b c a b v .÷ ÷ ÷
Ejemplo:
El valor de verdad de una
proposición compuesta
depende del valor de
verdad de sus
proposiciones simples.
Suponga que:
1 a ÷
0 b ÷
1 c ÷
( ) ( ) ( ) ( )
1 0 1 1 0 v .÷ ÷ ÷

Significa es
equivalente o
Equivale a
1 0 0
0
1
José Luis Cisneros González
Proposiciones simples y compuestas
( ) ( ) ( )
a b c d a c d ( ( ÷ ÷ ÷ ÷ . ÷ . . ÷ .
¸ ¸ ¸ ¸
Determine el valor de verdad de las
proposiciones simples sabiendo que el valor de
verdad de la proposición compuesta es
VERDADERO.
1
1
1
1 1 1
1 a ÷
0 c ÷
1 d ÷
1 0
0 0
1
1
0 b ÷
José Luis Cisneros González
Resumen
Proposición
Simple
Compuesta
Es aquella proposición que no
tiene negaciones ni conectores
lógicos en su formulación.
Transmite un solo mensaje
Son aquellas que tienen negaciones o
conectores lógicos. Transmiten más
de un mensaje (o un mensaje negado,
es decir, no-simple)
Predicativa
Son proposiciones simples en las que
se atribuye predicado a un sujeto
Relacional
Son proposiciones simples que indican una
relación recíproca entre dos o más sujetos
• Conjuntiva (˄) y
• Disyuntiva inclusiva (˅) o,
• Disyuntiva exclusiva (˅) o,
• Condicional () (Si…entonces)
• Bicondicional () Si …y solo
si,
• Negativa (~) No.

José Luis Cisneros González
Resumen Tablas de verdad
p q p˄q p˅q p˅q pq pq ~q
1 1 1 1 1 1 1 0
1 0 0 1 0 0 0 1
0 1 0 1 0 1 0 0
0 0 0 0 1 1 1 1
José Luis Cisneros González
Ejercicios
Reconozca el tipo de proposición. Si es simple indique si es relacional o
predicativa. Si es compleja indique si se trata de una proposición
conjuntiva, disyuntiva, condicional, etc.

• 1. Aunque está enfermo vendrá a la reunión
• 2. Juan y Pamela estudian en casa de Pedro y Ricardo
• 3. Movió al Rey e hizo jaque mate.
• 4. Si ahorro, entonces ya no gasto tanto.
• 5.Ni canta, ni baila, ni sirve como conductor de televisión.
• 6. Luego de correr 4 vueltas a la manzana, me sentí cansado.
• 7. Salí del país, porque dijeron que era un traidor
• 8. Los jóvenes al poder, lo viejos a la tumba.
• 9. Thales se cayó en un agujero y despertó la risa de la esclava tracia
• 10. Eres un profesor o eres un alumno
• 11. Mientras que Paolo y Rebeca se pelean, Claudia y Mario se
reconcilian.
José Luis Cisneros González
Proposiciones simples y compuestas
Determine el valor de verdad de las
proposiciones simples sabiendo que el valor de
verdad de la proposición compuesta es FALSA.
(~p ⇒ q) ∨(r ⇒ ~s)
José Luis Cisneros González
Ejercicio
Determine el valor de verdad de las
proposiciones simples sabiendo que el valor de
verdad de la proposición compuesta es
VERDADERO.
∼[(r ∨ q) →(r → p)] ≡ V
q ≡ 0
José Luis Cisneros González
Lenguaje Formal
• En la lógica no es tan importante la verdad o falsedad de las
premisas o proposiciones, sino las relaciones lógicas que existen
entre ellas.
• Un razonamiento es valido cuando la conclusión se deriva de las
premisas.
• En el lenguaje formal todo razonamiento es de la forma
1. P1:
2. P2:
3. P3:
∴ Conclusión

Donde

son las premisas o proposiciones simples o
compuestas y C es la conclusión simple o compuesta

1

2

3

4


José Luis Cisneros González
Formas Proposicionales


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
0
1
1
0
0
0
0
0
0
1
1
1
0
1
0
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
0
1
1
0
0
0
0
0
0
1
1
1
0
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
0
1
1
0
0
0
0
0
1
1
1
0
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
1
0
0
0
0
0
1
1
1
0
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
0
1
0
1
0
1
0
0
1
0
1
0
1
0
1
1
0
0
0
0
0
1
1
1
0
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
0
1
0
1
0
1
0
1
1
0
0
0
0
0
1
1
1
0
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
0
1
0
1
0
1
0
1
1
0
0
0
0
0
1
1
1
0
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
0
1
0
1
0
1
0
1
1
0
0
0
0
1
1
1
0
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
0
1
0
1
0
1
1
1
0
0
0
0
1
1
1
0
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
0
1
0
1
1
1
0
0
0
0
1
1
1
0
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
1
0
1
0
1
0
1
0
1
0
1
1
1
0
0
0
0
1
1
1
0
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
1
0
1
0
1
0
1
0
1
0
1
1
1
0
0
0
0
1
1
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
1
0
1
0
1
0
1
0
1
0
1
1
1
0
0
0
1
1
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
1
0
1
0
1
0
1
0
1
0
1
1
0
0
0
1
1
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
1
0
1
0
1
0
1
0
1
0
1
1
0
0
0
1
1
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
1
0
1
0
0
1
0
1
0
1
1
0
0
0
1
1
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
0
1
0
1
0
0
1
0
1
0
1
1
0
0
0
1
1
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
0
1
0
1
0
0
1
0
1
0
1
1
0
0
0
1
1
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
0
1
0
1
0
0
1
0
1
0
1
1
0
0
1
1
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
0
1
0
1
0
0
1
0
1
1
1
0
0
1
1
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
0
1
0
1
0
1
0
1
1
1
0
0
1
1
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
0
1
0
1
0
1
0
1
1
1
0
0
1
1
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
0
1
0
1
0
1
0
1
1
1
0
0
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
0
1
0
1
0
1
0
1
1
1
0
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
0
1
0
1
0
1
0
1
1
0
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
0
1
0
0
1
0
1
1
0
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
0
1
0
0
1
0
1
1
0
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
0
1
0
0
1
0
1
1
0
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
0
1
0
0
1
0
1
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
0
1
0
0
1
1
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
0
1
0
1
1
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
0
1
0
1
1
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
0
1
0
1
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
0
1
0
1
1 1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
0
1
0 1 1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
0 0 1 1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1 0 0 1 1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1 0 0 1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1 0 0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1 0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0


1
1
1
1
0
0
0
0
1
1
0
0


1
1
1
1
0
0
0
0


1
1
1
1
Expresión constituida por símbolos que
representan o conectores lógicos o variables
proposicionales.
Ejemplo
( ) ( ) ( )
p q r p q v .÷ ÷ .


núm. var. prop.
Total = 2
p q r p q v r ÷
( )
p q r v .÷
p q .
( ) ( ) ( )
p q r p q v .÷ ÷ .
José Luis Cisneros González
Formas Proposicionales
1
Ejemplo ( ) ( )
p q p q ÷ ÷ ÷ v
1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1
1
1 1 0 1 1 1
1
1
0
1 0 1 1 1
1
1
0
1
0
0 1 1 1
1
1
0
1
0
0
0
1 1 1
1
1
0
1
0
0
0
1
0


1 1
1
1
0
1
0
0
0
1
0
1
1
1
1
0
1
0
1
0
0
0
1
0
1 1
1
0
1
0
1
1
0
0
0
1
0
1 1
1
0
1
0
1
1
0
1
0
0
1
0
1 1
1
0
1
0
1
1
0
1
0
0
1
1
0
1 1
1
0
1
0
1
1
0
1
0
0
1
1
0
1
1 1
1
0
1
0
1
1
0
1
0
0
1
1
0
1
1
1
1
1
1
0
0
1
0
1
1
0
1
0
0
1
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
0
0
1
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
1
0
0
1
1
1
0
1
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
1
0
0
1
1
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
1
0
0
1
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
1
0
0
1
1
1
0
1
1
1
1
1
1
p q
q p ÷
p ÷ q p v ÷
( ) ( ) p q p q ÷ ÷ ÷ v
Si se obtienen sólo proposiciones verdaderas para todos los
valores de verdad de las variables proposicionales
TAUTOLOGÍA
Si se obtienen sólo proposiciones falsas
Si se obtienen proposiciones verdaderas y otras
falsas.
CONTRADICCION:
CONTINGENCIA:
José Luis Cisneros González
Implicaciones Lógicas
Sean A y B dos formas proposicionales, se
dice que A implica lógicamente a B si y sólo
si es una tautología.
A B ÷
En este caso se escribe: B A¬
Ejemplo
( ) ( )
p q p q ÷ ¬ ÷ v
José Luis Cisneros González
Implicaciones Lógicas
Algunas implicaciones lógicas típicas son:
| | q p p v ¬
Adición
| | p q p ¬ .
Simplificación
( ) | | q q p p ¬ ÷ .
Modus Ponens
( ) | | p q q p ÷ ¬ ÷ . ÷
Modus Tollens
( ) | | q p q p ¬ ÷ . v
Silogismo Disyuntivo
( ) ( ) | | | | r p r q q p ÷ ¬ ÷ . ÷
Silogismo Hipotético
José Luis Cisneros González
Equivalencias Lógicas
1
1
1
0
1
0
0
0
1
0
1
1
1
1
0
1
0
1
0
0
0
1
0
1 1
1
0
1
0
1
1
0
0
0
1
0
1 1
1
1
0
1
0
0
0
1
0


1 1
1
0
1
0
1
1
0
1
0
0
1
0
1 1
1
0
1
0
1
1
0
1
0
0
1
1
0
1 1
1
0
1
0
1
1
0
1
0
0
1
1
0
1
1 1
1
0
1
0
1
1
0
1
0
0
1
1
0
1
1
1
1
1
1
0
0
1
0
1
1
0
1
0
0
1
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
0
0
1
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
1
0
0
1
1
1
0
1
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
1
0
0
1
1
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
1
0
0
1
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
1
0
0
1
1
1
0
1
1
1
1
1
1
1
1
1
0
1
0
0
0
1 1
Sean A y B dos formas proposicionales. Se dice
que A es lógicamente equivalente a B si y sólo si
es una tautología.
B A÷
En este caso se escribe:
También:
q p ÷ q p v ÷
Ejemplo
B A·
B A÷
¬
1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1
1
1 1 0 1 1 1
1
1
0
1 0 1 1 1
1
1
0
1
0
0 1 1
p q
q p ÷
p ÷ q p v ÷
( ) ( ) q p q p v ÷ ¬ ÷
:
·
÷
José Luis Cisneros González
Algebra de proposiciones
CONJUNCIÓN DISYUNCIÓN
( ) 1 1 ÷ v p
( ) 0 0 ÷ . p
( ) ( ) r q p r q p v v ÷ v v ( ) ( ) r q p r q p . . ÷ . .
( ) ( ) p q q p . ÷ .
( ) ( ) p q q p v ÷ v
( ) p p p ÷ .
( ) p p p ÷ v
( ) p p ÷ .1
( ) p p ÷ v 0
Conmutativa

Asociativa
Idempotencia
Identidad
Absorción
José Luis Cisneros González
Algebra de proposiciones
( ) ( ) ( ) r p q p r q p v . v ÷ . v
( ) ( ) ( ) r p q p r q p . v . ÷ v .
Leyes distributivas
( ) p p ÷ ÷ ÷ Doble negación
( )
p q p q ÷ . ÷ ÷ v ÷
Leyes de De Morgan
( ) ( ) p q q p ÷ ÷ ÷ ÷ ÷
( ) ( ) q p q p v ÷ ÷ ÷
Contrarrecíproca
Implicación
( )
p q p q ÷ v ÷ ÷ . ÷
José Luis Cisneros González
Algebra de proposiciones
Ley del tercer excluido ( )
1 p p v ÷ ÷
( )
0 p p . ÷ ÷
Ley de la contradicción
( ) ( )
p q r p q r ( ( . ÷ ÷ ÷ ÷
¸ ¸ ¸ ¸
Ley de exportación
( ) ( )
0 p q p q ( ÷ ÷ . ÷ ÷
¸ ¸
Reducción al absurdo
José Luis Cisneros González
Simbolización de proposiciones lógicas
Simbolizar una expresión requiere tener en
cuenta los símbolos para los conectores,
identificar las conectivas, identificar las
proposiciones simples, colocar los símbolos de
las conectivas, sustituir las proposiciones por
las letras correspondientes para de ahí armar
la expresión lógica correspondiente.
José Luis Cisneros González
Ejemplos
Las computadoras trabajan más rápido que los
hombres.
p
José Luis Cisneros González
Ejemplos
No tengo un auto azul.
~p
José Luis Cisneros González
Ejemplos
Marcela estudia en Tijuana y Ángeles en Mexicali.
˄
p q
p ˄ q
José Luis Cisneros González
Ejemplos
Bailamos o tomamos café.
˅
p q
p ˅ q
José Luis Cisneros González
Ejemplos
Si cantamos entonces necesitamos viajar.
p
q
p  q

José Luis Cisneros González
Ejemplos
Leeré este libro si solo si tiene pocas hojas.
p
q
p  q

José Luis Cisneros González
Ejemplos
No es cierto que si no tomamos café implica que no es
de día.
p
q
~(~p ~q)

~ ~ ~ 
José Luis Cisneros González
Ejemplos
La tierra gira alrededor del sol o no se da que la luna
es un planeta.
p q
p ˅~q
~ ˅
José Luis Cisneros González
Ejemplos
Si trabajara los fines de semana y durmiera menos
entonces no perdería el vuelo
p q
(p ˄q)  ~r
~ ˄
r
José Luis Cisneros González
Ejemplos
Es falso que vivo en Tijuana, pero visitaré a mi familia en
Ensenada
p q
~p ˄q
~
˄
José Luis Cisneros González
Ejemplos
No iremos al partido a menos que salga el sol
p
q
p  q

José Luis Cisneros González
Ejemplos
Ana es profesora o es estudiante pero no puede ser
ambas cosas a la vez
p
q
(p˅ q) ˄ ~(p˄q)
˅ ˄ ~
José Luis Cisneros González
Reglas de precedencia entre los
conectores lógicos
• Negación (~)
• Conjunción (˄)
• Disyunción (˅)
• Condicional ()
• Bicondicional ()
José Luis Cisneros González
Ejercicios de precedencia entre los
conectores lógicos
~ p q˄r ((~ p) (q˄r))
p˅~q r˅s ((p˅(~q)) (r˅s))
p ~q ˅ ~r
(p ((~q) ˅(~r)))
p˄~q ~r ˅ s
((p˄(~q)) ((~r) ˅ s))
José Luis Cisneros González
Ejemplos Formalización de Inferencias
Si Rosa participa en el maratón escolar entonces los estudiantes
se enojan con ella, y si no participa en el maratón escolar, los
profesores se enojan con ella. Pero, Rosa participara en el
maratón escolar o no participara. Por lo tanto, los estudiantes o
los profesores se enojan con ella.
p = Rosa participa en el maratón.
q = los estudiantes se enojan con Rosa.
r = los profesores se enojan con Rosa.
Formalice el siguiente enunciado.
José Luis Cisneros González
Ejemplos Formalización de
Inferencias
Si Rosa participa en el maratón escolar entonces los estudiantes
se enojan con ella, y si no participa en el maratón escolar, los
profesores se enojan con ella. Pero, Rosa participara en el
maratón escolar o no participara. Por lo tanto, los estudiantes o
los profesores se enojan con ella.
p = Rosa participa en el maratón.
q = los estudiantes se enojan con Rosa.
r = los profesores se enojan con Rosa.
(p q)
Formalice el siguiente enunciado.
José Luis Cisneros González
Ejemplos Formalización de
Inferencias
Si Rosa participa en el maratón escolar entonces los estudiantes
se enojan con ella, y si no participa en el maratón escolar, los
profesores se enojan con ella. Pero, Rosa participara en el
maratón escolar o no participara. Por lo tanto, los estudiantes o
los profesores se enojan con ella.
p = Rosa participa en el maratón.
q = los estudiantes se enojan con Rosa.
r = los profesores se enojan con Rosa.
(p q) ˄ (~p r)
Formalice el siguiente enunciado.
José Luis Cisneros González
Ejemplos Formalización de Inferencias
Si Rosa participa en el maratón escolar entonces los estudiantes
se enojan con ella, y si no participa en el maratón escolar, los
profesores se enojan con ella. Pero, Rosa participara en el
maratón escolar o no participara. Por lo tanto, los estudiantes o
los profesores se enojan con ella.
p = Rosa participa en el maratón.
q = los estudiantes se enojan con Rosa.
r = los profesores se enojan con Rosa.
(p q) ˄ (~p r) ˄ (p˅~p)
Formalice el siguiente enunciado.
José Luis Cisneros González
Ejemplos Formalización de Inferencias
Si Rosa participa en el maratón escolar entonces los estudiantes
se enojan con ella, y si no participa en el maratón escolar, los
profesores se enojan con ella. Pero, Rosa participara en el
maratón escolar o no participara. Por lo tanto, los estudiantes o
los profesores se enojan con ella.
p = Rosa participa en el maratón.
q = los estudiantes se enojan con Rosa.
r = los profesores se enojan con Rosa.
[(p q) ˄ (~p r) ˄ (p˅~p)+  q˅r
Formalice el siguiente enunciado.
José Luis Cisneros González
Ejemplos Formalización de Inferencias
Si viene en tren, llegará antes de las seis. Si viene en coche,
llegará antes de las seis. Luego, tanto si viene en tren como si
viene en coche, llegará antes de las seis.
A) [p⋀(r→q)+→*(p⋁r)→q+
¿Cuál de las formalizaciones es la correcta?
B)[(p→q)→(r→q)] → (p⋁r→q)
C) (p→q)⋀(r→q)→(p⋁r)⋀q
D) [(p ⋀ q) ⋀ (r → q)] → [(p ⋁ r) → p]
E) [(p → q) ⋀ (r → q)] → [(p ⋁ r) → q]
José Luis Cisneros González
Ejemplos Formalización de Inferencias
Si no apruebas o no resuelves este problema, entonces es falso
que, hayas estudiado o domines la deducción lógica. Pero no
dominas la deducción lógica aunque has estudiado.
A)[(~p ∨ ~q) → (~r ∨ s)] ⋀ ~s ⋀ r
¿Cuál de las formalizaciones es la correcta?
B) [(~p ∨ ~q) → (~r ∨ s)] ∨~s ⋀ r
C) [~(p ∨ q) → ~(r ∨ s)] ⋀ ~s ⋀ r
D) [(~p ∨ ~q) → ~(r ∨ s)] ⋀ ~s ⋀ r
E)[(~p ∨ ~q) → ~(r ∨ s)] ⋀ s ⋀ r
José Luis Cisneros González
Ejemplos Formalización de
Inferencias
Llueve y las brujas no se peinan o bien hace sol y las brujas no
se peinan.
A) (p∧r)∧(q∧r)
¿Cuál de las formalizaciones es la correcta?
B) (p∧r)∨(q∧r)
C) (p∧~r)∨(q∧~r)
D) (p∧~q)∨(r∧~q)
E) (p∧q)∨(r∧q)
José Luis Cisneros González
Ejemplos Formalización de
Inferencias
Si los elefantes volaran o supieran tocar el acordeón, pensaría
que estoy tan loco como una cabra y dejaría que me internaran
en un psiquiátrico.
A) (p ⋁ q) ⋁ (r ⋀ s)
¿Cuál de las formalizaciones es la correcta?
B) (p ⋁ q) ⋀ (r ⋀ s)
C) (p ⋁ q) → (r ⋀ s)
D) (p ⋁ q → r) ⋀ s)
E) p ⋁ q → r ⋀ s
José Luis Cisneros González
Ejemplos Formalización de
Inferencias
Si no es cierto que las estrellas emiten luz y que los planetas la
reflejan, entonces éstos no giran alrededor de ellas.
A) (~p∧q) → ~r
¿Cuál de las formalizaciones es la correcta?
B) ~[(p∧q) → ~r]
C) ~(p∧q) → ~r
D) (~p∧q) → r
E) (~p∧q) → ~r
José Luis Cisneros González
Ejemplos Formalización de
Inferencias
"Pablo atiende en clase" = p ; " Pablo estudia en casa = q; "Pablo
fracasa en los exámenes" = r ; "Pablo es aplaudido" = s ;
1. Si Pablo no atiende en clase o no
estudia en casa, fracasará en los
exámenes y no será aplaudido
¿Cuál formalización corresponde a cual enunciado?
C. (~p˅~q)  (r˄~s)
D. ~ (p˄q)  (r˅~s)
B. (p˄q)  (r˄~s)
A. (p˄q) v (r˄~s)
2. Si no es el caso que Pablo atiende en
clase y estudia en casa, entonces fracasará
en los exámenes o no será aplaudido
3. Pablo atiende en clase y estudia en casa
o, por otra parte, fracasa en los exámenes
y no es aplaudido
4. Únicamente si Pablo atiende en clase y
estudia en casa, no se dará que fracase en
los exámenes y no sea aplaudido
José Luis Cisneros González
Ejemplos Formalización de Inferencias
Otorga, ordenadamente, variables proposicionales a las diferentes
oraciones de cada caso.
1. "Si escoges tus deseos y tus miedos, no
existirá para ti ningún tirano". Epicteto
¿Cuál formalización corresponde a cada enunciado?
D. (~p  q)  ˄ (p  ~q)
E. (p˄q)  ~r
C. p  q
B. ~p  ~q
2. "Quién tiene un porqué para vivir
puede soportar cualquiera como".
Nietzsche
3. "El mundo entero es un escenario y
todos los humanos somos unos actores".
Shakespeare
4. "Cuando uno no tiene imaginación, la
muerte es poca cosa; cuando uno la tiene,
la muerte es demasiado". Céline
5. "Ojos que no ven, corazón que no
siente".
A. p ˄ q
José Luis Cisneros González
Ejemplos Formalización de Inferencias
La proposición: [r ⋀ ~(p ⇒ q)] ⋀~[p⋀~(s→q)] es verdadera. Los
valores de verdad de las proposiciones p, q, r y s son
respectivamente:
A) VFVF
¿Cuáles son los valores adecuados?
B) VFVV
C) VFFV
D) VFFF
E) FFVF
José Luis Cisneros González
Ejemplos Formalización de Inferencias
Si la proposición: [(~p ∨q) ⇒ (q ⇔r)] ∨(q ∧s) es falsa, siendo p
una proposición verdadera, determine los valores de verdad de
q, r, s en ese orden.
A) VVV
¿Cuáles son los valores adecuados?
B) VFV
C) VFF
D) FFV
E) FFF
José Luis Cisneros González
Ejemplos Formalización de Inferencias
Si la proposición: (~p ⇒ q) ∨(r ⇒ ~s) ≡ F. Determine el valor de
verdad de las siguientes
proposiciones.
I. (~p ∧ ~q) ∨ ~q
II. (~r ∨ q) ⇔ [(~q ∨ r) ∧ s]
III. (p ⇒ q) ⇒ [(p ∨ q) ∧ ~q]
A) VVV
¿Cuáles son los valores adecuados?
B) VVF
C) VFF
D) FVV
E) FFF
José Luis Cisneros González
Ejemplos Formalización de Inferencias
Dada la proposición:
∼[(r ∨ q) →(r → p)] ≡ V
donde se sabe que qes una proposición falsa.
Halle el valor de verdad de las siguientes proposiciones:
I. r →(∼p ∨ ∼q)
II. [r ↔ (p ∧ q)+ ↔ (q ∧ ∼p)
III. (r ∨ ∼p) ∧ (q ∨ p)
A) VVV
¿Cuáles son los valores adecuados?
B) VVF
C) VFF
D) FFF
E) FFV
José Luis Cisneros González
Validación del razonamiento
¿Cómo saber si un razonamiento es o no valido sin necesidad de
manejarlo solo en lenguaje natural?
Para validar un razonamiento se pueden utilizar cualquiera
de los siguientes métodos:
• Tablas de verdad
• Prueba Formal de Invalidez (absurdo I)
• Demostración indirecta (absurdo II)
• Prueba formal de validez (leyes lógicas)
Los dos primeros sirven para probar si un razonamiento es
valido. Mientras que los dos restantes muestran como
llegar desde las premisas a la conclusión.
José Luis Cisneros González
Tablas de verdad
1. Se establecen las tablas de verdad de cada una de las
premisas, se recomienda usar 1 para representar la verdad y o
para la falsedad.
2. Si en algún renglón de la tabla encontramos que todas
las premisas sean verdaderas (1) siendo la conclusión falsa
(0), el razonamiento es invalido.
3. Si no existe ningún renglón en la tabla como el descrito
en el punto previo se dice que el razonamiento es válido.
Porque el punto 2.
Recuerde que un razonamiento es una condicional del tipo.
Premisas → Conclusión
José Luis Cisneros González
Ejemplo Tablas de verdad
Demostrar la validez del siguiente razonamiento.
Como podemos ver no existe renglón alguno en que
teniendo sus premisas valores verdaderos la conclusión
sea falsa. Por lo tanto el razonamiento es válido.
∨ ∧ ~ →
p q p ˅ q ~p (p ˅ q) ~p q
1 1 1 0 0 1
1 0 1 0 0 0
0 1 1 1 1 1
0 0 0 1 0 0
José Luis Cisneros González
Ejemplo Tablas de verdad
Demostrar la validez del siguiente razonamiento.
En el tercer renglón se observa que siendo las premisas
verdaderas la conclusión es falsa, por lo que el
razonamiento es inválido.
∨ ~ → ∧ → → ( ∧ )
p q ~q p ˅ ~q (p ˅ ~q) p (p  q) ((p ˅ q) p)
˄ (p  q)
p ˄ q
1 1 0 1 1 1 1 1
1 0 1 1 1 0 0 0
0 1 0 0 1 1 1 0
0 0 1 1 0 1 0 0
José Luis Cisneros González
Prueba formal de invalidez
Se le conoce como método abreviado porque no requiere el
llenado de tablas, i del uso de las leyes de inferencia.
Si la conclusión tiene el valor de falso (0) y las premisas
pueden tener el valor de verdadero. El razonamiento es
invalido.
Se trata de una prueba indirecta por reducción al absurdo
1. Se da valor de falso (0) a la conclusión.
2. Se asigna el valor de verdadero (1) a cada premisa.
3. Se deduce el valor de variables que componen cada
premisa y de la conclusión.
4. Si en estos valores no se encuentra ningún conflicto o
ambigüedad, el razonamiento es invalido.

José Luis Cisneros González
Ejercicio prueba formal de invalidez
"Si aumenta la producción, aumentan los ingresos;
si aumentan los ingresos, se recupera la inversión.
Por lo tanto, si aumenta la producción ,se recupera
la inversión"
p: Aumenta la producción
q: Aumentan los ingresos
r: Se recupera la inversión
( ) ( ) | | ( ) r p r q q p ÷ ÷ ÷ . ÷
José Luis Cisneros González
Ejercicio prueba formal de invalidez
0
Reducción al absurdo
1
0
( ) ( ) | | ( ) r p r q q p ÷ ÷ ÷ . ÷
1 1
1
0
1
0
1 p ÷
0 r ÷
1
1
VALIDO
(0)
(0)
(1)
José Luis Cisneros González
Ejercicio prueba formal de invalidez
La Lógica es difícil o no les gusta a muchos
estudiantes. Si la Matemática es fácil, entonces la
Lógica no es difícil. Por lo tanto, la Lógica es difícil.
p: La lógica es difícil
q: La lógica les gusta a muchos estudiantes
r: La Matemática es fácil.
( ) ( ) | | p p r q p ÷ ÷ ÷ . ÷ v
0
1
1
0
1
1
1
1
0 q ÷
NO VALIDO
0 ÷
0
1 r ÷
0 r v ÷
0