Conectivos Logicos

1. Universidad Técnica Federico Santa Maria
Departamento Matemáticas
Campus Santiago
Conectivos logicos.
I. Negación ( X o ~ X )
II. Conjunción (∧ ) (Donde haya una F es F)
III. Disjunción (∨ ) (Donde haya una V es V)
IV. Implicación (⇒)(Honesto(v)—Mentiroso(f))
V. Equivalencia (=)
Propiedades Logicas.
( ) ( )
( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( )
( )
( )
( )
pFp
VVp
pVp
FFp
Vpp
Fpp
Otras
pqpp
pqpp
Absorcion
qpqp
plicacion
qpqp
qpqp
MorganDe
prqrqpr
prqrqpr
vaDistributi
qprqpr
qprqpr
Asociativa
pqqp
pqqp
aConmutativ
≡∨
≡∨
≡∧
≡∧
≡∨
≡∧
≡∧∨
≡∨∧
∨≡⇒
∧≡∨
∨≡∧
∧∨∧≡∨∧
∨∧∨≡∧∨
∨∨≡∨∨
∧∧≡∧∧
∨≡∨
∧≡∧
...
Im

2. Universidad Técnica Federico Santa Maria
Departamento Matemáticas
Campus Santiago
Propiedades Teoria de Conjunto.
( ) ( )
( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( )
( )
( )
( )
( ) ( )
( ) ( )ByAxBA
ABBABA
Otras
BABA
Diferencia
ABAA
ABAA
Absorcion
ABBA
ABBA
MorganDe
CABACBA
CABACBA
vaDistributi
CBACBA
CBACBA
Asociativa
ABBA
ABBA
aConmutativ
C
CCC
CCC
∈∧∈≡×
⊂∧⊂≡=
≡−
≡
≡
≡
≡
≡
≡
≡
≡
≡
≡
.....
I
IU
UI
UI
IU
UIUIU
IUIUI
IIII
UUUU
II
UU