Lógica para La Toma de Decisiones 005 Simbolizacion de Proporsiciones

Jos Luis Cisneros Gonzlez
Lgica inferencial
Definicin
Una inferencia lgica es un razonamiento expresado en una frase,
cuya ltima parte se afirma con base a lo que previamente se
haya declarado.
Definicin y ocupacin
Aspectos del razonamiento
El trmino razonamiento tiene dos acepciones:
Funcional (la relacin entre las premisas y la conclusin) y
Procesal (la actividad del agente que razona) y
La lgica se ocupa de los razonamientos en el sentido funcional
De hecho en el proceso que lleva de las premisas a la conclusin ,
pueden encadenarse mltiples pasos elementales.
La lgica inferencial estudia las condiciones bajo las cuales estos
pasos son correctos.
Aspecto del razonamiento
La lgica 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 psicologa.
Pero si el agente es electromecnico, 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 conclusin y la relacin entre ellas y
no su contenido.
Ejemplos del razonamientos
Si estudio aprendo. Es as que estudio, luego aprendo
Todos los hombres son mortales. Scrates es hombre. Por lo que
Scrates es mortal
La conclusin de una inferencia es un premisa o proposicin que
se afirma sobre la base de las otras proposiciones que nos dan los
elementos de juicio o razones para aceptar la conclusin.
Estas inferencias expresadas en lenguaje natural, desde la
perspectiva de la lgica inferencial son idnticas, pues se observa
la forma y no el contenido.
Debido a que el lenguaje natural es muy extenso y contiene un
sin nmero de ambigedades se utiliza el lenguaje formal para
expresar los razonamientos y la(s) proposicin(es).
Correcto pero falso
Debido a que la lgica 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 conclusin es Platero vuela.
Tambin 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.
Correcto y verdaderos
forman las conclusiones a partir de las proposiciones, tambin
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 conclusin es Juan
reprobar.
Tambin existen razonamientos Incorrectos y verdaderos.
La forma es correcta y el contenido es claramente verdadero.
Incorrecto y verdaderos
forman las conclusiones a partir de las proposiciones, tambin
podemos tener el caso de un razonamiento incorrecto y
verdadero.
Todos los caballos son mamferos, y todos los mamferos son
vertebrados; por consiguiente, algn caballo es blanco.
Las premisas son
1
= Todos los caballos son mamferos y
2
=
todos los mamferos son vertebrados. Mientras que la conclusin
es algn caballo es blanco.
La forma es incorrecta puesto que a partir de las premisas no se
puede llegar a la conclusin y el contenido es verdadero puesto
que cada premisa es verdadera e inclusive la conclusin tambin.
A forma de ejercicio plante un razonamiento Incorrecto y falso.
Disctalo en equipo de dos personas para asegurar el estado de
su razonamiento.
Resumen
En la lgica inferencial no interesa tanto la verdad o falsedad
de las proposiciones o premisas, sino las relaciones lgicas
que existen entre ellas.
Un razonamiento es valido cuando la conclusin se deriva
necesariamente de las premisas.
La lgica se ocupa de los razonamientos en el sentido
funcional.
La psicologa 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 mquinas.
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.
Preguntas
Qu estudia la lgica inferencial?
Porqu la lgica utiliza el lenguaje formal, en lugar del lenguaje
natural?
Qu estudia la psicologa?.
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.
La Proposicin y los
conectores lgicos
Tipos y clasificaciones.
Tablas de verdad
Concepto de proposicin o Premisa
Los hombres enuncian. Lo que enuncian son oraciones. Estas oraciones, a
su vez, expresarn proposiciones siempre y cuando se traten de oraciones
informativas. Entonces, podemos definir a las proposiciones en funcin
de las oraciones que las expresan. Podemos decir que una proposicin es
el significado de una oracin que cumple una funcin informativa o
referencial y que, adems, tiene valor veritativo, es decir, puede ser
verdadera o falsa. Inversamente, toda oracin de la que tenga sentido
afirmar que es verdadera o falsa, expresar una proposicin.

Por ejemplo, si decimos No est lloviendo o It isnt raining, estas
oraciones expresarn la misma proposicin por tener el mismo
significado.

