Вы находитесь на странице: 1из 53

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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"

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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:

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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)

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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.

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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.

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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)

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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".

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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:

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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.

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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)

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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:

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

Vemos entonces que existe una predicado y un sujeto

S: conductores responsables

P: Personas temerarias

De esta manera concluimos que:


Ningn S es P

Proposicin categrica afirmativa particular

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

Vemos entonces que existe una predicado y un sujeto

S: Estudiantes de colegio

P: Estudiantes de universidad

As concluimos que:

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

Vemos entonces que existe una predicado y un sujeto

S: Numero negativo

P: Nmero real

As concluimos que:

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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.

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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.

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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.

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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)]}

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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)]}

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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.

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

PREMISA 1

PREMISA 2

CONCLUSION

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

PREMISA 1

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

PREMISA 1

PREMISA 2

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

CONCLUSION

La conclusin no es valida
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.

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

PREMISA 1

PREMISA 2

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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.

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

PREMISA 1

PREMISA 2

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

CONCLUSION

La conclusin no es valida

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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.

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD


Escuela de Ciencia Bsicas Tecnologa E Ingeniera - ECBTI
Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

Похожие интересы