LOGCA PROPOSICIONAL

Lgica Proposicional
Marisol Morales Snchez
Alejandra Garca
Lady Katherine Flrez
Luz Eida Hernndez
Universidad Nacional Abierta y a Distancia Unad
20 de Abril de 2016

Nota del autor

Marisol Morales Snchez, Escuela de Ciencias Sociales Artes y Humanidades,
Universidad Nacional Abierta y a Distancia Unad.

LOGCA PROPOSICIONAL
2

La Informacin Concerniente a Este Documento Deber ser Enviada a Escuela de

Ciencias Sociales Artes y Humanidades Universidad Nacional Abierta y a Distancia
Unad.Cead Dosquebradas Risaralda. E-mail: mmoralessan@unadvirtual.edu.co
INTRODUCCIN
El propsito de este trabajo es entregar de manera grupal el desarrollo de un trabajo que
se ha venido haciendo de manera individual y que para su culminacin requera del aporte
colaborativo y significativo de cada uno de los integrantes del grupo.
Este documento contiene el desarrollo sobre algunos trminos de lgica proposicional,
problemas utilizando las tablas de la verdad y silogismos.

OBJETIVOS
1.

Reconocer y aplicar los conceptos sobre algunos trminos de lgica proposicional y

resolver problemas utilizando la tabla de la verdad, desarrollo y conceptualizacin de
silogismos

2.

Estimular la participacin oportuna de los integrantes del grupo colaborativo desde la

fase individual para la conformacin de la fase grupal.

3.

Establecer y organizar estrategias de estudio y aprendizaje tanto de forma individual y

grupal para el desarrollo de las actividades planteadas para una buena presentacin y
aplicacin del trabajo colaborativo dos

LOGCA PROPOSICIONAL
3

TRABAJO GRUPAL

Si Andrs estudia Economa, entonces participar en la convocatoria de una beca

para especializacin. Pero, no participar en la convocatoria, si reprob el curso de
Fundamentos de Administracin y no aprob el curso de Finanzas. Si Andrs no reprob el
curso de Fundamentos de Administracin o aprob el curso de Finanzas, entonces
participar en la convocatoria de una beca para especializacin. Por lo tanto, participar
en la convocatoria si y solo si evidencia un promedio de 4,3 en todos sus estudios.

Proposiciones
p = Andrs estudia economa.
q = Andrs participar en la convocatoria de una beca.
r = Andrs reprob el curso de Fundamentos de Administracin.
s = Andrs aprob el curso de finanzas.
t = Andrs evidencia un promedio de 4,3 en sus estudios.

(p q) ~q (r ~s) (~ r s) (q t)
La tabla de la verdad arroja una contingencia.

LOGCA PROPOSICIONAL
4

Por lo tanto se dice que puede suceder o no que Andrs participe en la convocatoria solo si
evidencia un promedio de 4,3

LOGCA PROPOSICIONAL
5

LOGCA PROPOSICIONAL
6

Aporte Marisol Morales Snchez

Tautologas, contradicciones y contingencias
Tautologa

En lgica, una tautologa (del griego , "decir lo mismo") es una frmula bien
formada de un sistema de lgica proposicional que resulta verdadera para cualquier
interpretacin; es decir, para cualquier asignacin de valores de verdad que se haga a
sus frmulas atmicas. La construccin de una tabla de verdad es un mtodo efectivo para
determinar si una frmula cualquiera es una tautologa o no.
Ejemplo 1:

Ejemplo 2:

La expresin (p ^ q) (p v r) es una tautologa.

LOGCA PROPOSICIONAL
7

Contradicciones
Contradiccin es una proposicin que siempre es falsa para todos los valores de verdad.
Para cualquier valor de verdad de las proposiciones, sea cual sea , el resultado de la frmula
lgica estudiada siempre va a ser falso.
Una de las ms usadas y menos compleja es P P (se lee: P y no P). Su tabla de verdad
es la siguiente.

Ejemplo1:

LOGCA PROPOSICIONAL
8

Ejemplo 2:
P P (se lee: P y no P). Su tabla de verdad es la siguiente.

Contingencias
La contingencia es el modo de ser de lo que no es necesario ni imposible, sino que puede
ser o no ser el caso. En general la contingencia se predica de los estados de cosas, los hechos,
los eventos o las proposiciones. Existe un debate sobre si es aceptable hablar
de entidades contingentes (o entidades necesarias o imposibles), conocido como el debate en
torno a las modalidades de dicto (de la palabra) y de res (de la cosa).

Ejemplo 1:

LOGCA PROPOSICIONAL
9

Ejemplo 2:
A^ (BVC)

