Documentos de Académico
Documentos de Profesional
Documentos de Cultura
0201Tc1003 Logica Matematica PDF
0201Tc1003 Logica Matematica PDF
Tc1003
Lgica Matemtica
Lgica Matemtica
OBJETIVOS
Ngj/v2008 1
2.1 Lgica proposicional
Matemticas Discretas
Tc1003
Lgica Matemtica
Leyes idempotencia
Leyes de neutro
Leyes de dominacin
Leyes inversa
Leyes de absorcin
Para analizar la demostracin de teoremas dentro de las
matemticas discretas se estudia el concepto de argumento y de
cundo un argumento es vlido.
Implicacin
Regla de Separacin: Modus Ponens
Mtodo de negacin: Modus Tollens
Ley del silogismo:
Implicacin lgica
Regla de conjuncin
Regla de contradiccin
Regla de amplificacin
Mtodos de demostracin
Mtodo del absurdo
Ngj/v2008 2
2.1 Lgica proposicional
Matemticas Discretas
Tc1003
Lgica Matemtica
2 Lgica matemtica
INTRODUCCIN
Ngj/v2008 3
2.1 Lgica proposicional
Matemticas Discretas
Tc1003
Lgica Matemtica
Ngj/v2008 4
2.1 Lgica proposicional
Matemticas Discretas
Tc1003
Lgica Matemtica
Conectivos: son los elementos del lenguaje que permiten construir frases
nuevas a partir de las existentes obteniendo nuevos significados. [Arenas, 5]
Conectivos
Ngj/v2008 5
2.1 Lgica proposicional
Matemticas Discretas
Tc1003
Lgica Matemtica
Sintaxis
Definicin formal del lenguaje proposicional
13
En el tema demostracin de equivalencias se demostrar las siguientes equivalencias
14
Sintaxis son las reglas que define cualquier lenguaje.
Ngj/v2008 6
2.1 Lgica proposicional
Matemticas Discretas
Tc1003
Lgica Matemtica
15
Semntica define el significado de los signos de un lenguaje.
Ngj/v2008 7
2.1 Lgica proposicional
Matemticas Discretas
Tc1003
Lgica Matemtica
En resumen:
p p
0 1
1 0
p q p q p q p q p q p q
0 0 0 0 0 1 1
0 1 0 1 1 1 0
1 0 0 1 1 0 0
1 1 1 1 0 1 1
p ( p q)
p q pq p ( p q)
0 0 0 1
0 1 1 1
1 0 1 1 Tautologa
1 1 1 1
p ( p q )
p q p pq p ( p q )
0 0 1 0 0
0 1 1 1 0 Contradiccin
1 0 0 0 0
1 1 0 0 0
p ( p q )
p q q ( p q ) p ( p q )
0 0 1 0 0
0 1 0 0 0 Contingencia
1 0 1 1 1
1 1 0 0 1
Ngj/v2008 8
2.1 Lgica proposicional
Matemticas Discretas
Tc1003
Lgica Matemtica
Equivalencias lgicas
Ejemplo: p q p q
p q p pq p q
0 0 1 1 1
0 1 1 1 1
1 0 0 0 0
1 1 0 1 1
equivalentes
pq ( p q) ( q p)
p q pq q p ( p q ) (q p ) pq
0 0 1 1 1 1
0 1 1 0 0 0
1 0 0 1 0 0
1 1 1 1 1 1
equivalentes
Ngj/v2008 9
2.1 Lgica proposicional
Matemticas Discretas
Tc1003
Lgica Matemtica
Leyes de la lgica
1
( p) p Ley de la doble
negacin
2
(p
q) p q
Leyes de Morgan
(p
q) p q
p q q p Leyes conmutativas
3
p q q p
p ( q r ) ( p q)r
Leyes asociativas
4 p ( q r ) ( p q)r
p ( q r ) ( p q ) ( p r)
Leyes distributivas
5 p ( q r ) ( p q ) ( p r)
p p p Leyes dem
potentes
6
p p p
p F0 p
7 Leyes de neutro
p T0 p
p T0 T0
Leyes de
8 p F0 F0 dominacin
p p T0
Leyes inversa
9 p p F0
p ( p q ) p
Leyes de absorcin
10 p ( p q ) p
11 pq p q
12 p q ( p q) ( q p)
Ngj/v2008 10
2.1 Lgica proposicional
Matemticas Discretas
Tc1003
Lgica Matemtica
Reglas de sustitucin
1) Si P (una proposicin compuesta) es una tautologa y p (una proposicin
primitiva) aparece en P. Si p se reemplaza por otra proposicin q y resulta P1
entonces P1 tambin es una tautologa.
Ejemplo:
P: p q p q es una tautologa
Reemplazar p por r s
P1 : [ (r s ) q] [ (r s ) q ] tambin es una tautologa
Aplicacin:
[ (r s ) [ (r s ) ( t u ) ] ] ( t u )
si p r s
y q tu
[ p ( p q) ] q
p q pq p ( p q) [ p ( p q) ] q
0 0 1 0 1
0 1 1 0 1
1 0 0 0 1
1 1 1 1 1
Ngj/v2008 11
2.1 Lgica proposicional
Matemticas Discretas
Tc1003
Lgica Matemtica
Otras equivalencias
NAND ()
(p q) ( p q)
se lee como: p nand q.
Tabla de verdad
NAND
p q p q p q
0 0 0 1
0 1 0 1
1 0 0 1
NOR ()
(p q) ( p q)
se lee como: p nor q.
Tabla de verdad
NOR
p q p q p q
0 0 0 1
0 1 1 0
1 0 1 0
1 1 1 0
Ngj/v2008 12
2.1 Lgica proposicional