Instituto Tecnolgico de Tehuacn

Ing. En Sistemas Computacionales Prof. Irene Garca Ortega

Alumna: Natalia Martnez Ramos No. De Control: 11360619

MAPA CONCEPTUAL
UNIDAD 3. LGICA MATEMTICA
31/03/2012

Matemticas Discretas

LGICA MATEMTICA
Ciencia que estudia el RAZONAMIENTO

PROPOSICIONES

FRMULAS LGICAS

Valores de verdad

Enunciados declarativos que pueden ser calificados como verdaderos o falsos

Simbologa

Contina

Simples

Letras minsculas p, q, r

Parntesis
Determinan al trmino de enlace DOMINANTE

Unidas con CONECTIVAS

Nombre Conjuncin

Trmino Simples Y
O NO SI ENTONCES SI Y SOLO SI

Smbolo Simples

Forma ( )
( )

( )
( ) Peso

Compuestas

Disyuncin Negacin Condicional Bicondicional

( ) ( ) ( ) ( ) ( ) ,

LGICA MATEMTICA
FORMULAS LGICAS Contina

Tautologa Valores de verdad Contradiccin

Todas las combinaciones de asignaciones VERDADERAS Todas las combinaciones de asignaciones FALSAS Combinaciones de asignaciones VERDADERAS y FALSAS

Tablas de verdad

Contingencia

Conjuncin

Disyuncin

Negacin

Condicional

Bicondicional

Si una bicondicional es una tautologa

p F F V V

q F V F V

p F F F V

p F F V V

q F V F V

p F V V V

p
F V

P
V F

p F F V V

q F V F V

p V V F V

p F F V V

q F V F V

p F F F V

EQUIVALENCIA LGICA

LGICA MATEMTICA
RAZONAMIENTOS VLIDOS RAZONAMIENTOS NO VLIDOS Conclusin que no es consecuencia lgica de las premisas
Modus Tollendo Ponens(TP) p1: p q p2:p c: q Simplificaci n (S) p1: p q c: p o q Ley del Silogismo Hipottico (SH) p1: p q p2: q r c: p r
p q; V F V pr; V V V q (F) V V r (V) F F

CUANTIFICADORES

Reglas de inferencia

Cuantificador Universal

Modus Ponendo Ponens (MP) p1: p q p2: p c: q Doble Negacin (DN) p: p c: p Ley del Silogismo Disyuntivo (SD) p1: p q p2: r s p3: p r c: q s

Modus Tollendo Tollens(TT) p1: p q p2: q c: p Adjuncin (A) p1: p p2: q c: p q

x P(x)
1) p q 2) p r 3) q c) r

Para toda x P(x)

Se demuestran Cuantificador Existencial

INDUCCIN MATEMTICA
S(n): verdadera

Existe x, P(x)

x P(x)

Ley de la Adicin (LAD) p1: p c: p q

Paso base: S(1) es verdadera

Paso inductivo: S(k) es verdadera