POSTULADOS BASICOS
1
UNIVERSIDAD PONTIFICIA BOLIVARIANA GEOMETRIA Y TRIGONOMETRÍA POSTULADOS BASICOS 1. Operación Binaria Interna a) Algebra Booleana P Q S S b) Algebra Booleana P 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
-
Upload
egidio-esteban-clavijo-ganan -
Category
Documents
-
view
218 -
download
0
description
Postulado de Geometria
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
