Trabajo Colaborativo Dos - 276

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD
Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI

Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos
TRABAJO COLABORATIVO DOS: PREPOSICIONES LOGICAS
Lgica proposicional, tablas de verdad en proposiciones compuestas, tautologas y

contradicciones, proposiciones categrica
PENSAMIENTO LOGICO Y MATEMATICO

200611_276
JOHN JAIRO VALENCIA ROJAS Cod 94326428

ANTONIO AGUILERA SANCHEZ Cod. 1.050.944.074
JHON FREDDY REINOSA Cod
DAVID FELIPE QUINTERO Cod. 1085283875
(Integrante)
HILDER MOSCOTE
(Tutor)
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera - (ECBTI)
Abril 20 2016

INTRODUCCION
El ser humano, a travs de su vida diaria, se comunica con sus semejantes a

travs de un lenguaje determinado (oral, escrito, Etc.) por medio de las denominadas
frases u oraciones. Estas pueden tener diferentes significados pero siempre van a
resumir a las formas de verdaderas o falsas, siendo este el hecho de que, a partir de un
conjunto de estas podemos llegar a una conclusin o inferencia, siendo la lgica la
ciencia encargada de estudio de estas. La lgica proposional es una rama de la lgica
que permite representar hechos o expresiones del mundo real en un lenguaje
representativo del conocimiento mediante propiedades elementales para estudiar a
travs de proposiciones o sentencias lgicas sus posibles evaluaciones de verdad La
lgica propocional toma un rol muy importante en el desarrollo de la inteligencia artificial,
y en otros aspectos de la informtica

OBJETIVO GENERAL
Presentar los conceptos bsicos de la lgica proposicional
OBJETIVOS ESPECIFICOS
Aprender a identificar las clases de proposiciones que se pueda encontrar en un
enunciado
Entender la aplicacin y el efecto que tienen los trminos de enlace en las
proposiciones
Analizar proposiciones en nuestro idioma para determinar su validez
Analizar e interpretar proposiciones para simbolizarlas
Comprender los principios de las operaciones de la lgica proposicional y sus
aplicaciones en otras reas de la carrera
Analizar los enunciados para la elaboracin de las tablas de verdad, teniendo en
cuenta los trminos de enlace

Primer Aporte Individual:

Socializar en el Foro de Interaccin y Produccin la conceptualizacin y algunos
ejemplos de alguna de las terminologas de la Lgica Proposicional (slo selecciona una
e informa en el foro cual escogi, para que no sea escogida por otro integrante), las
terminologas son:
CONCEPTO
DE
PROPOSICIN
LGICA.
PROPOSICIONES
SIMPLES
COMPUESTAS
Una proposicin es una oracin con valor referencial o informativo, de la cual se
puede predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero
no ambas a la vez.
La proposicin es la expresin lingstica del razonamiento, que se caracteriza por ser
verdadera o falsa empricamente, sin ambigedades.
"Componentes de una proposicin"

TIPOS DE PROPOSICIONES
Proposiciones Simples:
Son aquellas que no tienen oraciones componentes afectadas por negaciones
(no) o trminos de enlace como conjunciones (y), disyunciones (o) o implicaciones
(si... entonces). Pueden aparecer trminos de enlace en el sujeto o en el predicado,
pero no entre oraciones.
Una proposicin ser compuesta si no es simple.
Es decir, si est afectada por negaciones o trminos de enlace entre oraciones
componentes.
EJEMPLOS:
Simples:
La ballena es roja.
La raz cuadrada de 16 es 4.
Gustavo es alto.
Teresa va a la escuela Proposiciones Compuestas:

Compuestas:
La ballena no es roja.
Gustavo no es alto.
Teresa va a la escuela o Mara es inteligente.
4 es menor que 8 o 6 es mayor que 10.
El 1 es el primer nmero primo y es mayor que cero.
El 7 es mayor que 5 y 7 es menor que 10.
Si Yolanda es estudiosa entonces pasar el examen.
Si corro rpido entonces llegar temprano.
Terminar rpido si y slo si me doy prisa.
Aprender Matemticas si y slo si estudio mucho
LAS CUATRO TABLAS DE VERDAD: CONJUNCIN, DISYUNCIN, IMPLICACIN Y
BICONDICIONAL.
DISYUNCIN
La disyuncin 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 una de las proposiciones es verdadera, o cuando ambas lo

