Академический Документы
Профессиональный Документы
Культура Документы
EVOLUCIN
HISTRICA LA
LGICA
Aristteles de
La Lgica Medieval se basa La poca moderna marca el
Estagira (384 a.c.
en el trabajo de inicio de la Lgica El siglo XIX se
322 a.c.)
Aristteles, es recogida Matemtica. El precursor de caracteriza por el
considerado como
por los sacerdotes y esta lgica es Guillermo G. nivel de abstraccin
creador de la
cultivado mayormente en Leibniz quien introdujo el que alcanza la lgica
Lgica, sin embargo
los conventos, escuelas y clculo lgico llamado matemtica
sus predecesores
universidades de Europa Mathesis Universalis que destacando Hamilton
desarrollaron y
Occidental. fuese operacionalmente sobre la
cultivaron la
mecnico, inequvoco y no cuantificacin de
inferencia y la
Los estudios de los lgicos cuantitativo que permitiera todo o alguno.
prueba en los
profesionales estuvo acabar con todas las Augusto de Morgan
diferentes debates
dirigido al comentario del disputas y controversias. considera que la
que por aquel
Organon destacando tambin desarroll el clculo base, comn de la
tiempo realizaban
Pedro Hispano y Juan de la Lgica Proposicional. lgica radica en las
los filsofos.
Buridan estableciendo que Euler es otro de los relaciones de
de Dos premisas precursores de la Lgica inclusin o exclusin
contradictorias, se puede Matemtica, introdujo los parcial o total entre
deducir cualquier diagramas que llevan su clases; George Boole
conclusin. nombre para ilustrar construye la Teora de
geomtricamente los Clases.
silogismos.
2. Construya dos proposiciones y convirtalas en tablas de verdad, utilizando los operadores
proposicionales
a) No vi la pelcula, pero le la novela: p q
p q p q
V V F F V
V F F F F
F V V V V
F F V F F
b) Ni vi la pelcula ni le la novela: p q
p q p q
V V F F F
V F F F V
F V V F F
F F V V V
TAUTOLOGIA
p q p (p v q)
V V V V V
V F V V V
F V F V V
F F F V F
CONTRADICCIN
CONTINGENCIA
{ [p ( q r ) ] ( r s ) } ( s p)
V V F
V(S) = v
V(p) = v
V( q r ) = F
V(r) = F
V(q) = v
Por lo tanto la inferencia no es vlida.