Aporte 2

LOGCA PROPOSICIONAL
10

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?

Lenguaje formal
p = Pablo selecciona la operacin de unin entre conjuntos
q = Jaime selecciona la interseccin de conjuntos
r = Miguel selecciona la operacin de diferencia de conjuntos

LOGCA PROPOSICIONAL

11

[(q p) (r p) ( q r)] q

~
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

~r
p

F
F
F
F
V
V
V
V

F
F
V
V
F
F
V
V

(q p) (r p) ( q

[(q p) (r p) ( q r)]

r)

q
r v ~p

~ q v ~r

p
F
V
F
V
F
V
F
V

V
V
V
V
F
F
V
V

V
F
V
F
V
V
V
V

F
V
V
V
F
V
V
V

F
F
V
V
F
F
V
V

V
V
V
V
V
V
V
V

LOGCA PROPOSICIONAL
12

Esta expresin es una tautologa

Dando respuesta a la pregunta se define que el anlisis que hace Hilder es correcto.

Simulador Truth

LOGCA PROPOSICIONAL
13

Esta expresin es una tautologa

Aporte 3
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:
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.

Premisa mayor: Ninguna obra de teatro puede ser el reflejo de un subrealismo.

Predicado de la conclusin: puede ser el reflejo de un subrealismo
Trmino medio: Subrealismo
Premisa Menor: Algunos monlogos pueden ser el reflejo de un subrealismo.
Sujeto de la conclusin: Algunos monlogos pueden ser el reflejo
Trmino medio: Subrealismo
Conclusin: Algunos monlogos no son obras de teatro

LOGCA PROPOSICIONAL
14

Segn la conclusin:
Algunos monlogos no son obras de teatro
Se determina que es una conclusin valida ya que est presente en la combinacin de las
premisas del diagrama de venn

LOGCA PROPOSICIONAL
15

LOGCA PROPOSICIONAL
16

Aporte Katherine Flores

Primer Aporte Individual:
Silogismos Categricos.
Los silogismos categricos o razonamiento silogstico categrico consiste en un
argumento estructurado en el que se infiere una conclusin a partir de dos premisas, estas
contiene exactamente 3 trminos (sujeto, predicado, trmino medio), cada uno de los cuales slo
aparece en dos de las proposiciones que lo constituyen.
Un silogismo categrico se estructura de la siguiente manera:
1

Una premisa mayor, en la que se relaciona el predicado de la conclusin y el trmino

2
3

medio.
Una Premisa menor, en la que se relaciona el sujeto de la conclusin y el trmino medio
Conclusin: Para determinar si la conclusin es vlida, se recurre al diagrama de Venn
que dice: Si la conclusin est presente en la combinacin de las premisas de los
diagramas de Venn, entonces la conclusin es vlida.

Si la conclusin no est presente en la combinacin de las premisas de los diagramas de

Venn, entonces la conclusin no es vlida.

Ejemplo1:
Premisa Mayor Todo reportaje autorizado es fiable.
Predicado de la conclusin: Todo reportaje es fiable

LOGCA PROPOSICIONAL
17

Trmino Medio: Autorizado

Premisa Menor Algunos reportajes falsos no estn autorizados.
Sujeto de la conclusin: Algunos reportajes falsos no estn
Trmino Medio: Autorizado

Conclusin:

Algunos reportajes falsos no son fiables.

Sujeto de la conclusin: Algunos reportajes Falsos

Predicado de la conclusin: No son fiables

Diagrama de Venn

Todo
reportaje
es fiable.
Algunos
Autorizad
reportajes
o
falsos

LOGCA PROPOSICIONAL
18

Una X sobre una lnea significa que ambas regiones no estn vacas, lo que quiere decir,
que hay algunos reportes fiables y otro no, por lo tanto la conclusin est presente en la
combinacin de las premisas, lo que quiere decir que la conclusin es vlida.
Ejemplo2:
Premisa Mayor: Ningn fsil est traspasado de amor.
Predicado de la conclusin: Ningn fsil
Trmino Medio: est traspasado de amor
Premisa Menor: Algunos que estn traspasados de amor son ostras.
Sujeto de la conclusin: Algunas Ostras
Trmino Medio: estn traspasados de amor
Conclusin: Algunas ostras no son fsiles.
Sujeto de la conclusin: Algunas Ostras
Predicado de la conclusin: No son fsiles

Diagrama de Venn

LOGCA PROPOSICIONAL
19

Fosil

Algunas
ostras

Traspasado
s de amor

La X especifica la regin en la cual Algunas otras no son fsiles, por lo tanto la

conclusin del silogismo es vlida.