El que esa proposicin sea verdadera o falsa depender de las
circunstancias o estado de cosas de la realidad en las que ha sido dicha la
oracin aseverativa que la expresa. Si hoy llueve, pero maana no,
entonces decir hoy No est lloviendo expresar una proposicin falsa, y
decir maana lo mismo expresar una proposicin verdadera.
No son proposiciones
Las oraciones no aseverativas no son proposiciones por no ser calificables de
verdaderas o falsas. Entre estas tenemos: las interrogativas (Dnde est el control
remoto?), las exclamativas (Magnfico!), las imperativas (Cierra la ventana) y las
desiderativas (Deseo que te vaya bien).

Sin embargo, existen las llamadas proposiciones elpticas que son oraciones
exclamativas que son susceptibles de una interpretacin en trminos 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 oracin completa (de sujeto y predicado). Ejemplos: El autor del
Quijote, El cuadrado de dos. Un nombre no es una proposicin sino un
componente de ella
Clases de proposicin
De acuerdo al criterio de si hay o no conectores lgicos
en la formulacin de una proposicin, podemos
clasificarlas en:

1. Proposiciones simples, o atmicas
Es aquella proposicin que no tiene negaciones ni conectores lgicos
en su formulacin.
Transmite un solo mensaje

2. Proposiciones complejas, moleculares o
compuestas
Son aquellas que tienen negaciones o conectores lgicos.
Transmiten ms de un mensaje (o un mensaje negado, es decir, no-
simple)
Proposicin simple
La proposicin simple constituye el ncleo proposicional mnimo por no tener relacin con
ninguna otra proposicin sino que es nica y simple.

De acuerdo al criterio del nmero de sujetos presentes en la proposicin simple esta puede ser:

1. Proposicin simple predicativa
Son proposiciones simples en las que se atribuye predicado a un sujeto.

Ejemplos:
El nmero 2 es par
La gallina es un ave
Lima es la capital de Bolivia
Hoy es un da soleado

2. Proposicin simple relacional
Son proposiciones simples que indican una relacin recproca entre dos o ms sujetos

Ejemplos:
Silvia es hermana de gata
6 es mayor que 1
Mara conversa con Susana
Juan y Jos son amigos

Proposicin compuesta
De acuerdo al criterio del conector de mayor jerarqua este tipo de
proposiciones se dividen en:

1. Proposicin 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)
Proposicin compuesta conjuntiva
Resulta de unir dos o ms proposiciones mediante el conector lgico de la conjuncin.
En el lenguaje ordinario no siempre se emplea para la conectiva y la palabras y. Se
usan como sustitutos otras expresiones conjuntivas como sino, adems, mas,
an cuando, pero, no obstante, sin embargo, aunque, empero, tambin,
mientras que, tantocomo

Ejemplos:
El profesor de biologa es amistoso y sabio, pero tambin es estricto
No asisti a clases, no obstante est al da en su cuaderno
Pedro perdi tanto dinero como Juan
El juego ha empezado, igualmente la tmbola

Excepciones:

Los siguientes ejemplos no se refieren a proposiciones conjuntivas porque no se pueden
desdoblar en dos proposiciones unidas mediante una conjuncin
Francisco es a la vez juez y parte
Pan y circo destruy a los romanos
Andrs 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 proposicin simple relacional. En el cuarto, la partcula y indica una relacin causal no
una conjuncin.
Conjuncin
y
Smbolo:
.
a
: "Tengo un lpiz"

b
: "Tengo un cuaderno"
b a.
: "Tengo un lpiz 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
Proposicin compuesta disyuntiva inclusiva
Resulta de unir dos o ms proposiciones mediante
el smbolo de la disyuncin o. Se le llama
disyuncin inclusiva porque no excluye la
posibilidad de que todas las proposiciones unidas
por el smbolo o sean verdaderas a la vez.

Ejemplos:
Mnica es biloga o fsica
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

Disyuncin inclusiva
19
o
Smbolo:
a
: "Tengo un lpiz"

b
: "Tengo un cuaderno "
: "Tengo un lpiz 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
Proposicin compuesta disyuntiva exclusiva
Resulta de unir dos o ms proposiciones mediante el
conector lgico de la disyuncin exclusiva . Se le llama
disyuncin 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 ests vivo, o bien ests muerto
O San Martn naci en Argentina o en el Per.
Es alumno o trabaja en una fbrica de zapatos.
Es peruano o es japons (Puede ser ambos?)
Disyuncin exclusiva
0o...
Smbolo:
Ejemplo
a
: Daniel est en Espaa "