son, y falso cuando ambas son falsas.
Tabla de verdad de la disyuncin

p v q (se lee: p o q)

EJEMPLOS:
p = El nmero 2 es par
q = la suma de 2 + 2 es 4
Entonces
Pvq: El nmero 2 es par o la suma de 2 + 2 es 4
p = La raz cuadrada del 4 es 2

q = El nmero 3 es par
Entonces
Pvq: La raz cuadrada del 4 es 2 o el nmero 3 es par
CONJUNCIN
La 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 es verdadera cuando ambas son verdaderas.
Tabla de verdad de la conjuncin

p ^ q (se lee: p y q)
EJEMPLOS:
p = El nmero 4 es par
q =Siempre el residuo de los nmeros pares es 2
Entonces
p^q: El nmero 4 es par y Siempre el residuo de los nmeros pares es 2
p = El nmero ms grande es el 34
q =El tringulo tiene 3 lados
Entonces
p^q: El nmero ms grande es el 34 y El tringulo tiene 3 lados
INPLICACION O 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 slo cuando la primera proposicin es verdadera y la segunda 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 p q

Tabla de Verdad Condicional
EJEMPLOS
p: llueve
q: hay nubes
pq: si llueve entonces hay nubes
p: Hoy es mircoles
q: Maana ser jueves
pq: Si Hoy es mircoles entonces Maana ser jueves
BICONDICIONAL
El bicondicional o doble implicacin es un operador que funciona sobre dos
valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo
el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de
verdad, y falso cuando sus valores de verdad difieren.

Tabla de Verdad Bicondicional
EJEMPLOS
p: 10 es un nmero impar
q: 6 es un nmero primo
pq: 10 es un nmero impar si y solo si 6 es un nmero primo
p: 3 + 2 = 7
q: 4 + 4 = 8
pq: 3 + 2 = 7 si y solo si 4 + 4 = 8
TAUTOLOGAS, CONTRADICCIONES Y CONTINGENCIAS
Tautologa
Las tautologas son identidades lgicas que siempre sern verdaderas, no son
solo un til objeto en la lgica son usadas primordialmente para pruebas sentenciales,
desempean un papel fundamental en los procesos de la deduccin dentro de esta lgica
(sentencial).
Ejemplo:
La expresin (p ^ q) (p v r) es una tautologa.

Contradiccin
Si una proposicin compuesta es falsa para todas las asignaciones entonces es
una contradiccin. Son formulas sentencialmente contra-validas o de tercer grado.
Ejemplo:
P P (se lee: P y no P). Su tabla de verdad es la siguiente.
Contingencia
Se utilizan para hacer circuitos de control y automatismo, surgen cuando en dos
proposiciones, su equivalencia es verdadera y falsa a la vez.
Ejemplo:
A^ (BVC)

CUANTIFICADORES Y PROPOSICIONES CATEGRICAS

Cuantificadores
Los cuantificadores son smbolos utilizados para indicar cuntos o qu tipo de
elementos de un conjunto dado cumplen con cierta propiedad. Existen muchos tipos de
cuantificadores, entre los ms utilizados estn:
Cuantificador universal ()
Cualquier cuantificador de la forma para todo, todo, para cada, o cada, se llama
cuantificador universal y se simboliza por .
Ejemplo:
(x =1) / (x + 4 = 4 + x) significa que todo "x" verifica la ecuacin

Nota: esta expresin se lee de la siguiente manera para todo x =1 se verifica
que x + 4 = 4 + x".

Cuantificador existencial ()
Los cuantificadores de la forma existe por lo menos uno, se llaman
cuantificadores existenciales y se representan as: .
Ejemplo:
(x = 1) / (2x + 3 = 5) significa que para x = 1 verifica la ecuacin
Nota: esta expresin se lee de la siguiente manera existe por lo menos uno x =1 se
verifica que 2x + 3 = 5".
Proposiciones categricas
Una Proposiciones categricas es un enunciado que consta de dos