Segundo Aporte Individual:

4

El organizador del Congreso Nacional de Matemticas a 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

LOGCA PROPOSICIONAL
20

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?
Cuando viajo en avin me mareo o siempre que me da mareos, me entra un fuerte dolor
de cabeza o as pues, siempre que me entra un fuerte dolor de cabeza, viajo
Preposiciones:
p: cuando viajo
q: me dan mareos
r: me entra un fuerte dolor de cabeza
[(pq) (qr)] (rp)
Segn la tabla de la verdad realizada en el programa Truth, se establece que la
correspondencia del resultado es una contingencia.
Respuesta: el organizador del congreso de matemticas piensa que no hay sentido en lo
que Oscar expresa.

LOGCA PROPOSICIONAL
21

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:
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.
Premisa Mayor: Toda progresin aritmtica consta de un valor inicial y una razn.
Predicado de la conclusin: Consta de un valor inicial y una razn
Trmino Medio: Progresin aritmtica
Premisa Menor: Todos los ejercicios del curso de Clculo Diferencial son progresiones
aritmticas.
Sujeto de la conclusin: Todos los Ejercicios del curso de Clculo Diferencial
Trmino Medio: Progresin aritmtica

LOGCA PROPOSICIONAL
22

Conclusin: Todos los ejercicios del curso de Clculo Diferencial constan de valor
inicial y una razn.
Sujeto de la conclusin: Todos los ejercicios del curso de Clculo Diferencial
Predicado de la conclusin: constan de valor inicial y una razn.
Segn las formas de conclusin
Premisa universal afirmativa A se refiere todos
Premisa universal afirmativa A se refiere todos
Conclusin: Universal afirmativa

A se refiere todos

Por lo tanto le determino que la conclusin

todos los ejercicios del curso de clculo diferencial constan de un valor inicial y una
razn
Es una conclusin valida, ya que la conclusin est presente en la combinacin de las
premisas del diagrama de Venn.

LOGCA PROPOSICIONAL
23

Predica

do
Valor inicial
y razon

Sujet

Termino

o del
Ejercicio
curso de
calculo

Medio

TM

Progresiones
aritmeticas

Toda progresin aritmtica consta de un valor inicial y una razn (premisa universal
afirmativa)

LOGCA PROPOSICIONAL
24

Todos los ejercicios del curso de calculo diferencial son progresiones aritmeticas
(premisa universal afirmativa)

Todos los ejercicios del curso de calculo diferencial constan de valor inicial y una razn (premisa
universal afirmativa)

LOGCA PROPOSICIONAL
25

Aporte Alejandra
Garcia
PRIMER APORTE
INDIVIDUAL

LAS CUATRO TABLAS DE LA VERDAD

Una tabla de la verdad es una representacin esquemtica de las relaciones entre

proposiciones, sirve para determinar los valores de verdad de proposiciones compuestas las
cuales dependen de los conectivos utilizados y de los valores de verdad de sus proposiciones
simples.
Es una tabla que despliega el valor de verdad de una proposicin compuesta para cada
combinacin de valores de verdad que se pueda asignar a sus componentes.

CONJUNCION

LOGCA PROPOSICIONAL
26

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.

DISYUNCION
La disyuncin es una operacin 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 falas.

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

LOGCA PROPOSICIONAL
27

verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus
valores de verdad difieren.

IMPLICACION 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
solo cuando la primera proposicin es verdadera y la segunda falsa, y verdadero en cualquier
otro caso.

LOGCA PROPOSICIONAL
28

SEGUNDO APORTE INDIVIDUAL

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?
Respuesta:
Proposiciones:
P: Francisco aprende cmanptools
Q: Francisco realiza mapas conceptuales
R: Frncico reconoce una red de conceptos
[(p^q) p] (qvr) ^ (q^r)

LOGCA PROPOSICIONAL
29

Sobre la informacin se puede decir que la idea que Luis escribi en el foro no tiene
sentido, ya que la tabla de la verdad nos arroja una contingencia.

TERCER APORTE INDIVIDUAL

Ningn empleado puede ser Gerente y Tesorero al mismo tiempo.
Jacobo es un empleado.
Jacobo no puede ser Gerente y Tesorero al mismo tiempo.

Respuesta:

LOGCA PROPOSICIONAL
30

Premisa mayor: Ningn empleado puede ser gerente y tesorero al mismo tiempo
Premisa menor: Jacobo es un empleado
Conclusin: Jacobo no puede ser gerente y tesorero al mismo tiempo
Trmino medio: Un empleado
Predicado de la conclusin: Puede ser gerente y tesorero al mismo tiempo
Sujeto de la conclusin: Jacobo

