Logica proposicional
Enviado por milik y clasificado en Matemáticas
Escrito el en 
español con un tamaño de 7,14 KB
| p | q | p q | p q | pq | p?q | p?q |
|---|---|---|---|---|---|---|
v | v | v | v | f | v | v |
v | f | f | v | v | f | f |
f | v | f | v | v | v | f |
f | f | f | f | f | v | v |
Leyes logicas
Impdancia pp=p pp=p
Conmutativa pq=qp pq=qp
Asociativa (pq)r=p(qr) (pq)r=p(qr )
Distributivap(qr )=(pq)(qr) p(qr )=(pq)(pr)
Morgan -(pq)=-p-q -(pq)=-p-q -(-pq)=p-q
PROPIEDAD DE IGUALDAD DE CONJUNTOS
REFLEXIVA A=A B=B
SIMETRICA A=B B=A
TRANSITIVA A=B B=C A=C
DESIGUALDAD O DIFERENCIA DE CONJUN AB
COMPLEMENTO N {a i u] Y N' [e o ]
COMPLE. CON RELAC A OTRO CONJ. A=[0 1 2 3 ] B[3 4 5]
[4 5 ] [0 1 2 ]
INCLUSION DE CONJ. A{a e} B[a e i o u] AB
A-B=A RS=[R-S][S-R] MN{solo comun}