POSTULADOS BASICOS
-
Upload
egidio-esteban-clavijo-ganan -
Category
Documents
-
view
218 -
download
0
description
Transcript of POSTULADOS BASICOS
UNIVERSIDAD PONTIFICIA BOLIVARIANA GEOMETRIA Y TRIGONOMETRÍA
POSTULADOS BASICOS
1. Operación Binaria Interna
a) Algebra BooleanaP Q S S
b) Algebra BooleanaP Q S S
2. Conmutativa
a) P Q Q P
b) P Q Q P
3. Identidad
a) P F P
b) P V P 4. Complemento
a) P P V (postulado del tercer excluido)
b) P P F (postulado de contradicción) 5. Distributiva
a) ( ) ( ) ( )P Q R P Q P R
b) ( ) ( ) ( )P Q R P Q P R
TEOREMAS BASICOS
1. Idempotencia
a) P P P
b) P P P 2. Tautología y contradicción
a) P V V
b) P F F 3. Doble negación
a) ( )P P
4. Asociativa
a) ( ) ( )P Q R P Q R
b) ( ) ( )P Q R P Q R
5. Dualidad de De Morgan (D’Morgan)
a) ( )P Q P Q
b) ( )P Q P Q
6. Definición alterna del condicional y el bicondicional
a) P Q P Q
b) ( ) ( )P Q P Q Q P