You are on page 1of 27

TRABAJO COLABORATIVO DOS

LGICA PROPOSICIONAL, TABLAS DE VERDAD EN PROPSICIONES


COMPUESTAS, TAUTOLOGAS Y CONTRADICCIONES, PROPOSICIONES
CATEGRICAS.

INTEFRANTES:
SENAIDA QUIROZ AVENDAO
HERMES BARROS JIMENES
AROL STID ORTIZ
HECTOR EDUARDO CARVAJAL

CODIGO CURSO: 200611A_224


CODIGO GRUPO: 330

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD


ESCUELA DE INGENIERA INDUSTRIAL
PENSAMIENTO LGICO Y MATEMTICO
17/10/2015.

TRABAJO COLABORATIVO DOS


LGICA PROPOSICIONAL, TABLAS DE VERDAD EN PROPOSICIONES
COMPUESTAS, TAUTOLOGAS Y CONTRADICCIONES, PROPOSICIONES
CATEGRICAS

INTEGRANTES:
SENAIDA QUIROZ AVENDAO
HERMES BARROS JIMENES
AROL STID ORTIZ
HECTOR EDUARDO CARVAJAL

CODIGO CURSO: 200611A_224


CODIGO GRUPO: 330

PENSAMIENTO LOGICO Y MATEMATICO

MAGSTER EN LA ENSEANZA DE LAS CIENCIAS EXACTAS Y NATURALES


OSCAR EDUARDO VIDAL
TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


INGENIERIA INDUSTRIAL
CEAD VALLDUPAR
17/10/2015

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

Definir y dar ejemplos de de alguna de las terminologas de la Lgica Proposicional.


Conceptualizar, de forma adecuada los procedimientos de la lgica proposicional.
Demostrar la veracidad y validez de situaciones especficas del mundo real.
Verificar si la tabla de verdad generada es una tautologa, contradiccin o contingencia.
Identificar en dicho silogismo las diferentes proposiciones categricas.
Proponer una representacin mediante Diagramas de Venn de las diferentes relaciones
entre las clases implicadas, segn las proposiciones categricas:

Aportes Individuales Senaida Quiroz Avendao


Primer Aporte Individual:

TAUTOLOGAS, CONTRADICCIN Y CONTINGENCIA


Con cinco conectivas lgicas bsicas se construyen proposiciones compuestas que pueden ser
tautologas, contradicciones o contingencias. Si la tabla de verdad de la proposicin es siempre
verdadera, independientemente de la verdad o falsedad de las proposiciones simples, entonces la
expresin estautolgica.
Si la tabla de verdad es siempre falsa, ser una contradiccin.
Si es verdadera y falsa, la proposicin es una contingencia.
TAUTOLOGA: Una proposicin compuesta es una tautologa si es verdadera para todas las
asignaciones de valores de verdad para sus proposiciones componentes. Dicho de otra forma, su
valor V 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 otras. Sea el caso:

CONTRADICCIN: Se entiende por proposicin contradictoria, o contradiccin, aquella


proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de
otra forma, su valor F 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 otras. Sea el
caso:

CONTINGENCIA: Se entiende por verdad contingente, o verdad de hecho, aquella


proposicin que puede ser verdadera o falsa, (combinacin entre tautologa y
contradiccin) segn los valores de las proposiciones que la integran. Sea el caso:

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.

Luis es estudiante de Psicologa de la UNAD y desea hacer una investigacin con


relacin a los comportamientos heredados a travs de las cadenas transgenricas; para lo
cual toma como muestra tres integrantes de su familia, siendo ellas su hermana, su madre
y su abuela materna. Para ubicarse en el contexto de su realidad familiar hace la siguiente
consideracin: Si Catalina es mayor que Sandra, Sandra es mayor que Luis. Andrea es
mayor que Carlos el hermano de Luis, si Sandra es mayor que Luis. Por lo tanto, Si
Catalina es mayor que Sandra, Andrea es mayor que Carlos. Es correcto o
contradictorio el anlisis?

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

La solucin es una Tautologa.

Simulador TRUTH: pantallazo

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

