Upload
ricardo-gonzalez
View
1
Download
0
Embed Size (px)
DESCRIPTION
Ejercicios y complementos basicos de proposiciones aplicadas a conjuntos
Citation preview
DOCUMENTO DE APOYO CONJUNTOS Y PROPOCIONES
ING. MAYNOR MORALES
222111
Una proposicin es cualquier enunciado lgico al que se le pueda asignar un valor de verdad (1) o falsedad (0).
Dada una proposicin A, se define la negacin de A como la proposicin A' que es verdadera cuando A es falsa y que es falsa cuando A es verdadera. Se lee "no A".
A partir de una o varias proposiciones elementales se pueden efectuar diversas operaciones lgicas para construir nuevas proposiciones; en este caso, se necesita conocer su valor de verdad o falsedad en funcin de los
valores de las proposiciones de que se componen, lo cual se realiza a travs de las tablas de verdad de dichas operaciones.
Por ejemplo, la tabla de verdad de la negacin es la siguiente:
A A'
1 0
0 1
A continuacin se describen las principales operaciones lgicas entre dos proposiciones A, B y sus tablas de verdad:
UNION ( U ) DISYUNCIN ( OR)
NEGACIN DE UNION ( U ) ANTI-DISYUNCIN ( NOR)
A B A B
1 0 0 0
2 1 0 1
3 1 1 1
4 0 1 1
A B (A B)
1 0 0 1
2 1 0 0
3 1 1 0
4 0 1 0
CONJUNTOS Y PROPOCIONES DOCUMENTO DE APOYO
ING. MAYNOR MORALES
222222
INTERSECCIN ( ) CONJUNCIN ( AND)
NEGACION DE INTERSECCION ( ) ANTI- CONJUNCIN ( NAND )
DIFERENCIA SIMETRICA ( ) EXCLUSIVA ( XOR )
NEGACION DE DIFERENCIA
SIMETRICA ( ) ANTI- EXCLUSIVA ( NXOR )
A B A ^ B
1 0 0 0
2 1 0 0
3 1 1 1
4 0 1 0
A B (A ^ B)
1 0 0 1
2 1 0 1
3 1 1 0
4 0 1 1
A B A B
1 0 0 0
2 1 0 1
3 1 1 0
4 0 1 1
A B (A B)
1 0 0 1
2 1 0 0
3 1 1 1
4 0 1 0
DOCUMENTO DE APOYO CONJUNTOS Y PROPOCIONES
ING. MAYNOR MORALES
222333
NEGACION DE DIFERENCIA SIMETRICA ( ) EQUIVALENCIA ( )
IMPLICACION ( ) La implicacin no tiene denominacin especial, como los casos anteriores (OR, AND, XOR), pero puede
expresarse en funcin de estos.
A B A B
1 0 0 1
2 1 0 0
3 1 1 1
4 0 1 0
A B A B
1 0 0 1
2 1 0 0
3 1 1 1
4 0 1 1