b
: Daniel est en Italia"
: Daniel est en Espaa o en Italia"
0
0
1
0 0
0 1
0 1 1
1 1
Tabla de verdad
b
o bieno bien..
v
( ) ( ) b a b a . . v
b av
b av
Lenguaje
Relacionado
a b
b
a
Significa:
a
Proposicin compuesta condicional
La conectiva condicional Sientonces vincula dos proposiciones atmicas o
moleculares. La proposicin resultante se llama proposicin compuesta condicional.
La proposicin 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 sientonces son: por consiguiente,
luego, de manera que, de ah que, por lo tanto, en
consecuencia, es una condicin suficiente de. Estas expresiones se
simbolizarn as: pq y se leen Si pe entonces qu.

Pero no siempre el antecedente suele anteponerse al consecuente. Tambin 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 condicin de que q, p es
una condicin necesaria de q, p en vista de que q. Todos los ejemplos anteriores
se simbolizarn as: qp

Ejemplos:
Si comes mucho, no adelgazars (pq)
Si esta figura tiene tres lados entonces es un tringulo. (pq)
Como su produccin crece Juan podr bajar su precio. (pq)
Eres cantante si tienes cualidades. (qp)
No fui a la reunin porque estuve enfermo (qp)
Renunci a ese empleo en vista de que me subempleaban (qp)
Condicional
a
Smbolo:
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
Condicional
Antecedente
Hiptesis
Premisa
Consecuente
Tesis
Conclusin.
b a
OTROS LENGUAJES RELACIONADOS:
a implica b
Basta a para b
a slo 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 condicin de que a
Condicional
a es condicin suficiente para b
b es condicin necesaria para a
Ejemplo:
Condicin Necesaria y
Condicin Suficiente
"Si un nmero es divisible para 4 entonces es divisible para 2"
1. La divisibilidad para 4 es condicin suficiente para la divisibilidad para 2"
Es suficiente que un nmero sea divisible para 4 para que se divisible para 2"
2. La divisibilidad para 2 es condicin necesaria para la divisibilidad para 4"
Es necesario que un nmero sea divisible para 2 para que se divisible para 4"
Condicional
b a
Variaciones
LA RECPROCA:
b a
LA INVERSA:
a b
LA CONTRA RECPROCA:
b a
Ejemplo:
Si me pagan entonces ir a trabajar
Ir a trabajar si me pagan
LA RECPROCA:
LA INVERSA: Si no me pagan entonces no ir a trabajar
LA CONTRA RECPROCA:
Si no me pagan, entonces no voy a trabajar
Condicional
b a
VARIACIONES
Importante
RECPROCA:
Falso
Contraejemplo:
6 es divisible para 2, pero no es divisible para 4"
Condicional:
Proposicin compuesta bicondicional
La proposicin pq es una proposicin compuesta
bicondicional. El smbolo se lee: si y solo si. Otras
expresiones equivalentes en el lenguaje ordinario son:
cuando y solo cuando, es una condicin necesaria y
suficiente, si y solamente si.

Ejemplos:
Te acompaar a la fiesta si y slo si t pagas el taxi
Para que Luis viaje a Alemania es una condicin necesaria
y suficiente que obtenga la visa.
La naranja es agradable cuando y solo cuando est
madura.
Juan es profesional siempre y cuando tiene ttulo
universitario.
Ingresas a la universidad si y solamente si te
comprometes con la investigacin.

Bicondicional
a
b a
Smbolo:
( ) ( ) 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 tringulo es equiltero
b
: Un tringulo tiene sus ngulo de igual medida
: Un tringulo es equiltero si y slo si tiene sus
ngulos de igual medida
a b
..si y slo si..
a b
a
Proposicin compuesta negativa
La negacin no es un operador mondico que afecta a una
proposicin o a un conjunto de proposiciones. Otras expresiones
usadas como sustituto de la negacin 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, jams,
tampoco, le falta, carece, sin.

El dominio o alcance del operador de la negacin es variable.
Puede abarcar una proposicin o dos, o todo un conjunto de
proposiciones. Este alcance o dominio es indicado por signos de
agrupacin, parntesis, corchetes, llaves, etc.

Ejemplos:
Nunca he odo esa msica
Jams 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 carcter
No es cierto que el salmn y el guano sean mamferos

Negacin
OPERADORES (CONECTORES) LGICOS
-No
Smbolo :
b
a
Ejemplos
: "Hoy no es Lunes "
: No Estoy en la clase de Fsica"
-No es verdad que
-No es cierto que