Diagrama de ven

P: Predicado

S: Sujeto

TM: Termino medio

P
JACOB

Puede ser
gerente y
tesorero al

Conclusi

Un empleado

LOGCA PROPOSICIONAL
31

Premisa

Premisa

T
M
Se hace notar que la conclusin Jacob no puede ser gerente y tesorero al mismo tiempo,
se encuentra en la combinacin de las dos premisas.
Premisa mayor premisa universal negativa = E
Premisa menor premisa particular afirmativa = I
Conclusin particular negativa

Aportes Luz Eida Hernndez

1

Primer aporte individual

PROPOSICION LOGICA

LOGCA PROPOSICIONAL
32

Una proposicin es una oracin o enunciado que tiene un valor informativo, de la cual
se puede conocer su veracidad o falsedad, esto quiere decir que puede ser falsa o verdadera pero
no ambas a la vez.

Para nombrar las proposiciones habitualmente, se utilizan letras minsculas, las ms

empleadas son: p, q, r, s, y t

Ejemplos:

p: El perro persigue al gato; es una proposicin porque se puede afirmar si el que el perro
persigue al gato.

q: Cul es tu nombre? No es una proposicin ya que no se puede afirmar si la pregunta

es verdadera o falsa.

r: Adis! No es una proposicin, es una exclamacin que indica una despedida, por lo
tanto no podemos concluir si es verdadero falso.

PROPOSICIONES SIMPLES

LOGCA PROPOSICIONAL
33

Una proposicin simple es una afirmacin que est estructurada por una sola oracin
gramatical.
Ejemplo
p: 2+2=4
q: Caldas es un departamento de Colombia

Negacin de una proposicin simple:

Es posible negar una proposicin simple, se le antepone la expresin no es verdad que

o se le incluye un no esto con el fin de que cambie el significado a lo contrario. El smbolo que
la negacin es ~, se usa as: ~p y se lee como no p

Ejemplo
p: Manizales es una ciudad de Colombia
~p: Manizales no es una ciudad de Colombia

q: Colombia est ubicado en el Sur de Amrica, se niega la proposicin q como ~q y se

lee Colombia no est ubicado en el sur de Amrica.

Esto quiere decir que cuando se niega una proposicin simple, cambia su valor de verdad

LOGCA PROPOSICIONAL
34

~p

PROPOSICIONES COMPUESTAS

Una proposicin compuesta es una oracin o afirmacin establecida por dos o ms

proposiciones simples que se conectan usando las palabras y, o, si entonces, no y si
y solo si

Ejemplo

p: Mara es una buena estudiante

q: Es una persona respetuosa

De estas afirmaciones se puede conformar una proposicin compuesta; Mara es una

buena estudiante y es una persona respetuosa

LOGCA PROPOSICIONAL
35

CONECTIVOS LGICOS

Los conectivos lgicos o conectores son

unas palabras que unen las ideas que se

expresan en dos o ms proposiciones simples, para relacionar los enunciados.

Ejemplo

La idea es escribir las ideas utilizando los smbolos lgicos

Si la figura es un tringulo entonces tiene tres lados

Entonces las proposiciones simples serian:

LOGCA PROPOSICIONAL
36

p: la figura es un tringulo

q: tiene tres lados

La proposicin se puede escribir como p q

Segundo aporte individual

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.

p: No es cierto que: si mi hija Sofa estudia los libretos, obtiene representar el papel
protagnico en la obra de Teatro

q: Si no estudia, lo pasa divertido en el ensayo

r: Si no obtiene el papel protagnico, no lo pasa bien en el ensayo

LOGCA PROPOSICIONAL
37

[(pq)r] >(qr) (rq)

LOGCA PROPOSICIONAL
38

En conclusin podemos afirmar que es un pensamiento incoherente

Tercer Aporte Individual:

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.

Premisa mayor: Todos los egresados de programas del SENA pueden estudiar por
convenio en la UNAD.
Premisa menor: Algunos jvenes tcnicos no pueden estudiar por convenio en la UNAD.

Conclusin: Algunos jvenes tcnicos no son egresados del SENA.

Trmino mayor: UNAD

premisa 1 MAYOR

Trmino menor: CONVENIO

Trmino medio: SENA

premisa 2 MENOR

premisa 3 CONLUSION

LOGCA PROPOSICIONAL
39

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

LOGCA PROPOSICIONAL
40

Premisa 3 Algunos jvenes tcnicos no son egresados del SENA.

Presentaciones en prezy:
Alejandra Garca
http://prezi.com/fo_qqrdpovri/?utm_campaign=share&utm_medium=copy

