TRABAJO COLABORATIVO INFERENCIA LOGICA

PRESENTADO POR:
IRWIN MAURICIO MANTILLA
JORGE ELIECER POVEDA
EDUARD ALFONSO RUEDA
200611_81

PRESENTADO AL INGENIERO(A):
JULIAN DARIO GIRALDO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BASICAS E INGENIERIA
PENSAMIENTO LOGICO Y MATEMATICO
INGENIERIA INDUSTRIAL
2016
INTRODUCCIN

La lgica proposicional es modo de leguaje para determinar y analizar los tipos de razonamiento
si son vlidos y no vlidos, se puede decir que es el ms simple de los lenguajes, en todas las
situaciones de la vida cotidiana o circunstancias que se aplica lgica.
Se analiza varias situaciones donde del lenguaje natural es transformadas a tablas de verdad
en ellas se analizan que el resultado al aplicarle la lgica y simbolizar los enunciados no siempre
es lo que expone el lenguaje natural.
En los tiempos donde el lenguaje natural predominaba, el ser humano comenz ser ms
pensante y empez a transformar todo esto en nmeros y smbolos. La lgica ha llevado al
hombre a ser ms analtico y pensante con el entorno en se desarrolla.

CONCEPTOS DE LAS TCNICAS DE DEMOSTRACIN

Conceptualizacin y ejemplos de Concepto de proposicin lgica, proposiciones simples y

compuestas.
CONCEPTO DE PROPOSICIN LGICA.
Es toda oracin o enunciado al que se le puede asignar un cierto valor (v o f).
Si no se puede concluir que es verdadero o falso no es proposicin, es cualquier agrupacin de
palabras o smbolos que tengan sentido y de la que en un momento determinado se pueda
asegurar si es verdadera o falsa.
La verdad o falsedad de una proposicin es lo que se llama su valor lgico o valor de verdad.
Ejemplo:
Hoy es lunes. (Si es proposicin ya que se puede verificar).
Clases De Proposiciones.
Existen dos clases de proposiciones:
Proposiciones Simples: tambin denominadas proposiciones atmicas. Son aquellas
proposiciones que no se pueden dividir.
Ejemplos:
El cielo es azul.
Carlos Fuentes es un escritor.
Proposiciones Compuestas: tambin denominadas moleculares. Son aquellas que estn
formadas por dos o ms proposiciones simples unidas por los operadores lgicos.
Ejemplos:
Fui al banco, pero el banco estaba cerrado.
Los lectores de este libro son jvenes o universitarios.
Si el mircoles prximo me saco la lotera entonces te regalare un auto.

Conectivos (Operadores) Lgicos.

Son aquellos que sirven para formar proposiciones ms complejas (compuestas o moleculares).
Negacin:
Juan conversa.
Juan no conversa.
Conjuncin:
p: la casa esta sucia.
q: la empleada la limpia maana.
pq: la casa esta sucia y la empleada la limpia maana.
Disyuncin Exclusiva:
p: pedro juega bsquet.
q: mara juega futbol.
pvq: pedro juega bsquet o mara juega futbol.
Condicional:
p: si me saco la lotera.
q: te regalare un carro.
pq: si me saco la lotera entonces te regalare un carro.
Bicondicional:
p: simn bolvar vive.
q: Montalvo esta muerto.
pq: simn bolvar vive si y solo si Montalvo esta muerto.

Formas Proposicionales.
Existen tres formas proposicionales.

Tautologas: es aquella forma proposicional que da como resultado verdadero.

Contradicciones: es aquella forma proposicional que siempre da como resultado falso.
Falacias O Indeterminada: es aquella forma proposicional que siempre es verdadera y falsa a
la vez.
LAS CUATRO TABLAS DE VERDAD
Disyuncin:

La disyuncin es un operador que opera dos valores de verdad, tpicamente los valores de
verdad de dos proposiciones, devolviendo el valor de verdad, verdadero cuando una de las
proposiciones es verdadera, o cuando ambas son falsas

pq (se lee p o q).

Ejemplos:

P= el nmero 2 es par.
q= la suma de 2 +2 es 4.
Entonces:
pq= el nmero 2 es para o la suma de 2+2 es 4.
Conjuncin:

