Академический Документы
Профессиональный Документы
Культура Документы
Lgica proposicional
Una proposicin es cualquier enunciado lgico al que se le pueda
asignar un valor de verdad (1) o falsedad (0).
Dada una proposicin p, se define la negacin de p como la
proposicin p' que es verdadera cuando p es falsa
y que es falsa cuando p es verdadera. Se lee "no p".
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:
p
1
0
p'
0
1
p
1
1
0
0
q pq
1
1
0
0
1
0
0
0
p
1
1
0
0
q pq
1
1
0
1
1
1
0
0
p
1
1
0
0
q pq
1
0
0
1
1
1
0
0
p
1
1
0
0
q pq
1
1
0
0
1
1
0
1
p
1
1
0
0
q pq
1
1
0
0
1
0
0
1
Teora de Conjuntos
UNION
AA=A
AB=BA
A(BC)=(AB)C
A(AB)=A
INTERSECCION
AA=A
AB=BA
A(BC)=(AB)C
A(AB)=A
5.- Distributiva
6.- Complementariedad
A(BC)=
(AB)(AC)
A A' = U
A(BC)=(AB)(A
)
A A' =
i I
Ai := { a : a Ai , $ i I }
iI
Ai := { a : a Ai , " i I }
iI
Ai := { (ai) : ai Ai , " i I }
iI
se definen:
iI
Ai )' =
iI
A'i
(i I Ai )' = i I A'i
DIAGRAMAS DE VENN
Los conjuntos de suelen representar grficamente mediante
"diagramas de Venn", con una lnea que encierra a sus elementos.
As, todas las operaciones entre conjuntos se pueden representar
grficamente con el fin de obtener una idea ms intuitiva.
AB
AB
AB
A-B
ADB
conjuntos
A B A = B A B A B A' A - B A D B
proposiciones a b a b a b a b a' a b' a b
Adems, el conjunto vaco se corresponde con una contradiccin y
el conjunto universal con una tautologa.
Mediante esta correspondencia, todos los resultados sobre
conjuntos se pueden reescribir en trminos de lgica
proposicional y viceversa; a modo de ejemplo:
A(AB)=A
A(BC)=
(AB)(AC)
( A B )' = A' B'
a(bc)a
a(bc)(ab)(a
c)
( a b )' a' b'
(b)