A supplemental handout on logic. - UCLA Department of Mathematics

28 downloads 98 Views 161KB Size Report
Supplemental handout - The basics of mathematical logic. • The purpose of this ... tion to mathematical logic, which is the language one uses to conduct rigorous ...
     !" #$%  !&  '(")*+"  -!./0$1 '!     2(3 '4+(56478("9:  '-/"; , 

' < '>=@?ACBD;=@?AFEHG!?I1IJ!KEHG;L.M#">(N 'OP ++6 Q! R ':"& "; -!+-!@  !&  '(")S-!T$U&VW@ X !&-/P(@  YZ-/&"; X"  . &  [$\ !" -/!].^M_ 5 -N98 ^M# + ^M` X !&  !")a+"NM_-/9T2 /45&-cbd&($Ua$U-# &-//   +@ ! X !&  !")*MS^bY$% ! 98( +L M#"e "&d / !&-/&f^M#Obe !g-!"e  '&  '(")_"& " & !  f-/(& @ ( Wg"&()-  W"  h&  YMS^biO( "&(( +g  bi$R ' -!T$Pj kbT.l78&c ' [( Y '(#"&-/!V ,nm /- ( '( ++"&ob[(1#5&-/b6/ $UT!98(HVpj \q/ ;M# 1-! P !& 'Lr \ 

'6' @6&LsM#-!o '( +4"&&-!obL-#;t "  8 !(bL.-["  5( "&( +obL-# $U-! r

'(5&ob*]8()((bQ MS4M3 8 _ '60$a '&![  " LT _! @

! @&  OR ': 9u"  -! @/&uvC '+wM#( !>-'"

'("&Obyxz%.uQ ! ";54 @-!u${b-lM#-!o ' +YT|/ "

'o5 0"  "&-!-!  '(b}~VuTQ:+"& -!+  8 ^bn/ @

'(  4T9 M# bL3;€" &!/(5&(b"& @(")r '&aL_ ' -/M#(![.)-{ "  5T "  +V%N(+65  +[$.M#-!o '( ++(")((bL ^MS;5&- L‚l ! 6 @") Z.X!( ' (b>/-!4 'r 6b-6"& "&! ZM#( *0"&-/-!&"; )LaN( +YR(qb-RbT. ' ! RMS -!O" -!-/&"

l ƒb-Nc '  MS -!@+(")„]y/ +… '&-/ kbT 0$_M#-/( '( +: 4"& †.4-!&! (bw"&  5( "& ƒ ' R/ ; '( +X([ !-!La [ ' -!O(RX(‡*&-! "&0*; kMS & ˆ.& + "& 5T " &ƒ d*  +Y‰;ŠT‹'D;V ,eŒ &( +R+"&8‚  % ' (b6 !(-'(S '-!( \ 0M#-!( ! +L u( O$F"

%! @;

' @&6( 0+; 'Q( † ! MS)b*]  ' Xr '" P $U-0( / ' "& $C ' -! !-c Q ! !-c O( $U-! {-/+ @&  '0M#"-!Y  O+"&obƒ-/+-/M#&  ! b M3   ':"  5T " @ ' -l X !&  !"& [$_dc  !& @&  lM#( !  +

'-/+  N '-cb< !Y/R‡  (+("){-!+ @&  @u.&( +>+"&ob>-!(+-!&VvFpk n-c '("&-&L‚o$[  @ M_-!9w78 / ! †-l;€ ‘78 / '( g(!98( +…$U- 'eR$Qb    &yLRb`-!(bW!† !ZP)M#d$ +("0 "& !"&(/(bw( wb-l 5 -/bT)bˆ!.& "g ˆ wb-l^M# Z(  '&-/  vF  Tk  ' Xr '"&C}{-!&!  +V  ^MS;5 -&Lyo [ 2 '9Q@o 2$‚ '-!  +  Z-'"; '("&O 'd-/&"&+  u '(l  r 'u!98(“ Z ! @+ ["&-! *;$U-!Q h _ ' N[+ +@ ! *0! &/&Vlpk c '&y L

  !"#%$ & '$)({Ly ‹'D!? *O  Š *TD;‹'‰;AH,? *l !  2-! ' -3 ' < @&-/&(b…‰;A„+ Š *,.r/E TK6( 10 ,

232324232 5

r ' X !"&y/ ' '   '

,76  bg  !&  '(")-/+ @&  O-!T"&& u ƒ! 7T& "