n ? v t / vt1a?bee{ef,.v 0 . 1 q l F a 6 ? T F F ? ' r T ? ?. T T F T F F ? ? F T F F F T F - F r , T ? F T T ? f f i , C-ez,efT a- $ e ? eo**P 7ct "( ttl*' -t ? n 7 ' a"g 2 -Iura*rlual *e*u4 *.ir,ndA nrlutlq'rl7 :?|'ry.ln',*u- --(, b 3t'r' ) ? rrrt''.jl-t-'> (et*7wl fro th eta+:*n € lcl,v .* iE 1ut +'-- + =--J- 1r,rr- ftc *rr'"e+ *-4. ,&*'C 4 a b l - l
1:,*:::?t*L,,, ? - g -t a.7 - = t f v l - . 7 -- I a-
Proofs 24 I / The Foundations: Logic and TABLf, 6 Logical Equival � nces. r q ) v r = p v \ q \ t r ) \ p ( p ^ q ) ^ / = p ^ l q ^ t ) ^ /) = (p v tt) ^ \? v r) p v (.1 ^ q)v \1, p ^ (r1't /) = Q, ^t) * In these rhe c-( equivalences' T denotes important equivalences 6 contains some Table the compound proposinon thal t5 pouild proposition thai is always true and F denotes proPosinons itnolr useful equivalences for compound ways false. We also display some 8, respectivev Th � r � ' ? and biconditional statemenis in Tables conditional statements and at the end ofthe s � cnoo_ to veriry the equialences in Tables 6-8 in the exercises is asked P v q v r is u � ll defit law lor disjunction sho{'s that the expression The associative we fust take the disjunction of p with g and t not matter whether in the sense tha! it does / ard then Bte the disjunction of 4 and the disjunction ofp v q with /, or ifwe frrst take P ^ 4 ,\ r'is well defned By er(renditrg disjunition ofp with q v r. Similarly, the expression ptv p2\r " vr-arrdpi sile r /\p' are well deined it f;llows that rcaionhg, P2A lo that De Motgant laws extend p t, p2, . ., p, Ne prcpositions. Furthermore, note -(p1\t p2't ..v pn)= (-Pr A-p2A ^-?,) and v-?,). -(pr r, p2 /\.. ^p.)=(-prv-p,v identities $'ill be given h Section 4 l ) (Methods for proving these " lde.tilies c a specitl G of ij.tu llgetB will noticc lhat rhese Reades fmillar wilh the concept of a Eoolean rYith 8@16 id'ndc 6 in T.ble I in Section 2 2 and Boolem algebn. ConPde dlen wilh set identities hold fot any
A 1?,t f + I = 7 ' E ) a - ( cw/do*l , v n ? lE 1- (t.eu) .Q 1? t- 6lv r- r_ n t . 1 ? t- = er ivlb-lto., s? (X, 1e ?trte, t *l CrrJ rAt J,l'r"< v k r 8 v g ) n ? a ? - Q r)"t E Pw (f vil) vt ?- T . v Q J ' D = / ^ v T u A = = l l . ?
t,'(r u*'( $,uol' ^ ro ? lo ?vty',zrt E (r) *.rta UvWuuaa qKa 2..'1 , .w Dcyral6 t Ftlla..*kA (n<.;fIftulgg,'\ 1 ..............Ecx) f t tl'-+.:7tv C ( r ) i r k - V t r s eryfr, e t F ct F [e9'rcr1 ell € u e q T ? Ith r (et tc.() . J F c A F tqlq r >z . ' T tQsaq) C3 a a^a A a a Yx E61).tcCx) =,
Recommend
More recommend