Todas las personas bachilleres pueden estudiar ingeniera en la UNAD. Algunos


jvenes no pueden estudiar ingeniera en la UNAD. Algunos jvenes no son
bachilleres.

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:

Universal afirmativa (proposiciones-A): Todo S es P

Universal negativa (proposiciones-E): Ningn S es P


Particular afirmativa (proposiciones-I): Algunos S son P
Particular negativa (proposiciones-O): Algunos S no son P

Por ejemplo, el siguiente argumento es un silogismo categrico:


1. Todos los gatos son animales.

1. Todo M es S

2. Algunos gatos son negros.


3. Por lo tanto, algunos animales son negros.

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.

Por ejemplo, el siguiente argumento es un silogismo categrico en forma estndar:


1. Ningn hroe es cobarde.
2. Algunos soldados son cobardes.
3. Por lo tanto, algunos soldados no son hroes.
El argumento es un silogismo categrico porque consiste en tres proposiciones categricas (dos
premisas y una conclusin) que contienen exactamente tres trminos (hroe, cobarde y
soldado), cada uno de los cuales slo aparece en dos de las proposiciones que lo constituyen.
Para saber si el silogismo categrico est en forma estndar, es necesario identificar el trmino
mayor, el trmino menor, la premisa mayor, la premisa menor y analizar la conclusin. En este
caso el predicado de la conclusin es hroe, que constituye el trmino mayor, y por consiguiente
la premisa mayor es Ningn hroe es cobarde. El sujeto de la conclusin es soldado que es el
trmino menor, por lo tanto la premisa menor es Algunos soldados son cobardes. Adems, la
conclusin tiene dos de los tres trminos del silogismo: soldados y hroes, los trminos mayor y
menor aparecen, cada uno, en una premisa diferente, por consiguiente se puede establecer que
este es un ejemplo de silogismo categrico en forma estndar, tambin aparece el trmino
cobardes, al cual se denomina trmino medio.

Segundo Aporte Individual


Planteamiento 3: Santiago es estudiante de primer periodo acadmico de la UNAD en el
programa de Ingeniera de Sistemas, y se le han dificultado los cursos de Matemticas, Santiago
sabe que eso tiene que ver con su formacin en el colegio y por su compromiso en el
bachillerato, entonces reflexiona el hecho de que para tener buenas notas debe ser disciplinado y
pensando en su hijo construye en su mente el siguiente pensamiento: No es cierto que: si mi
hijo Javier estudia, obtiene buenas calificaciones. Si no estudia, lo pasa divertido en el colegio.
Si no saca buena nota, no lo pasa bien en el colegio. As pues, mi hijo Javier obtiene buenas
calificaciones. De acuerdo al resultado en la tabla de verdad justifique si el pensamiento de
Santiago con relacin a su hijo es coherente o incoherente.

11
Solucin:
{[()()()]}
p = Javier estudia
q = Javier obtiene buenas notas
r = Javier la pasa divertido en el colegio

Simulador TRUTH:

Tercer Aporte Individual:

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:

Aporte Individual Arol Stid Ortiz

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.

Tabla de verdad de la disyuncin


p v q (se lee: p o q)
EJEMPLOS:
p = El numero 2 es par
q = la suma de 2 + 2 es 4
Entonces
Pvq: El numero 2 es par o la suma de 2 + 2 es 4
p = La raz cuadrada del 4 es 2
q = El numero 3 es par
Entonces
Pvq: La raz cuadrada del 4 es 2 o el numero 3 es par

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.

Tabla de verdad de la conjuncin


p ^ q (se lee: p y q)
EJEMPLOS:
p = El numero 4 es par
q =Siempre el residuo de los nmeros pares es 2
Entonces
p^q: El numero 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

14
NEGACIN

La negacin es un operador que se ejecuta. Sobre un nico valor de verdad, devolviendo el


valor contradictorio de la proposicin considerada.

Tabla de verdad de Negacin


EJEMPLOS
p: 4 + 4 es igual a 9
-p: 4 + 4 no es igual a 9
p: El 4 es un numero par
-p: El 4 no es un numero par

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

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

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.

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
Segundo aporte individual

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