Proposiciones las cuales actan una como sujeto y otra como predicado.
Ejemplos:
Ningn soltero es casado
Algunos mazdas no Son fabricados en Japn
Estos tipos de enunciados (sujeto-predicado) son los que encontramos en una forma
de lgica, conocida como aristotlica, tradicional, o de silogismos categricos.
Existen cuatro clases de proposiciones categricas. Usando S y P como smbolos,
estas son:

Proposicin categrica
Representacin
Universal afirmativa
Todos S son P
Universal negativa
Ningn S es P
Particular afirmativa
Algunos S son P
Particular negativa
Algunos S no son P
Ejemplos:
Todos los poetas son filsofos
Ningn poeta es filsofo
Algunos poetas son filsofos
Algunos poetas no son filsofos
Representacin de las proposiciones categricas
Representacin de las proposiciones categricas

Presentacin de los cuatro tipos de proposiciones categricas

Caso 1: Todo S es P.
La parte del crculo S que esta fuera de P representa todos los S que no son P
Todo S es P
Escritura en Forma Lgica: (x) (SxPx)
Caso 2: Ningn S es P o ningn P es S.

La parte comn de los dos crculos representa la interseccin o producto de las dos
clases SP
Ningn S es P
Ningn P es S
Escritura en Forma Lgica: (x) (SxPx)
Caso 3: Algn S es P o algn P es S

Algn S es P
Algn P es S
Escritura en Forma Lgica: (x)(Sx Px)
Caso 4: Algn S no es P
Algn S no es P
Escritura en Forma Lgica: (x) (Sx Px)

Algn P no es S
Escritura en Forma Lgica: (x) (Px Sx)
Clasificacin de las proposiciones categricas
A continuacin profundizamos en la representacin de las cuatro formas

estndar de proposiciones categricas:
Proposicin Categrica Universal Afirmativa

"Todos los conductores de automviles que no son seguros son personas
temerarias que ponen en peligro la vida de los dems"
ejemplo:
Si examinamos detenidamente la proposicin categrica anterior, nos podemos dar

cuenta de que este se compone de 2 proposiciones:
1. Los conductores de automviles inseguros

2. Personas temerarias que ponen en peligro la vida de los dems
Vemos entonces que existe una predicado y un sujeto
P: Los conductores de automviles inseguros
S: Personas temerarias que ponen en peligro la vida de los dems
De esta manera concluimos que:

Todo S es P
Proposicin Categrica Universal negativa
Todos los conductores de automviles son responsables y no son personas temerarias
que arriesgan la vida de los dems.
Ejemplo:

En este nuevo caso nos damos cuenta otra vez que

la proposicin categrica anterior la compone de 2 proposiciones:
1. conductores responsables
2. Personas temerarias
S: conductores responsables
P: Personas temerarias
De esta manera concluimos que:

Ningn S es P
Proposicin categrica afirmativa particular

Algunos estudiantes van del colegio a la universidad.
Analicemos el ejemplo:
Este nuevamente se compone de 2 proposiciones:
1. Estudiantes de colegio
2. Estudiantes de universidad
S: Estudiantes de colegio
P: Estudiantes de universidad
As concluimos que:

Algn S es P
Proposiciones categricas Negativa Particular
algn nmero real no es positivo.
Analicemos el ejemplo:
Este nuevamente se compone de 2 proposiciones:
1. Nmero real
2. Nmero negativo
S: Numero negativo
P: Nmero real
As concluimos que:

Algn S no es P
Cada una de ellas cuenta con una cualidad y una cantidad

Entendindose por cualidad su condicin [positivas o negativas] 0 [afirmacin o
negacin]
Entendindose por cantidad su condicin [universal o particular] 0 [todos o algunos]
Leccin No. 15 Proposiciones contradictorias, contrarias, de contingencia y
subcontrarias.
Proposiciones contradictorias
Dos proposiciones son CONTRADICTORIAS si una de ellas es la negacin de la otra.
Ejemplo 1
Dadas las proposiciones
P: todos los jueces son abogados

Q: algunos jueces no son abogados
Ejemplo 2
Dadas las proposiciones

P: hoy es lunes
Q: hoy no es lunes.
Proposiciones contrarias
Se dice que dos proposiciones son CONTRARIAS si no pueden ser ambas verdaderas,
aunque ambas puedan ser falsas.
Ejemplo
Considerando las proposiciones