Es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de
dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son
verdaderas, y falso en cualquier otro caso. Es decir verdadera cuando ambas son verdaderas.

pq (se lee p y q).

p= el nmero 4 es par

q= siempre el residuo de los nmeros pares es 2

Entonces:
pq: el nmero 4 es par y siempre el residuo de los nmeros pares es dos.
Negacin:

La negacin es un valor que se ejecuta sobre un valor nico de verdad, devolviendo el valor
contradictorio de la proposicin considerada.

P=4+4 es igual a 9
p= 4+4 no es igual a 9
Condicional:

El condicional material es un operador que opera sobre dos valores de verdad, tpicamente los
valores de verdad de dos proposiciones devolviendo el valor de verdad falso solo cuando la
primera proposicin es verdadera y la segunda es falsa, y verdadero en cualquier otro caso.
La condicional de dos proposiciones p,q da lugar a la proposicin ; si p entonces q se
representa por pq.

Entonces:
P: llueve
q: hay nubes
pq= si llueve entonces hay nubes
Bicondicional

El bicondicional o doble implicacin es un operador que funciona sobre dos valores de

verdad, tpicamente los valores de verdad de dos proposiciones tienen el mismo valor de verdad,
falso cuando sus valores de verdad difieren.

P= 10 es un nmero impar
q= 6 es un numero primo
pq=10 es un nmero impar si y solo si es un numero primo.
TAUTOLOGIA
Una tautologa es una formula bien formada de un sistema de lgica proposicional que resulta
verdadera para cualquier interpretacin; es decir, para cualquier asignacin de valores de verdad
que se haga a sus frmulas atmicas.
Ejemplo:
p

pq

pvq

(pq) (pvq)

Contradicciones:
Se entiende por contradiccin, aquella proposicin que en todos los casos posibles de su tabla
de verdad su valor siempre es falso. Es decir, su valor falso no depende de los valores de verdad
de las proposiciones que la forman, sino de la forma en que estn establecidas las relaciones
sintcticas de unas con las otras.
Ejemplo:
p

pp

Contingencias:
Se conoce tambin como verdad de hecho, es una mezcla entre una contradiccin y una
tautologa.
Ejemplo:
(p

q)