a
a
0
0 1
1
Tabla de verdad
Lenguaje
Relacionado
~
Proposiciones simples y compuestas
Simples:
No poseen operador lgico
Compuestas:
Formadas por varias proposiciones y
operadores lgicos
( ) ( ) ( )
a b c a b v .
Ejemplo:
El valor de verdad de una
proposicin 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
( ) ( ) ( )
a b c d a c d ( ( . . . .

Determine el valor de verdad de las
proposiciones simples sabiendo que el valor de
verdad de la proposicin compuesta es
VERDADERO.
1
1
1
1 1 1
1 a
0 c
1 d
1 0
0 0
1
1
0 b
Resumen
Proposicin
Simple
Compuesta
Es aquella proposicin que no
tiene negaciones ni conectores
lgicos en su formulacin.
Transmite un solo mensaje
Son aquellas que tienen negaciones o
conectores lgicos. Transmiten ms
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
relacin recproca entre dos o ms sujetos
Conjuntiva () y
Disyuntiva inclusiva () o,
Disyuntiva exclusiva () o,
Condicional () (Sientonces)
Bicondicional () Si y solo
si,
Negativa (~) No.

Resumen Tablas de verdad
p q pq pq pq pq pq ~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
Ejercicios
Reconozca el tipo de proposicin. Si es simple indique si es relacional o
predicativa. Si es compleja indique si se trata de una proposicin
conjuntiva, disyuntiva, condicional, etc.

1. Aunque est enfermo vendr a la reunin
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 televisin.
6. Luego de correr 4 vueltas a la manzana, me sent cansado.
7. Sal del pas, porque dijeron que era un traidor
8. Los jvenes 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.
verdad de la proposicin compuesta es FALSA.
(~p q) (r ~s)
Ejercicio
verdad de la proposicin compuesta es
VERDADERO.
[(r q) (r p)] V
q 0
Lenguaje Formal
En la lgica no es tan importante la verdad o falsedad de las
premisas o proposiciones, sino las relaciones lgicas que existen
entre ellas.
Un razonamiento es valido cuando la conclusin se deriva de las
premisas.
En el lenguaje formal todo razonamiento es de la forma
1. P1:
2. P2:
3. P3:
Conclusin

Donde
son las premisas o proposiciones simples o

compuestas y C es la conclusin simple o compuesta
1

2

3

4

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
Expresin constituida por smbolos que
representan o conectores lgicos o variables
proposicionales.
Ejemplo
( ) ( ) ( )
p q r p q v . .

nm. var. prop.
Total = 2
p q r p q v r
( )
p q r v .
p q .
( ) ( ) ( )
p q r p q v . .
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 slo proposiciones verdaderas para todos los
valores de verdad de las variables proposicionales
TAUTOLOGA
Si se obtienen slo proposiciones falsas
Si se obtienen proposiciones verdaderas y otras
falsas.
CONTRADICCION:
CONTINGENCIA:
Implicaciones Lgicas
Sean A y B dos formas proposicionales, se
dice que A implica lgicamente a B si y slo
si es una tautologa.
A B
En este caso se escribe: B A
Ejemplo
( ) ( )
p q p q v
Implicaciones Lgicas
Algunas implicaciones lgicas tpicas son:
| | q p p v
Adicin
| | p q p .
Simplificacin
( ) | | 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 Hipottico
Equivalencias Lgicas
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 lgicamente equivalente a B si y slo si
es una tautologa.
B A
En este caso se escribe:
Tambin:
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
:

Algebra de proposiciones
CONJUNCIN DISYUNCIN
( ) 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
Absorcin
( ) ( ) ( ) r p q p r q p v . v . v
( ) ( ) ( ) r p q p r q p . v . v .
Leyes distributivas
( ) p p Doble negacin
( )
p q p q . v
Leyes de De Morgan
( ) ( ) p q q p
( ) ( ) q p q p v
Contrarrecproca
Implicacin
( )
p q p q v .
Ley del tercer excluido ( )
1 p p v
( )
0 p p .
Ley de la contradiccin
( ) ( )
p q r p q r ( ( .

Ley de exportacin
( ) ( )
0 p q p q ( .

Reduccin al absurdo
Simbolizacin de proposiciones lgicas
Simbolizar una expresin requiere tener en
cuenta los smbolos para los conectores,
identificar las conectivas, identificar las
proposiciones simples, colocar los smbolos de
las conectivas, sustituir las proposiciones por
las letras correspondientes para de ah armar
la expresin lgica correspondiente.
Ejemplos
Las computadoras trabajan ms rpido que los
hombres.
p
Ejemplos
No tengo un auto azul.
~p
Ejemplos
Marcela estudia en Tijuana y ngeles en Mexicali.

p q
p q
Ejemplos
Bailamos o tomamos caf.

p q
p q
Ejemplos
Si cantamos entonces necesitamos viajar.
p
q
p q

Ejemplos
Leer este libro si solo si tiene pocas hojas.
p
q
p q

Ejemplos
No es cierto que si no tomamos caf implica que no es
de da.
p
q
~(~p ~q)

~ ~ ~
Ejemplos
La tierra gira alrededor del sol o no se da que la luna
es un planeta.
p q
p ~q
~
Ejemplos
Si trabajara los fines de semana y durmiera menos
entonces no perdera el vuelo
p q
(p q) ~r
~
r
Ejemplos
Es falso que vivo en Tijuana, pero visitar a mi familia en
Ensenada
p q
~p q
~

Ejemplos
No iremos al partido a menos que salga el sol
p
q
p q

Ejemplos
Ana es profesora o es estudiante pero no puede ser
ambas cosas a la vez
p
q
(p q) ~(pq)
~
Reglas de precedencia entre los
conectores lgicos
Negacin (~)
Conjuncin ()
Disyuncin ()
Condicional ()
Bicondicional ()
Ejercicios de precedencia entre los
conectores lgicos
~ p qr ((~ p) (qr))
p~q rs ((p(~q)) (rs))
p ~q ~r
(p ((~q) (~r)))
p~q ~r s
((p(~q)) ((~r) s))
Ejemplos Formalizacin de Inferencias
Si Rosa participa en el maratn escolar entonces los estudiantes
se enojan con ella, y si no participa en el maratn escolar, los
profesores se enojan con ella. Pero, Rosa participara en el
maratn escolar o no participara. Por lo tanto, los estudiantes o
los profesores se enojan con ella.
p = Rosa participa en el maratn.
q = los estudiantes se enojan con Rosa.
r = los profesores se enojan con Rosa.
Formalice el siguiente enunciado.
Ejemplos Formalizacin de
Inferencias
(p q)
Inferencias
(p q) (~p r)
(p q) (~p r) (p~p)
[(p q) (~p r) (p~p)+ qr
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(rq)+*(pr)q+
Cul de las formalizaciones es la correcta?
B)[(pq)(rq)] (prq)
C) (pq)(rq)(pr)q
D) [(p q) (r q)] [(p r) p]
E) [(p q) (r q)] [(p r) q]
Si no apruebas o no resuelves este problema, entonces es falso
que, hayas estudiado o domines la deduccin lgica. Pero no
dominas la deduccin lgica aunque has estudiado.
A)[(~p ~q) (~r s)] ~s r
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
Inferencias
Llueve y las brujas no se peinan o bien hace sol y las brujas no
se peinan.
A) (pr)(qr)
B) (pr)(qr)
C) (p~r)(q~r)
D) (p~q)(r~q)
E) (pq)(rq)
Inferencias
Si los elefantes volaran o supieran tocar el acorden, pensara
que estoy tan loco como una cabra y dejara que me internaran
en un psiquitrico.
A) (p q) (r s)
B) (p q) (r s)
C) (p q) (r s)
D) (p q r) s)
E) p q r s
Inferencias
Si no es cierto que las estrellas emiten luz y que los planetas la
reflejan, entonces stos no giran alrededor de ellas.
A) (~pq) ~r
B) ~[(pq) ~r]
C) ~(pq) ~r
D) (~pq) r
E) (~pq) ~r
Inferencias
"Pablo atiende en clase" = p ; " Pablo estudia en casa = q; "Pablo
fracasa en los exmenes" = r ; "Pablo es aplaudido" = s ;
1. Si Pablo no atiende en clase o no
estudia en casa, fracasar en los
exmenes y no ser aplaudido
Cul formalizacin corresponde a cual enunciado?
C. (~p~q) (r~s)
D. ~ (pq) (r~s)
B. (pq) (r~s)
A. (pq) v (r~s)
2. Si no es el caso que Pablo atiende en
clase y estudia en casa, entonces fracasar
en los exmenes o no ser aplaudido
3. Pablo atiende en clase y estudia en casa
o, por otra parte, fracasa en los exmenes
y no es aplaudido
4. nicamente si Pablo atiende en clase y
estudia en casa, no se dar que fracase en
los exmenes y no sea aplaudido
Otorga, ordenadamente, variables proposicionales a las diferentes
oraciones de cada caso.
1. "Si escoges tus deseos y tus miedos, no
existir para ti ningn tirano". Epicteto
Cul formalizacin corresponde a cada enunciado?
D. (~p q) (p ~q)
E. (pq) ~r
C. p q
B. ~p ~q
2. "Quin 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 imaginacin, la
muerte es poca cosa; cuando uno la tiene,
la muerte es demasiado". Cline
5. "Ojos que no ven, corazn que no
siente".
A. p q
La proposicin: [r ~(p q)] ~[p~(sq)] es verdadera. Los
valores de verdad de las proposiciones p, q, r y s son
respectivamente:
A) VFVF
Cules son los valores adecuados?
B) VFVV
C) VFFV
D) VFFF
E) FFVF
Si la proposicin: [(~p q) (q r)] (q s) es falsa, siendo p
una proposicin verdadera, determine los valores de verdad de
q, r, s en ese orden.
A) VVV
B) VFV
C) VFF
D) FFV
E) FFF
Si la proposicin: (~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
B) VVF
C) VFF
D) FVV
E) FFF
Dada la proposicin:
[(r q) (r p)] V
donde se sabe que qes una proposicin 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
B) VVF
C) VFF
D) FFF
E) FFV
Validacin del razonamiento
Cmo 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 mtodos:
Tablas de verdad
Prueba Formal de Invalidez (absurdo I)
Demostracin indirecta (absurdo II)
Prueba formal de validez (leyes lgicas)
Los dos primeros sirven para probar si un razonamiento es
valido. Mientras que los dos restantes muestran como
llegar desde las premisas a la conclusin.
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 algn rengln de la tabla encontramos que todas
las premisas sean verdaderas (1) siendo la conclusin falsa
(0), el razonamiento es invalido.
3. Si no existe ningn rengln en la tabla como el descrito
en el punto previo se dice que el razonamiento es vlido.
Porque el punto 2.
Recuerde que un razonamiento es una condicional del tipo.
Premisas Conclusin
Ejemplo Tablas de verdad
Demostrar la validez del siguiente razonamiento.
Como podemos ver no existe rengln alguno en que
teniendo sus premisas valores verdaderos la conclusin
sea falsa. Por lo tanto el razonamiento es vlido.
~
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
Ejemplo Tablas de verdad
Demostrar la validez del siguiente razonamiento.
En el tercer rengln se observa que siendo las premisas
verdaderas la conclusin es falsa, por lo que el
razonamiento es invlido.
~ ( )
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
Prueba formal de invalidez
Se le conoce como mtodo abreviado porque no requiere el
llenado de tablas, i del uso de las leyes de inferencia.
Si la conclusin 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 reduccin al absurdo
1. Se da valor de falso (0) a la conclusin.
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 conclusin.
4. Si en estos valores no se encuentra ningn conflicto o
ambigedad, el razonamiento es invalido.

Ejercicio prueba formal de invalidez
"Si aumenta la produccin, aumentan los ingresos;
si aumentan los ingresos, se recupera la inversin.
Por lo tanto, si aumenta la produccin ,se recupera
la inversin"
p: Aumenta la produccin
q: Aumentan los ingresos
r: Se recupera la inversin
( ) ( ) | | ( ) r p r q q p .
0
Reduccin 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)
La Lgica es difcil o no les gusta a muchos
estudiantes. Si la Matemtica es fcil, entonces la
Lgica no es difcil. Por lo tanto, la Lgica es difcil.
p: La lgica es difcil
q: La lgica les gusta a muchos estudiantes
r: La Matemtica es fcil.
( ) ( ) | | 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

Lógica para La Toma de Decisiones 005 Simbolizacion de Proporsiciones

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Lógica para La Toma de Decisiones 005 Simbolizacion de Proporsiciones

Caricato da

Copyright:

Formati disponibili

Jos Luis Cisneros Gonzlez

son las premisas o proposiciones simples o

Jos Luis Cisneros Gonzlez

Potrebbero piacerti anche