PS . PI . . P

[Hp. o.aab.loc.o.aoc [Idem

ir)

[Hp. o.ao&.6oc.co6.6oa.o.aoc.coa.o. Ts.] aob.boc.cod.o.aoccod [P13 . Pli . o . (a)]

aaS.&oc.coeZ.o.aocZ [(a) . P13 . o . P24]

cï = 6 . 6=c.c = d.o . a = d. [Hp. P23. o.a = c .c = fZ. o . Ts.] ho ^ ao ab [Pp.]

[(^^)p26.0.(a)] [(«).Pll.o.(/3)]

[PU. 0.(5)] [(5).P7.o.(.)]

c . o . a ac

c.aco&c.o.aoac.acoftc c.acobc .0 .aobc aob. c ,o,acobc.c aoh,c.o,c.acobc aob ,c,o , aobc

aob.o .caocb [Hp. PU . P7 .0 , acobc .caoac ,bcocb , o , Ts.]

aoh.o .aoàb aob,cod,o.acobd a = b,o,ac = bc a = b.c = d.o.ac = bd aob , o.a = àb a^ ab.o .aob aob .==*,a = ab aob, aoc.o .aobc aobc. .aob .aoc aohc. = .aob.aoc ao*boc:o .àboc aboc . o:ao .boc

P27.-.0, aD . boc : = ,a6oc boc ,o:aob .0 .aoc aoh.o: boc. 0. aoc

ao .boa

aoiaob .oh

ahoc .acob: = :ao .b = c

ao ,bc==bd: = :àbo .c^=d

[Hp. (^)p28.P2.o.Ts.]

[Hp. o.acobc.cod.o.acobc.bcobd.o. Ts.]

[Hp. o.a>6b.boa.o.acobc.bcoac.o. Ts.]

[Hp. . oc = &c . &c = M . . Ts.]

[Hp. P29.P5.0. Ts.]

[Hp. P15 . . Ts.]

[Hp. P30 . . aa o 6c . P2 . . Ts.]

[Hp. o::abo:boc.b.\ P12 :: o . Ts.]

[Hp. P26 .o.'.ao.boabiaboc:

y.\ao:boab.àboc.'. P13 .*. o . Ts.]

r(^)p38oP42

[Hp. ={ao.boc){ao.cob)= Ts.]

aob .0 .-&o-a a = & . .-a = -&

ao&. = .-&o-a

ao5==-[(-a)(-&)] ^(av.&) = (-a)(-&)

[P2 P5] [Def.] [P6 P7

[aw6 = [(a)(-6)] = -[(-&)(-a)] = 6^a a^b^c = a^c^b

a^a=^a [av^a = -[(-a) (-a)] = -{-a) = a]

ao6.o.av-;co6^c [Hp. o.-6o-a.o.-6-co-a-c.o. Ts.]

[Pli P12]

[Pli P13]

[§lP5o.-a-5o-a.o. Ts.]

[§1 P5 : a& a . P16 :o>a^àb = a]

[P15 . : oc (ao6)c . ba.o {a^b)c . P17 : o . Ts.]

[§lP26o(«)]

[§lP26o(ô)]

[(a)(/3).§lP34o(y)]

[(S).§lP39o.P21]

[{a v^ c) (& v^ c) == aô v^ ac v^ 6c v^ c = a6 w c]

ao.-co-6:==:a-co-&]

aob .cod.o ,a\^cob^d a = 5.c = d.o.a'<^c = 6weZ a a^6

ao& . = . 6 = a^b aoc.ôoc. = .ao&c^c a^ah = a a(a v^ &) = a acw&co(ao6)c co .aoac co .bobc co.aoac.bobc co.a^bocic^bc {a^b)coac^ bc {a^b)c==^ ac^ bc {a^j c) (b <^ c) = ab ^ c ofeoc. = .a-co-6 [ab c : = : a .b c \ a6oc. = .aoc^-& a6ocv^eZ. = .a — co — 6ocZ