q) (q

[(P

p)]

PROBLEMAS SELECCIONADOS POR CADA UNO DE LOS INTEGRANTES

Planteamiento y resolucin (utilizando las operaciones necesarias y la representacin a travs de

las Tablas de Verdad); adems establecer si la correspondiente tabla es una Tautologa,
Contradiccin o Contingencia.
1. Rafael siempre quiso ser actor de teatro, pero no logr cumplir su sueo porque se dedic a
trabajar para buscar su sustento diario. Pero ha llegado una felicidad a Rafael y es el hecho de
que su hija Sofa quiere ser actriz de teatro y pensando en su hija construye en su mente el
siguiente pensamiento: No es cierto que: si mi hija Sofa estudia los libretos, obtiene representar
el papel protagnico en la obra de Teatro. Si no estudia, lo pasa divertido en el ensayo. Si no
obtiene el papel protagnico, no lo pasa bien en el ensayo. A s pues, mi hija Sofa obtiene el
papel protagnico. De acuerdo al resultado en la tabla de verdad justifique si el pensamiento de
Rafael con relacin a su hija es coherente o incoherente.
Solucin:
p= Estudiar los libretos.
q= Papel protagnico.
r= Divertirse en el ensayo.

p
V
V
F
F

q
V
F
V
F

r
V
V
F
F

~p
F
F
V
V

~q
F
V
F
V

p^q
V
F
F
F

~p^q p^~q
F
F
V
V
V
V
F
F

p^r
V
F
V
V

q^r
V
F
F
F

~p^r ~q^r
F
F
F
V
F
V
F
F

Podemos decir que si es coherente la afirmacin con la razn, ya que si la proposicin es

verdadera por tal motivo la razn es verdadera, por lo cual si negamos la afirmacin no se podra
obtener con veracidad la razn.

2. Francisco es estudiante del curso de Herramientas Digitales para la Gestin del

Conocimiento junto con Luis. Luis en un aporte individual para el Trabajo Colaborativo Uno
escribe en el foro la siguiente idea: Si Francisco mi compaero de curso, aprende Cmaptools y
realiza los mapas conceptuales, entonces Francisco aprende Cmaptools, entonces el realiza
mapas conceptuales o reconoce una red de conceptos y Francisco no realiza mapas conceptuales
y el no reconoce una red de conceptos.
Si francisco mi compaero de curso, aprende cmaptools y realiza los mapas conceptuales es,
entonces francisco aprende cmaptolos.
pq
Entonces realiza mapas conceptuales o reconoce una red de conceptos
pp
Francisco no realiza mapas conceptuales y el no reconoce una red de conceptos
P~q

P: si francisco mi compaero de curso aprende cmaptools

q: francisco aprende cmaptools.
r: realiza mapas conceptuales.
t: reconoce una red de conceptos.
Entonces:
P1: prq
P2: rt
P3: (~r~t).
Conclusin:
[(pq)P][(qr)(~q ~r)]

p q

p pr r

(~r

[(pr)q)[(r

[(rt)(~r

{[(pr)q[(rt)(~r~

~t

t)

~t)

t)]}

V V V V V

V V V F

V V F V

V V F F

V F V V V

V F V F

V F F V

V F F F

F V V V V

F V V F

F V F V

F V F F

F F V V V

F F V F

F F F V

F F F F

La expresin se puede definir como una contingencia.

Para el uso en el simulador se realizan los siguientes cambios:
[(pq)P][(qr)(~q ~r)]
[(p&q)>P]>[(q+r)&( q & r)]

3.

El organizador del Congreso Nacional de Matemticas ha invitado a un viejo colega para

que sea ponente en la lnea de Ecuaciones Diferenciales. Oscar no lleg a tiempo para su
ponencia y en su afn de salvar la situacin le comenta lo siguiente a Andrs el organizador
del evento.

Como vivo en un lugar muy retirado, entonces debo desplazarme en un viaje de 7 horas por
tierra para llegar a cumplir con la ponencia en el evento. Es as que, cuando viajo en avin me
mareo. Siempre que me da mareos, me entra un fuerte dolor de cabeza, viajo
El organizador del Congreso de Matemticas pensar que pesar que es correcta la
justificacin por el retraso o Oscar se contradice o no hay sentido en lo que expresa?
Solucin:
Anlisis De Premisas Simples:
p= Llego a tiempo para su ponencia
-p= No llego a tiempo a su ponencia
q= Pensara el organizador que es correcta la justificacin

r= Cuando viaja se marea.

Anlisis De Premisas Compuestas:
SI Oscar no llega a tiempo para su ponencia en las lneas de ecuaciones diferenciales y solo en su
afn le dice a Andrs lo siguientes Como vivo en un lugar muy retirado, entonces debo
desplazarme en un viaje de 7 horas por tierra para llegar a cumplir con la ponencia en el evento,
por lo tanto cuando viaja en avin se marea y le da siempre dolor de cabeza al viajar; Entonces
el organizador del congreso de matemticas no sabe que pensar si la respuesta es correcta o no.
Lenguaje Formal
p {( q r ) [ ( P r ) q ] }
Para hallar el nmero de columna: Desglosamos cada formula del lenguaje formal dndonos
un nmero de 9 columnas
Para hallar el nmero de filas aplicamos la formula

N filas=2n donde n es el nmero de

columnas anteriormente sealadas. Procediendo a dividir por mitad entre 1 y 0 las tres variables
principales.
Convencin:
1= verdad
0= falso

qr

Pr

p {( q r )

( P r)q

(q r ) [ ( P r ) q ]

p {( q r ) [ ( P r ) q ] }

Esta proposicin es una contingencia ya que en la tabla de verdad hay valores falsos y
verdaderos.

CONTEXTUALIZACIONES DADAS A LAS LEYES DE INFERENCIA LGICA

Seleccionar uno de los siguientes enunciados e identificar en dicho silogismo las diferentes
proposiciones categricas, y proponer una representacin mediante Diagramas de Venn de las
diferentes relaciones entre las clases implicadas, segn las proposiciones categricas:
a. Todos los egresados de programas del SENA pueden estudiar por convenio en la UNAD.

Algunos jvenes tcnicos no pueden estudiar por convenio en la UNAD.

Algunos jvenes tcnicos NO son egresados del SENA.

U=ESTUDIANTES

Estudiantes de

NO egresados
del SENA

Convenio

la UNAD

SENA

b. Ningn empleado puede ser Gerente y Tesorero al mismo tiempo.

Jacobo es un empleado. Jacobo no puede ser Gerente y Tesorero al mismo
tiempo.
Ningn empleado puede ser
Gerente y Tesorero al mismo tiempo.
Jacobo es un empleado.
Jacobo no puede ser Gerente y Tesorero al mismo tiempo.
P1: Ningn empleado puede ser gerente y tesorero al mismo tiempo.

P2: Jacobo es un empleado.

C. Jacobo no puede ser gerente y tesorero al mismo tiempo.

e. Algunos docentes en Licenciatura son de la Universidad UNAD. Todos los docentes de

Matemticas son de la Universidad UNAD. Algunos docentes de Matemticas no son docentes
en Licenciatura.
Algunos docentes en Licenciatura son de la Universidad UNAD
Todos los docentes de Matemticas son de la universidad UNAD
Algunos docentes de Matemticas no son docentes de Licenciatura
Solucin:
P1 .Todos los docentes de Matemticas son de la Universidad UNAD
P2.Algunos docentes de Licenciatura son de la Universidad UNAD
Conclusin: Algunos docentes de Matemticas no son docentes en licenciatura

Trmino medio: Universidad UNAD

Termino mayor: Docentes de matemticas, es el predicado
Trmino menor: docentes de licenciatura, es el sujeto
Nota: el orden para redactar la conclusin verbal va primero el sujeto y luego el predicado.
Representacin Diagrama De Venn

U
M

SEGUNDO MOMENTO DE LA FASE GRUPAL

Consiste en entregar un documento en PDF, en el cual, como grupo realicen el planteamiento y la
solucin del siguiente problema de Lgica Proposicional: Si Andrs estudia Economa, entonces
participar en la convocatoria de una beca para especializacin. Pero, no participar en la
convocatoria, si reprob el curso de Fundamentos de Administracin y no aprob el curso de

Finanzas. Si Andrs no reprob el curso de Fundamentos de Administracin o aprob el curso de

Finanzas, entonces participar en la convocatoria de una beca para especializacin. Por lo tanto,
participar en la convocatoria si y solo si evidencia un promedio de 4,3 en todos sus estudios.
Solucin:
p = Andrs estudia economa.
q = participar en la convocatoria de una beca para especializacin.
r = reprobar el curso de Fundamentos de Administracin.
s = aprobar el curso de finanzas.
t = evidencia un promedio de 4,3 en todos sus estudios.
(p>q)& r& s> q & r v s & q & (q =t)
p

(pq)rsqrq(qr)

Tabla de verdad aplicada segn el enunciado

CONCLUSIONES
Luego de participar y analizar las situaciones del trabajo individual como colaborativos
tenemos en cuenta que no es lo mismo ver, que observar. Lo mismo sucede con la lgica donde
las situaciones de la vida nos ofrecen todo en un lenguaje natural, pero si analizamos con lgica
cada circunstancia de nuestro diario vivir puede tener un resultado deferente al que estamos
mirando y no observando.
Se puede deducir que aparte del lenguaje natural hay un leguaje numrico y simblico que
nos puede apartar a nuestro entorno.

La lgica es la madre de las ciencias la cual indujo al pensamiento lgica del hombre que
contribuyo al desarrollo de las generaciones.

BIBLIOGRAFIA
Escuela de ciencias bsicas, tecnologa e ingeniera Modulo del curso pensamiento lgico
matemtico Universidad nacional abierta y a distancia UNAD

COPI, Irving, COHEN, Carl. Introduccin a la Lgica. Limusa, Mexico 2002.

https://es.scribd.com/doc/145950302/Irving-M-Copi-Carl-Kohen-Introduccion-a-La-Logica

http://www.cibernous.com/logica/