P: Paola es mayor que Anglica
Q: Anglica es mayor que Paola
Ejemplo
Dadas las proposiciones:
P: todos los nmeros enteros son positivos

Q: algunos enteros son positivos
R: todos los enteros son negativos
Una proposicin que no es necesariamente verdadera ni necesariamente falsa se llama

CONTINGENTE.
Ejemplo
P: todos los matemticos son filsofos

Ejemplo
Q: todos los cuadrados son rectngulos
SILOGISMOS CATEGRICOS
Un silogismo es un argumento deductivo en el que se infiere una conclusin a
partir de dos premisas. El silogismo contiene exactamente tres trminos, cada uno de los
cuales slo aparece en dos de las proposiciones que lo constituyen. Se dice que un
silogismo est en forma estndar cuando sus premisas y conclusin estn arregladas en
cierto orden especfico. La conclusin de un silogismo de forma estndar es una
proposicin que contiene dos de los tres trminos del silogismo. El trmino que aparece
como predicado de la conclusin se llama el trmino mayor del silogismo, y el trmino
que aparece como sujeto de la conclusin es el trmino menor del silogismo. As, en el
siguiente silogismo: SILOGISMOS CATEGRICOS
Ningn hroe es cobarde
Algunos soldados son cobardes
Por lo tanto, algunos soldados no son hroes.
El trmino soldados es el trmino menor y el trmino hroes, es el trmino mayor. El

tercer trmino del silogismo que no aparece en la conclusin, y que aparece en cambio
en ambas premisas se llama el trmino medio. En nuestro ejemplo, el trmino cobardes
es el trmino medio.

Los trminos mayor y menor de un silogismo en forma estndar aparecen, cada uno, en
una premisa diferente. La premisa que contiene el trmino menor se llama premisa
menor y la premisa que contiene el trmino mayor se llama premisa mayor.
Una caracterstica definitoria de un silogismo de forma estndar consiste en que la
premisa mayor se enuncia primero, en seguida la premisa menor y al final la conclusin.
El modo de un silogismo de forma estndar est determinado por las formas de las
proposiciones categricas de forma estndar que contiene. Es decir, el silogismo se
representa por tres letras, la primera de las cuales nombra la forma de la premisa mayor
del silogismo, la segunda la de la premisa menor y la tercera la de la conclusin. Por
ejemplo, en el caso del silogismo precedente, puesto que su premisa mayor es una
proposicin E, su premisa menor es una proposicin I y su conclusin una proposicin
O; el modo del silogismo es EIO.
El modo slo describe parcialmente la forma de un silogismo, pues silogismos con el
mismo modo pueden diferir en sus formas, dependiendo de las posiciones relativas de
los trminos medios.
La forma de un silogismo se puede describir por completo enunciando su modo y su
figura, donde la figura indica la posicin del trmino medio en las premisas.
Es claro que hay cuatro posibles figuras distintas que pueden tener los silogismos. El
trmino medio puede ser el sujeto de la premisa mayor y el predicado de la premisa
menor, o puede ser el predicado de ambas premisas, o puede ser el sujeto de ambas
premisas, o puede ser el predicado de la premisa mayor y el sujeto de la premisa menor.
Estas diferentes posiciones posibles del trmino medio constituyen las cuatro figuras del
silogismo.

SILOGISMOS VLIDOS
Un silogismo, es vlido cuando la representacin de las premisas contiene
necesariamente
a la conclusin.
Con diagramas de Venn podemos determinar la validez o invalidez de un silogismo. Si
representas la premisa universal y despus la particular, observa el rea de la
interseccin
entre S y P. Si es igual al rea representada en la conclusin, el silogismo ser vlido.
Un silogismo resulta invlido al no cumplir al menos una de las reglas: Reglas de figuras:
El silogismo debe tener tres trminos: mayor, menor y medio.
Los trminos no deben tener mayor extensin en la conclusin que en las premisas1.
El trmino medio nunca debe pasar a la conclusin.
El trmino medio debe ser universal por lo menos una vez.
Dos premisas afirmativas, no pueden dar conclusin negativa.
Dos premisas negativas, no dan conclusin.
Dos premisas particulares no dan conclusin.
La conclusin siempre sigue la parte ms dbil (particular y negativa).
Primera figura: mayor universal, menor afirmativa.
Segunda figura: mayor universal, una negativa.
Tercera figura: menor afirmativa, conclusin particular.
Cuarta figura: si la mayor es afirmativa, la menor debe ser universal.

