Lógica I. Tarea Extra. Reyes Vega G.

Tzite
Jueves Noviembre 15, 2018

I. Equiv. =/&
1.- A=B 1.- (A&B)V(~A&~B)
/ (A&B)V(~A&~B) / A=B
II. Equiv. >/V
1.- A>B 1.- ~(A&~B)
/ ~(A&~B) /A>B
III. Absorción
1.- A>B 1.- A>(A&B)
/ A>(A&B) / A>B
2.- |a. A Sup. 2.- |a. A Sup-
|b. B E>(1, 2a) |b. A&B E>(1, 2a)
|c. A&B I&(2a, 2b) |c. B E&(2b)
3.- A>(A&B) I>(2) 3.- A>B I>(2)
IV. Reflexividad
1.-A=A
V. Transitividad de =
1.- A=B
2.- B=C
/ A=C
3.- |a. A Sup.
|b. B E=(1, 3a)
|c. C E=(2, 3b)
4.- A>C I>(3)
5.- |a. C Sup.
|b. B E=(2, 5a)
|c. A E=(1, 5b)
6.- C>A I>(5)
7.- A=C I=(4, 6)

1
Lógica I. Tarea Extra. Reyes Vega G. Tzite
Jueves Noviembre 15, 2018

VI. Expansión de >

1.- A 1.- (A>A)>A
/ (A>A)>A /A
2.- |a. A>A Sup. 2.- |a. A Sup.
|b. A E>(1, 2a) |b. A>A E>(1, 2a)
|c. A E>(2a, 2b)
3.- (A>A)>A I>(2) 3.- A>A I>(2)
4.- A E>(1, 3)
VII. Conmutatividad de V
1.- AVB 1.- BVA
/ BVA / AVB
2.- |a. A Sup. V |a’. B Sup. 2.- |a. B Sup. V |a’. B Sup.
|b. BVA IV(2a) |b’. BVA IV(2a) |b. AVB IV(2a) |b’. AVB IV(2a)
3.- BVA EV(1, 2) 3.-AVB EV(1, 2)
VIII. Conmutatividad de &
1.- A&B 1.- B&A
/ B&A / A&B
2.- A E&(1) 2.- B E&(1)
3.- B E&(1) 3.- A E&(1)
4.- B&A I&(2, 3) 4.- A&B I&(2, 3)

2
Lógica I. Tarea Extra. Reyes Vega G. Tzite
Jueves Noviembre 15, 2018

IX. Conmutatividad de =
1.- A=B 1.- B=A
/ B=A / A=B
2.- |a. B Sup. 2.- |a. A Sup.
|b. A E=(1, 2a) |b. B E=(1, 2a)
3.- B>A I>(2) 3.- A>B I>(2)
4.- |a. A Sup. 4.- |a. B Sup.
|b. B E=(1, 4a) |b. A E=(1, 4a)
5.- A>B I>(4) 5.- B>A I>(4)
6.- B=A I=(3, 5) 6.- A=B I=(3, 5)
X. Asociatividad de &
1.- (A&B)&C 1.-A&(B&C)
/ A&(B&C) / (A&B)&C
2.- A&B E&(1) 2.- B&C E&(1)
3.- B E&(2) 3.- B E&(2)
4.- C E&(1) 4.- A E&(1)
5.- B&C I&(3, 4) 5.- A&B I&(3, 4)
6.- A E&(2) 6.- C E&(2)
7.- A&(B&C) I&(5, 6) 7.- (A&B)&C I&(5, 6)
XI. Asociatividad de V
1.- (AVB)VC
/ AV(BVC)