Professional Documents
Culture Documents
INTEFRANTES:
SENAIDA QUIROZ AVENDAO
HERMES BARROS JIMENES
AROL STID ORTIZ
HECTOR EDUARDO CARVAJAL
INTEGRANTES:
SENAIDA QUIROZ AVENDAO
HERMES BARROS JIMENES
AROL STID ORTIZ
HECTOR EDUARDO CARVAJAL
INTRODUCCIN
La siguiente actividad colaborativa tiene como fin dar a conocer las definiciones y ejemplos de
alguna de las terminologas de la Lgica Proposicional, Adems Conceptualizamos las
operaciones necesarias y la representacin a travs de las Tablas de Verdad, estableciendo as las
correspondientes resultados sea una Tautologa, Contradiccin o Contingencia.
Tambin se hizo la identificacin de las proposicin lgica donde constituye el elemento
fundamental de la lgica, en esta seccin profundizaremos en los diferentes tipos de
proposiciones categricas y en su representacin grfica, particularmente, el estudios clsico o
aristotlico de la educacin est centrada en argumentos que contiene solamente proposiciones
que se llaman proposiciones categricas. En dicho silogismo se hace una representacin de las
diferentes proposiciones categricas, mediante Diagramas de Venn de las diferentes relaciones
entre las clases implicadas.
OBJETIVOS
Proposiciones simples:
p =catalina mayor que Sandra
q = Sandra mayor que Luis
r = Andrea mayor que Carlos
Proposiciones compuestas:
[(pq)(qr)](pr)
p
V
V
V
V
F
F
F
f
q
V
V
F
F
V
V
F
F
r pq q r
V V
V
F V
F
V F
V
F
F
V
V V
V
F V
F
V V
V
F V
V
pr
V
F
V
F
V
V
V
V
(p q) (q r)
V
F
F
F
V
F
V
V
[(p q) (q r)] (p r)
V
V
V
V
V
V
V
V
8
Tercer Aporte Individual:
a.
Solucin:
P1: Todo bachiller puede estudiar Ingeniera en la UNAD
P2: Algunos jvenes no pueden estudiar Ingeniera en la UNAD.
C: Algunos jvenes no son bachilleres.
Diagrama de Ven.
9
Aporte Individual Hermes Barros
Primer Aporte Inividual:
SILOGISMOS CATEGORICOS:
Un silogismo categrico o silogismo clsico es un silogismo compuesto por exactamente
tres proposiciones
categricas (dos premisas y
una conclusin).
Una
proposicin
es categrica cuando tiene una de las siguientes cuatro formas:
1. Todo M es S
2. Algunos M son P
3. Por lo tanto, algunos S son P
FORMA ESTANDAR:
10
Se dice que un silogismo categrico est en forma estndar cuando satisface las siguientes
condiciones:
Las premisas y la conclusin conservan el siguiente orden: premisa mayor, premisa menor y
conclusin.
La conclusin contiene dos de los tres trminos del silogismo.
Los trminos mayor y menor aparecen, cada uno, en una premisa diferente.
11
Solucin:
{[()()()]}
p = Javier estudia
q = Javier obtiene buenas notas
r = Javier la pasa divertido en el colegio
Simulador TRUTH:
INCISO E:
Algunos docentes en Licenciados son de la Universidad UNAD.
Todos los docentes de Matemticas son de la Universidad UNAD.
Algunos docentes de Matemticas no son docentes en Licenciados.
Solucin:
12
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.
CONJUNCIN
13
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.
14
NEGACIN
15
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
16
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.
Paula es estudiante del curso de Pensamiento Lgico y Matemtico junto con Luisa. Luisa en un
aporte individual para el Trabajo Colaborativo Tres escribe en el foro la siguiente idea: Si Paula
mi compaera de curso, aprende Lgica Proposicional y realiza las tablas de verdad, entonces
Paula aprende Lgica Proposicional, entonces ella realiza Tablas de verdad o Paula reconoce una
Tautologa y Paula no realiza tablas de Verdad y ella no reconoce una Tautologa. Qu se
puede decir de esta informacin?
17
Table de verdad
N
o
1
2
3
4
5
6
7
8
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
p^ q
q
^r
v
v
v
f
f
f
f
f
f
v
f
f
f
f
f
f
q
f
f
v
v
f
f
v
v
r
v
f
v
f
v
f
v
f
q^
r
v
f
f
f
v
f
f
f
Verdad indeterminada
-q^r
f
f
v
f
f
f
v
f
(p
q)p
v
v
v
v
v
v
v
v
18
SILOGISMOS IRREGULARES
La estructura del silogismo categrico, queda bien establecida a travs de las figuras y de sus
modos, permite ciertas variaciones en su uso, surgiendo as los Silogismos irregulares.
Son cuatro los principales silogismos irregulares: El entimema, el epiquerema, el sorites y el
polisilogismo.
Los silogismos irregulares son aquellos que se utilizan para hacer premisas negativas y positivas
sin sentido, sin olvidar la irracionalidad del asunto.
19
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.
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.
20
CONECTIVOS (OPERADORES) LGICOS
Son aquellos que sirven para formar proposiciones ms complejas (compuestas o moleculares).
TIPOS DE CONECTIVOS Y EJEMPLOS
A) NEGACION:
EJEMPLO: Juan conversa.
Juan no conversa.
B) CONJUNCION:
EJEMPLO: P: La casa est sucia.
Q: La empleada la limpia maana.
PQ: La casa est sucia y la empleada la limpia maana.
C) DISYUNCION:
D) DISYUNCION EXCLUSIVA:
EJEMPLO: P: Pedro juega bsquet.
Q: Mara juega futbol.
PVQ: Pedro juega bsquet o Mara juega futbol.
E) CONDICIONAL:
EJEMPLO: P: Si me saco la lotera.
Q: Te regalare un carro.
PQ: Si me saco la lotera entonces te regalare un carro.
F) BICONDICIONAL:
EJEMPLO: P: Simn bolvar vive.
Q: Montalvo est muerto.
PQ: Simn bolvar vive si y solo si Montalvo est muerto.
FORMAS PROPOSICIONALES
Existen tres formas proposicionales:
TAUTOLOGIAS: 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.
21
Segundo aporte individual
OCTUBRE 11 DE 2015
1. Se han seleccionado tres estudiantes del curso de Pensamiento Lgico y Matemtico con el fin de que puedan desplazarse a
tres ciudades donde hay gran nmero de estudiantes matriculados en el curso, con el fin de brindar apoyo en el manejo de las
actividades B-Learninig, los tres estudiantes seleccionados son de la ciudad de Pereira. En el proceso logstico, el Director de
Curso hace el siguiente anlisis: Adriana se desplazar a Medelln, si Mara viaja a Pasto. Laura partir a Bucaramanga o
Adriana no partir para Medelln. O Mara no viaja a Pasto o Laura no viajar a Bucaramanga. Por consiguiente, Mara no se
queda en Pasto. Es correcto esta logstica?
P : Adriana medellin
q : Maria Pasto
r : Laura B/manga
p q r { [ ( q .=> p ) ( r
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
p ) (
r ) ]
V V V
V V F V
F V F F V
V V V
F F F V
F V V V F
F V V
V V F V
V F V F V
F V V
F F F V
V F V V F
V F F
V V V F
F V F F V
V F F
F V V F
F V V V F
F V F
V V V F
V F V F V
F V F
F V V F
V F V V F
.=>
V
V
V
V
V
V
V
V
q}
F V
F V
V F
V F
F V
F V
V F
V F
7 6
RESULTADO FINAL
22
Tercer Aporte Individual
Ningn colombiano puede ser Presidente y Gobernador al mismo tiempo. Armando es un
colombiano, no puede ser presidente y gobernador al mismo tiempo.
1Premisa
2premisa
3premisa
Ningn
colombiano
puede
ser Proposicin categrica universal negativa
Presidente y gobernador al mismo
tiempo
Armando es un colombiano
Proposicin categrica Afirmativa particular
Armando no puede ser presidente y Proposicin categrica negativa particular
gobernador al mismo tiempo.
ARMANDO
COLOMBIANO
SER PRESIDENTE Y GOBERNADOR
ARMANDO
SER PRESIDENTE Y
GOBERNADOR
COLOMBIANO
23
FASE GRUPAL
24
Tabla de verdad
p q r s t ~q ~r ~s p q r ~ s (r ~ s) ~ p ~ r s (~ r s) q ( ) [( ) ] [( ) ] { ( ) [( ) ] [( ) ] } ( )
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
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
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
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
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
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
V
V
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
V
V
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
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
V
V
F
F
F
F
F
F
V
V
F
F
F
F
F
F
V
V
F
F
F
F
F
F
V
V
F
F
F
F
V
V
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V
V
V
V
V
V
V
F
F
V
V
F
F
F
F
V
V
V
V
V
V
V
V
F
F
V
V
F
F
F
F
V
V
F
F
V
V
V
V
F
F
F
F
F
F
F
F
V
V
F
F
V
V
V
V
F
F
V
V
F
F
F
F
V
F
V
F
V
F
V
F
F
V
F
V
F
V
F
V
V
F
V
F
V
F
V
F
F
V
F
V
F
V
F
V
V
F
V
V
V
F
V
F
V
V
V
V
V
V
V
V
V
F
V
V
V
F
V
F
V
V
F
V
V
V
V
V
25
Comprobacin en simulador Truth
CONCLUSION
26
Como resultado de esta actividad colaborativa es posible concluir que existe diferentes
terminologas de la Lgica Proposicional, tales como: proposicin lgica. Proposiciones simples
y compuestas, Las cuatro Tablas de verdad: en donde implica la conjuncin, disyuncin,
implicacin y bincondicional,
Por otro lado Tambin se puedo conocer mediante las tablas de verdad, su proposicin lgica
como Tautologas, contradicciones y contingencias haciendo as su respetiva verificacin en
simular TRUTH,
Despus de haber estudiado los silogismos de las diferentes proposiciones categricas
aprendimos su representacin a travs del diagrama de Venn, identificando as sus diferentes
relaciones entre las clases implicadas.
27
REFERENCIAS BIBLIOGRFICAS