UNIVERSIDAD AUTNOMA GABRIEL REN MORENO FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGA

LGEBRA
GUIA DE TABLAS DE LEYES Y PROPIEDADES

SANTA CRUZ DE LA SIERRA BOLIVIA 2013

SEMESTRE I / 2013 LEYES DEL LGEBRA DE PROPOSICIONES O LEYES LGICAS MS IMPORTANTES

N LEY LGICA NOMBRE

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33

p ~(~p) p p p p p p p(qr) (pq)r p(qr) (pq)r (pq) (~q~p) (pq) (qp) (pq) (qp) (pq) (qp) (pq) (qp) ~(pq) ~p~q ~(pq) ~p~q p(pq) p p(pq) p (p~p) F (p~p) V Vp p (pF) ~p ~V F ~F V (pvq) ~(pq) p(qr) (pq)r p(~pq) (pq) p(~pq) (pq) (pq) ~pq (pq) [(pq)(qp)] p(qr) (pq)(pr) p(qr) (pq)(pr) (pV) p (pF) p pV V pF F (~pq)(~qp) (~p~q)(pq)

Doble negacin Idempotencia Idempotencia Asociatividad Asociatividad Contrarrecproco Conmutatividad de la disyuncin Conmutatividad de la conjuncin Conmutatividad de la doble implicacin Conmutatividad de la diferencia simtrica De Morgan De Morgan Absorcin Absorcin Conjuncin con negacin Disyuncin con negacin Implicacin con tautologa Bi-condicional con antitautologa Negacin de tautologa Negacin de antitautologa Disyuncin exclusiva o diferencia simtrica Importacin y exportacin Porkiski Porkiski Implicacin Doble implicacin Distributividad Distributividad Elemento neutro Elemento neutro Condicin de tautologa Condicin antitautologa Conjuncin de disyuncin

ALGEBRA

CARMEN MAIDA

SEMESTRE I / 2013 REGLAS DE INFERENCIA MS IMPORTANTES

N 1.a DENOMINACIN Absorcin pq p(pq) 1.b Absorcin p(pq) pq p q pq pq rs (pr)(qs) pq rs (pr)(qs) pq (pr)(qr) pq (rp)(rq) pq (pr)(rq) pq (rp)(rq) p pq 6 Contrarrecproco pq ~q~p pq rs (pr) (qs) pq rs (~q~s) (~p~r) 15.b Modus tollendo ponens 15.a Modus tollendo ponens 14.d Modus ponendo tollens 14.c Modus ponendo tollens 14.b Modus ponendo tollens 12.b Modus ponens REGLA N 12.a DENOMINACIN Modus ponens REGLA pq p p pq p q pq q q pq ~q ~p pq ~p ~p ~(pq) p ~q p~q p ~q p~q q ~p ~(pq) q ~p pq ~p q pq ~q p ~pq ~p q 15.d Modus tollendo ponens ~pq ~q p ~p(r~r) 16 p ~(~p) 9.b 10 11.a 11.b Doble negacin ~(~p)p Excluido. Implicacin Implicacin ~pp q pq ~p pq 18.a 18.b Simplificacin Simplificacin 17 Silogismo hipottico. Reduccin al absurdo p p q qr pr pq p pq q

Adicin

12.c

Modus ponens

3.a

Adicin de implicaciones

13.a

Modus tollens

3.b

Adicin de implicaciones Adicin de la implicacin con la disyuncin Adicin de la implicacin con la disyuncin Adicin de la implicacin con la disyuncin Adicin de la implicacin con la disyuncin Adjuncin

13.b

Modus tollens

4.a

14.a

Modus ponendo tollens

4.b

4.c

4.d

Dilema constructivo

15.c

Modus tollendo ponens

Dilema destructivo

9.a

Doble negacin

ALGEBRA

CARMEN MAIDA

SEMESTRE I / 2013 PROPIEDADES DE LOS CONJUNTOS Y SUS OPERACIONES

Diferencia (A B) = ABc (A Ac) = A AA= (A B) B A AU= Conmutatividad AB = BA AB = BA ADB = BDA Diferencia simtrica ADB = (AB) (BA) ADB = (AB) (AB) ADU = Ac Distributividad (AB)C = (AC)(BC) (AB)C = (AC)(BC) A(BDC) = (AB) D (AC) A(B C) = (AB) (AC) (A B) C = (AC) (BC) De Morgan (AB)c = Ac Bc (AB)c = Ac Bc Absorcin A(AB) = A A(AB) = A A = AU = U

Idempotencia AA = A AA = A Inclusin AA AB BA A=B AB BC AC A Asociatividad (AB)C = A(BC) (AB)C = A(BC) (ADB)DC = AD(BDC) Inverso ADA = Complementacin c = U Uc = AAc = AAc = U Elemento neutro AU = UA = A A = A =A AD = DA =A Leyes de Porkiski A(Ac B) = AB A(Ac B) = AB Involucin (Ac)c = A

ALGEBRA

CARMEN MAIDA

SEMESTRE I / 2013 PROPIEDADES DE LAS RELACIONES DEFINIDAS EN UN CONJUNTO.

En un conjunto dado A, que tiene n elementos, es posible definir tantas relaciones como subconjuntos tiene el producto cartesiano AxA. El nmero de relaciones que se pueden definir de A en A, se calcula como [(2) ] , que incluye a A y a .
n 2 2

Las relaciones definidas en un conjunto, pueden tener las propiedades: REFLEXIVIDAD: NO REFLEXIVIDAD: ARREFLEXIVIDAD: "x: xA (x,x) R $x/ xA (x,x) R "x: xA (x,x) R "xA:"yA: (x,y) R (y,x) R $xA/ $yA/ (x,y) R (y,x) R "xA:"yA: (x,y) R (y,x) R "xA:"yA: (x,y) R (y,x) R x = y "xA:"yA: :"zA: [(x,y) R (y,z) R] (x,z) R $xA/ $yA/ $zA/ [(x,y) R (y,z) R] (x,z) R "xA:"yA: :"zA: [(x,y) R (y,z) R] (x,z) R

SIMETRIA: NO SIMETRIA: ASIMETRIA: ANTISIMETRIA:

TRANSITIVIDAD: NO TRANSITIVIDAD: ATRANSITIVIDAD:

ALGEBRA

CARMEN MAIDA

SEMESTRE I / 2013 Ecuacin del plano: ax + by + cz + d = 0 Ecuacin de simtrica de la recta Esfera ( x - h) 2 + ( y - k ) 2 + ( z - p ) 2 = r 2 Donde: centro = (h,k,p) radio = r Elipsoide:
( x - h) 2 ( y - k ) 2 ( z - p ) 2 + + =1 a b c
x-xo a = y- yo b = z- zo c =k

Donde: centro = (h,k,p) semiejes = a2 , b2 , c2

2 y2 2 Hiperboloide de una hoja: x 2 + 2 - z 2 = 1

a,b,c 0 Hiperboloide de dos hojas: - x 2 +

a
2

y2 b
2

z2 c2

=1

a,b,c 0

2 y2 Paraboliode: x 2 + 2 = 2cz

a,b 0

Dominio de una funcin:

par

F( x ) F( x ) 0

ln F( x ) F( x ) 0

[ ]

G( x )
par

F( x ) 0

F( x )

G( x ) F( x )

F( x ) 0

G( x )
impar

F( x ) 0

F( x )

arcsenF( x ) ar cosF( x ) - 1 F( x ) 1 arctgF( x )

ALGEBRA

CARMEN MAIDA