simulador de la segunda tabla

-q^r
f
f
v
f
f
f
v
f

(p
q)p
v
v
v
v
v
v
v
v

^ (q^r) v (-q^- (((p ^ q)p)((q ^ r)v(r)


q^-r)))
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f

Tercer aporte individual

18

c. Ninguna obra de ingeniera puede ser el reflejo de un romanticismo. Algunas esculturas


pueden ser el reflejo de un romanticismo. Algunas esculturas no son obras de ingeniera.
Proposicin categrica negativa particular
Diagrama de Venn

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.

Fase Individual Hector Eduardo Carvajal

19

Primer aporte individual

CONCEPTO DE PROPOSICIN LGICA. PROPOSICIONES SIMPLES Y COMPUESTAS


QU ES UNA PROPOSICIN?
Es toda oracin o enunciado al que se le puede asignar un cierto valor (v o f). Si no 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. Las proposiciones se denotan con letras minsculas. Ejemplo: p, q, r, a, b.
Ejemplo:

Hoy es lunes. (si es proposicin ya que se puede verificar).


Hablo y no hablo.
Viene o no viene.
Carlos Fuentes es un escritor.
(Simple)
Sen(x) no es un nmero mayor que 1.
(Compuesta)
El 14 y el 7 son factores del 42.
(Simple)
El 14 es factor del 42 y el 7 tambin es factor del 42.
(Compuesta)
El 2 o el 3 son divisores de 48.
(Simple)
El 2 es divisor de 48 o el 3 es divisor de 48.
(Compuesta)
Si x es nmero primo, entonces x impar.
(Compuesta)
Si x > 10, entonces 2x - 3 > 16.
(Compuesta)
No todos los nmeros primos son impares.
(Compuesta)

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

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERAS - ECBTI


200611- Pensamiento Lgico y Matemtico
Act No. 2. Trabajo Colaborativo Dos

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

PRESENTA: HECTOR CARVAJAL MANOSALVA 200611_224

q : Maria Pasto

TUTOR: OSCAR EDUARDO VIDAL

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

DA COMO RESULTADO UNA TAUTOLOGIA


Argumento vlido. Tautologa.

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

Si Soraida estudia Ingeniera Electrnica, entonces participar en la convocatoria laboral de una


empresa de equipos tecnolgicos. Pero, no participar en la convocatoria laboral de una empresa
de equipos tecnolgicos, si Soraida reprob el curso de Telemtica y no aprob el curso de
Microcontroladores. Si Soraida no reprob el curso de Telemtica o aprob el curso de
Microcontroladores, entonces participar en la convocatoria laboral de una empresa de equipos
tecnolgicos. Por lo tanto, participar en la convocatoria laboral de una empresa de equipos
tecnolgicos si y solo si evidencia un promedio de 4,3 en todos sus estudios.
Proposiciones simples:
p: Soraida estudia Ingeniera Electrnica.
q: Soraida participar en la convocatoria de una empresa de equipos
tecnolgicos.
r: Soraida reprob el curso de Telemtica.
s: Soraida aprob el curso de Microcontroladores.
t: Soraida evidencia un promedio de 4,3 en todos sus estudios
Proposiciones compuestas:
{ ( ) [( ) ] [( ) ] } ( )

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

Da como resultado una contingencia.

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

Defincion de silogismo (consultado el dia 11 de octubre 215)


http://www.buenastareas.com/ensayos/Silogismos-Irregulares/3345378.html
Investigacion de proposiciones compuestas ( consultado el dia 11 de octubre 215,
https://matedisunidad3.wordpress.com/2011/10/18/proposiciones-compuestas-disyuncionconjuncion-negacion-condicional-bicondicional/
Proposiciones ( consultado el dia 11 de octubre 215
http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin_12_proposiciones_cate
gricas.html
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
Defincion de tautologia,contradicciones y contingencias (consultado el dia 9 de octubre 2015)
https://angelarendon.wordpress.com/2011/10/20/3-1-4-tautologias-contradiccion-y-contingencia2/