Cuarta figura: si la menor es afirmativa, la conclusin debe ser particular.

Cuarta figura: si alguna premisa es negativa, la mayor debe ser universal.
Segundo Aporte Individual:
Planteamiento y resolucin (utilizando las operaciones necesarias y la
representacin a travs de las Tablas de Verdad) de uno de los siguientes problemas de
Lgica Proposicional; adems establecer si la correspondiente tabla es una Tautologa,
Contradiccin o Contingencia (slo selecciona uno e informa en el foro el seleccionado
para que no sea escogido por otro integrante):
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. As 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: Sofa estudia los libretos,
q: representar el papel protagnico en la obra de Teatro
r: Si no estudia, lo pasa divertido en el ensayo
t: Si no obtiene el papel protagnico, no lo pasa bien en el ensayo

s: obtiene el papel protagnico
Premisas:
P1: p q
P2: r t
P3: (p s) q
Conclusion: q
{[(p q) (r t)] (p s)} q

TABLA DE LA VERDAD
p
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
q
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
r
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
t
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
s
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
(p q)
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
(r t)
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
(p s)
V
F
V
V
V
F
V
V
V
F
V
V
V
V
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
(p s)} q { [(p q) (r t)] (p s)} q

V
V
F
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
F
V
V
V
V
V
LA EXPRESION ES UNA TAUTOLOGIA es decir que es verdadero


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. Qu se puede decir de esta informacin?
Solucin:
p: Si Francisco mi compaero de curso, aprende Cmaptools
q: Francisco aprende Cmaptools
r: el realiza mapas conceptuales
t: reconoce una red de conceptos
Premisas:
P1: p rq
P2: r v t
P3: (r t)
Conclusin:
{[(p r) q] [(r V t) ( r t)]}

