Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
520145
Conceptos primitivos
Proposicion
Conectivos logicos
negacion () (no)
conjuncion () (y)
disyuncion () (o)
Tipos de proposiciones
p q
V V
V F
F V
F F
Negacion ()
Conjuncion ()
TABLA DE VERDAD.
p q pq
V V V
V F F
F V F
F F F
Disyuncion ()
TABLA DE VERDAD
p q pq
V V V
V F V
F V V
F F F
FCFM. UdeC. 7. IMU.520145.
Logica
Condicional ()
Condicional ()
TABLA DE VERDAD
p q pq p q pq
V V V V V V
V F F V F F
F V V F V F
F F V F F V
Bicondicional ()
Definiciones varias
Implicacion logica
Equivalencia logica
( p) p (doble negacion)
pq qp (conmutatividad de )
pq qp (conmutatividad de )
pq qp (conmutatividad de )
p (q r) (p q) r (asociatividad de )
p (q r) (p q) r (asociatividad de )
p (q r) (p q) r (asociatividad de )
p (q r) (p q) (p r)
(distributividad de con respecto a )
p (q r) (p q) (p r)
(distributividad de con respecto a )
a) q p, llamada recproca.
b) q p, llamada contrarecproca y
c) p q , llamada contraria.
Es facil probar las siguientes equivalencias:
pq q p; p q q p.
Funcion proposicional
Conjunto de validez
Negaciones importantes
( x A : p(x) ) ( x A : p(x) )
( x A : p(x) ) ( x A : p(x) )
( ! x A : p(x) )
( x A : p(x) ) ( x A, y A, x 6= y :
p(x) p(y) )
Teoremas y demostraciones
P1 P2 , P2 P3 , y P3 P1 .
N := { 1, 2, 3, } (Numeros naturales)
A B (x U : x A x B)
A=B (A B) (B A).
(x U : x A x B)(x U : x B x A).
B P(A) B A.
A B := { x U : xA x 6 B }
(Tambien se escribe A \ B ).
Ac := U A = { x U : x 6 A }
1. x U : x A x Ac .
2. c = U U c = .
3. A Ac = U .
4. (Ac )c = A.
5. A Ac = .
A B := { x U : xA xB}
A B := { x U : xA xB}
3. A (B C) = (A B) C (asociatividad de )
4. A (B C) = (A B) C (asociatividad de )
5. A (B C) = (A B) (A C) (distributividad )
6. A (B C) = (A B) (A C) (distributividad )
A B := { (a, b) : aA b B }.
Por ejemplo,
Card(A) = Card({2, 4, 6, 8} = 4.
Ademas,
Propiedades
|ABC| = |A|+|B|+|C||AB||AC||BC|+|ABC| .