UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA ECBTI
INGENIERA INDUSTRIAL

TEMA
INFORME PERSONAL TAUTOLOGIA

NOMBRE DEL CURSO

LGICA MATEMTICA

ENTREGADO AL PROFESOR
JULIN RENE CUELLAR BURITICA

ENTREGADO POR

GRUPO
(3) VIERNES

AMBALEMA TOLIMA
2012

PROPOSICIONES EQUIVALENTES
Dos frmulas lgicas son equivalentes si tienen los mismos valores de verdad
para todos los posibles valores de verdad de sus componentes.

EJEMPLO

Diremos que dos proposiciones P y Q son lgicamente equivalentes si es una

tautologa, es decir, si las tablas de verdad de P y Q son iguales para cada caso.

p q p q p q p pq
V V V V V F V
V F F V F F F
F V V F V V V
f f v F F v v

TAUTOLOGIA TRIVIAL Y DOBLE NEGACION

Establece que cualquier proposicin es equivalente as misma.

EJEMPLO:

TRIVIAL DOBLE NEGACION

p p p p p (p) p(p)
V V V F V V
f v F V F V

Concluimos que la doble negacin de una proposicin es la misma proposicin.

IMPLICACION DIRECTA, CONTRARIA, RECIPROCA Y CONTRARRECIPROCA

Estas implicaciones muestran diferentes expresiones y representaciones

EJEMPLO

IMPLICACION DIRECTA: p q

IMPLICACION CONTRARIA: p (p)

IMPLICACION RECIPROCA: q p

IMPLICACION CONTRARECIPROCA: p (p)

LEYES DE LA LOGICA
Las leyes lgicas son muy numerosas, pero hay algunas muy importantes que se
refieren a la conjuncin, disyuncin y negador (La significa tautologa y la
contradiccin).

EJEMPLO

Idempotencia

Asociativas

Conmutativas

Distributivas

Identidad

Complemento

Leyes D Morgan

CUANTIFICADORES

Un cuantificador se utiliza para indicar cuntos elementos de un conjunto dado

cumplen con cierta propiedad. Existen dos tipos de cuantificadores

Cuantificador universal: permite referirse a todos los individuos del universo del
discurso.

Cuantificador existencial: permite referirse a algunos de los individuos del universo

del discurso.

PROPOSICIONES CATEGORICAS

Es un enunciado que relaciona dos clases, o categoras. Las dos clases, en

cualquier proposicin categrica, se colocan en una relacin de sujeto-predicado.

Existen cuatro tipos de proposiciones categricas

EJEMPLO

Afirmativa
Negativa
Particular afirmativa
Particular negativa

PRINCIPIOS DE LA LOGICA

Son los fundamentos que determinan ciertas reglas a seguir, para lograr la
coherencia y sistematicidad de los pensamientos en las formas y contenidos.
En otras palabras, los principios lgicos son las leyes del pensamiento que nos
aseguran su validez.
PAGINAS WEB

http://www.mitecnologico.com/Main/EquivalenciaLogica

http://www.wikilearning.com/curso_gratis/logica_matematica-
lpred_cuantificadores/24609-8

http://www.buenastareas.com/ensayos/Logica-Proposiciones-
Categoricas/1005021.html
BIBLIOGRAFIA

Modulo de lgica matemtica 2011