Lady Katherine Flrez

http://prezi.com/slbao9m6ejgx/?utm_campaign=share&utm_medium=copy style

Marisol Morales Snchez

http://prezi.com/vipuu8w700pt/?utm_campaign=share&utm_medium=copy

Luz Eida Hernndez

http://prezi.com/rzsd_j1g2fet/?utm_campaign=share&utm_medium=copy

http://prezi.com/d0j6_ogb7u9h/?utm_campaign=share&utm_medium=copy

CONCLUSIONES
1. La actividad permiti conocer terminologa que desconocamos sobre lgica
proposicional y realizar ejercicios aplicando las tablas de la verdad.

LOGCA PROPOSICIONAL
41

2. Pudimos aplicar todas las operaciones de lgica proposicional propuestas y as con los
diferentes interrogantes desarrollados aplicar a profundidad las operaciones de los silogismos.

3. Fue de gran importancia para nuestra educacin el anlisis que se aplica en este tipo de
actividades, ya que requiere de concentracin y aplicacin de la lgica para muchos
interrogantes, y as aprender a profundizar en el alcance que la lgica puede traer para nuestra
vida en todos los mbitos en los que se pueda aplicar.

REFERENCIAS
(2011).Lgica Proposicional, Wordpres.com. Disponible en:
https://superinteresante7.wordpress.com/2011/10/16/tautologias-contradiccion-y-contingencia/

LOGCA PROPOSICIONAL
42

(2011)Susana, Aurelio, Javier, Kevin. Matemticas discretas ISC.Wordpres.com. Disponible en:

https://matematicasdiscretasisc.wordpress.com/2011/10/13/tautologias-contradiccion-ycontingencia/

Silogismos y Diagramas de Venn en Proposiciones Lgicas. Disponible en:

https://www.youtube.com/watch?v=zAn59TLbyhs&nohtml5=False

Ejemplos de silogismos categricos y diagramas de ven. www.paginasobrefilosofia.com.

Disponible en: http://www.paginasobrefilosofia.com/html/Diagramas%20de
%20Venn/presentacion/welcome.html
Ejemplo 5. Disponible enhttp://www.paginasobrefilosofia.com/html/Diagramas%20de

%20Venn/example5/premises.html

Silogismos y Diagramas de Venn en Proposiciones Lgicas. Disponible en:

https://www.youtube.com/watch?v=zAn59TLbyhs&nohtml5=False

Silogismos categricos. Disponible en:

http://objetos.unam.mx/logica/silogismos/pdf/TeoriaSilogismos.pdf

Lgica matemtica. Disponible en: https://angelarendon.wordpress.com/2011/10/20/3-1-4tautologias-contradiccion-y-contingencia-2/

LOGCA PROPOSICIONAL
43

Ejemplos de. Disponible en: http://www.ejemplosde.com/29-logica/1573ejemplo_de_tautologia.html

Unidad II. Trabajo colaborativo el razonamiento lgico en estudiantes universitarios

Matemticas discretas y combinatorias_ Ralph Grimaldi
http://universologico.blogspot.com.co/p/tablas-de-verdad.html

Disponible en:http://logica-matematica-ucp-hectorbuitrago.blogspot.com.co/p/tablas-de-

verdad.html
Acevedo, G. (2012). Mdulo Lgica Matemtica. Medelln, Antioquia. Recuperado de:
http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_CORE_anteriores/Mo
dulo/2010_febrero_3_Modulo_de_Logica_v2.pdf

(2010). Null, F. El razonamiento lgico en estudiantes universitarios. Zona Prxima. p.40.

Disponible en la Biblioteca virtual de la UNAD:

http://primo.gsl.com.mx:1701/primo_library/libweb/action/display.do?
tabs=detailsTab&ct=display&fn=search&doc=TN_doaj5a0f4daa829dec5b5e6cf53dbea7a4a6&in
dx=1&recIds=TN_doaj5a0f4daa829dec5b5e6cf53dbea7a4a6&recIdxs=0&elementId=0&render
Mode=poppedOut&displa

Disponible en:https://tmdavidgregorio.wordpress.com/2012/05/14/1-1-proposiciones-simples-

y-compuestas/

LOGCA PROPOSICIONAL
44
Disponible en:http://www.monografias.com/trabajos100/proposiciones-simples-y-

compuestas/proposiciones-simples-y-compuestas.shtml

Disponible en:https://matedisunidad3.wordpress.com/category/3-1-2-proposiciones-

compuestas-disyuncion-conjuncion-negacion-condicional-bicondicional/

Disponible en: https://www.youtube.com/watch?v=YFJnRxOed5Y