p
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
q
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
r
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
t
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
pr
V
F
F
F
V
F
F
F
V
F
F
F
V
F
F
F
p rq
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
La expresin es una contingencia
rVt
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
( r t
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
[(p r) q] [(r V t) [(r V t) ( r t) { [(p r) q] [(r V t) ( r t)]}

V
V
V
V
V
V
V
F
F
V
V
V
V
V
V
V
V
V
V
F
F
V
V
V
V
V
V
V
V
V
V
F
F
V
V
V
V
V
V
V
V
V
V
F
F
V
V
V

3. Hilder ha comenzado a revisar los productos de la Fase Individual del Trabajo

Colaborativo Uno del Curso Pensamiento Lgico y Matemtico, para lo cual se
encuentra observando los primeros aportes hechos por los integrantes del grupo
colaborativo 816, pero en este grupo slo han participado tres integrantes. A Hilder
se le ha generado una confusin por la seleccin de aportes establecida por Pablo,
Jaime y Miguel; para aclarar cual operacin entre conjuntos escogi cada uno de
ellos, hace el siguiente anlisis: Pablo selecciona la operacin de unin entre
conjuntos, si Jaime selecciona la interseccin de conjuntos. Miguel seleccionar
la operacin de diferencia de conjuntos o Pablo no seleccionar la unin entre
conjuntos. O Jaime no selecciona la operacin de interseccin entre conjuntos o
Miguel no ha seleccionado la operacin de diferencia entre conjuntos. Por
consiguiente, Jaime no seleccion la interseccin entre conjuntos. Es correcto
este anlisis?
Solucin:
r: Pablo selecciona la operacin de unin entre conjuntos,
q: Miguel seleccionar la operacin de diferencia de conjuntos
p: si Jaime selecciona la interseccin de conjuntos.
Premisas:
P1: r p
P2: (q v r)
P3: p v qp
Conclusin:
{[(r p) (q v r)] v (p v q)} p

p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
la expresion es una contingencia
rp
V
F
V
V
V
F
V
V
(q v r)
V
F
V
V
V
F
V
V
p v q
V
F
V
V
V
F
V
V
(r v q) r { [(r p) (q v r)] v (p v q)} p

V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V

4. El organizador del Congreso Nacional de Matemticas ha invitado a un viejo

colega para que sea ponente en la lnea de Ecuaciones Diferenciales. scar 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. As pues, siempre que me
entra un fuerte dolor de cabeza, viajo. El organizador del Congreso de
Matemticas pensar que es correcta la justificacin por el retraso o scar se
contradice o no hay sentido en lo que expresa?
Solucin:
p Como vivo en un lugar muy retirado,
q: debo desplazarme en un viaje de 7 horas por tierra para llegar a cumplir con la
ponencia en el evento
r: cuando viajo en avin me mareo
t: Siempre que me da mareos,
s: me entra un fuerte dolor de cabeza..
o: viajo
Premisas:
P1: pq
P2: (r t) s
P3: (s o)
Conclusin:
{[(pq) [(r t) s] (s o)]}

V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
la expresio es una contingencia
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
F
VF
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
F
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

5. En el Fondo de empleados de una empresa desean premiar a los asociados ms

antiguos con un viaje para dos personas con todo pago a la isla de San Andrs,
los asociados ms antiguos son Alberto, Javier, Camilo y los hermanos Luis y
Carlos. En la Junta para determinar a quien otorgar el premio se hace la siguiente
consideracin con relacin a los ahorros: Si Alberto posee mayor cantidad de
ingresos que Javier, Javier posee mayor cantidad de ingresos que Luis. Camilo
posee mayor cantidad de ingresos que Carlos el hermano de Luis, si Javier posee
mayor cantidad de ingresos que Luis. Por lo tanto, Si Alberto posee mayor cantidad
de ingresos que Javier, Camilo es quien posee mayor cantidad de ingresos que
Carlos. Es correcto o contradictorio el anlisis?
Solucin:
p Si Alberto posee mayor cantidad de ingresos que Javier,
q: Javier posee mayor cantidad de ingresos que Luis
.r: Camilo posee mayor cantidad de ingresos que Carlos el hermano de Luis

Premisas:
P1: (pq) r
P2: (q p) r
Conclusin:
{[(pq) r] [(q p) r]}

p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
la expresion es una tautologia
pq
V
F
V
V
V
F
V
V
qp
V
F
V
F
V
F
V
F
(pq) r
V
F
V
F
V
F
V
F
(q p) r
V
V
V
V
V
V
V
V
{ [(pq) r] [(q p) r]}

V
V
V
V
V
V
V
V

Tercer Aporte Individual:

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:
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.
SOLUCION
Premisa 1: Todos los egresados de programas del SENA pueden estudiar por convenio
en la UNAD.
Premisa 2: Algunos jvenes tcnicos no pueden estudiar por convenio en la UNAD.
____________________________________________________________
Conclusin: Algunos jvenes tcnicos no son egresados del SENA.

PREMISA 1
PREMISA 2
CONCLUSION

La conclusin es valida
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.
SOLUCION
Premisa 1: Ningn empleado puede ser Gerente y Tesorero al mismo tiempo.
Premisa 2: Jacobo es un empleado.

____________________________________________________________
Conclusin: Jacobo no puede ser Gerente y Tesorero al mismo tiempo

PREMISA 1

CONCLUSION
La conclusin no es valida
c. Ninguna obra de teatro puede ser el reflejo de un subrealismo. Algunos
monlogos pueden ser el reflejo de un subrealismo. Algunos monlogos no son
obras de teatro.
SOLUCION
Premisa 1: Ninguna obra de teatro puede ser el reflejo de un subrealismo.
Premisa 2: Algunos monlogos pueden ser el reflejo de un subrealismo.

____________________________________________________________
Conclusin: Algunos monlogos no son obras de teatro

PREMISA 1
PREMISA 2

CONCLUSION
d. Toda progresin aritmtica consta de un valor inicial y una razn. Todos los
ejercicios del curso de Clculo Diferencial son progresiones aritmticas. Todos los
ejercicios del curso de Clculo Diferencial constan de valor inicial y una razn.
SOLUCION
Premisa 1: Toda progresin aritmtica consta de un valor inicial y una razn.
Premisa 2: Todos los ejercicios del curso de Clculo Diferencial son progresiones
aritmticas.
____________________________________________________________
Conclusin: Todos los ejercicios del curso de Clculo Diferencial constan de valor inicial
y una razn.

PREMISA 1
PREMISA 2

CONCLUSION
La conclusin es valida
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.
SOLUCION
Premisa 1: Algunos docentes en Licenciatura son de la Universidad UNAD.
Premisa 2: Todos los docentes de Matemticas son de la Universidad UNAD.
____________________________________________________________
Conclusin: Algunos docentes de Matemticas no son docentes en Licenciatura.

PREMISA 1
PREMISA 2

CONCLUSION

CONCLUSION
Este trabajo nos ha permitido profundizar los conocimientos del uso de
la lgica para la resolucin de problemas o la representacin de la realidad a nivel de
proposiciones. El trabajo nos retoma la importancia de tener soluciones claras ya que
nos es de ayuda en el momento de responder con claridad ante un problema de
investigacin ya que se podra sustentar racionalmente, manejando reglas y estrategias
adecuadas mediante lenguajes simblicos y as pasar de una informacin a una
respuesta concreta y correcta en este caso de la lgica proporcional.

BIBLIOGRAFA
https://es.wikipedia.org/wiki/Silogismo_categrico
ogica-unad.blogspot.com/p/capitulo-3-cuantificadores-y.htm
https://matematicasdiscretasisc.wordpress.com/.../tautologias-contradiccio
Burgos, A (1983). Iniciacin a la lgica matemtica. Madrid: Selecciones Cientficas.
Ferrater Mora, J. (1975). Lgica matemtica. Mxico: Fondo de cultura econmica
Garrido, M. (1998). Lgica Simblica. Madrid: Technos.
Grimaldi, R. (1998). Matemtica discreta y combinatoria. Mxico: Addison- Wesley

Trabajo Colaborativo Dos - 276

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Trabajo Colaborativo Dos - 276

Загружено:

Авторское право:

Доступные форматы

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI

TRABAJO COLABORATIVO DOS: PREPOSICIONES LOGICAS

Lgica proposicional, tablas de verdad en proposiciones compuestas, tautologas y

PENSAMIENTO LOGICO Y MATEMATICO

JOHN JAIRO VALENCIA ROJAS Cod 94326428

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

El ser humano, a travs de su vida diaria, se comunica con sus semejantes a

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

Presentar los conceptos bsicos de la lgica proposicional

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

Primer Aporte Individual:

"Componentes de una proposicin"

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo

Tabla de verdad de la disyuncin

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

p = La raz cuadrada del 4 es 2

Tabla de verdad de la conjuncin

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

Tabla de Verdad Condicional

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

Tabla de Verdad Bicondicional

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

CUANTIFICADORES Y PROPOSICIONES CATEGRICAS

(x =1) / (x + 4 = 4 + x) significa que todo "x" verifica la ecuacin

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

Una Proposiciones categricas es un enunciado que consta de dos

Ningn soltero es casado

Algunos mazdas no Son fabricados en Japn

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

Todos los poetas son filsofos

Ningn poeta es filsofo

Algunos poetas son filsofos

Algunos poetas no son filsofos

Representacin de las proposiciones categricas

Representacin de las proposiciones categricas

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

Caso 2: Ningn S es P o ningn P es S.

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

Caso 3: Algn S es P o algn P es S

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

Clasificacin de las proposiciones categricas

A continuacin profundizamos en la representacin de las cuatro formas

Proposicin Categrica Universal Afirmativa

Si examinamos detenidamente la proposicin categrica anterior, nos podemos dar

1. Los conductores de automviles inseguros

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

2. Personas temerarias que ponen en peligro la vida de los dems

Vemos entonces que existe una predicado y un sujeto

P: Los conductores de automviles inseguros

S: Personas temerarias que ponen en peligro la vida de los dems

De esta manera concluimos que:

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

En este nuevo caso nos damos cuenta otra vez que

Vemos entonces que existe una predicado y un sujeto

De esta manera concluimos que:

Proposicin categrica afirmativa particular