ࡱ> -/,@ 0bjbjFF 4,,llll>>449$RH]]r:V@i ]lj 0xD.ii(]]lrlSymbolic Logic I Study Guide and Worksheet Logical Syntax Logic, like ordinary language, has a syntax, a set of rules determining which strings of symbols are meaningful within a particular language. When a string of symbols satisfies the syntax rules, that string is said to be well-formed. In logic well-formed formulas are called WFF's (pronounced "woofs"). It is important to be able to separate out WFF's from strings of symbols that are syntactically incorrect. Below are several definitions and the rules of logical syntax, the rules of WFF formation. Definitions: 'Statement Letter' -- Any capital letter used to symbolize a simple statement 'Connective' -- a tilde (~), dot ((), wedge ((), arrow ((), or double arrow (() 'Grouper' -- a parenthesis, bracket, brace, etc. 'Symbol' -- a statement letter, connective, or grouper 'Formula' -- any horizontal string of symbols 'Left-hand grouper' -- a '(', '[', or '{' 'Matching right-hand grouper -- the mirror image of a left-hand grouper 'Binary Connective' -- any connective other than a tilde With these definitions we can now define a WFF A WFF is either (a) a statement letter (b) a tilde followed by a WFF, (c) a left-hand grouper followed by a WFF followed by a binary connective followed by a WFF followed by a matching right-hand grouper* EXERCISES Using the definitions given above, determine which of the following formulas are WFF's 1) (~A ( B) 2) ~(C ( ~~~D) 3) (E ~F) 4) (G ( H ( I) 5) {[(A ( B) ( F] ( (G ( H)} 6) A ( [(B ( ~C) ( D] A ( [(B ( ~) C ( D] 8) (A ( ) [B ( C () ( ~D] 9) {J ( ~[(K ( L) ( M]} 10) PQ ( (R~S) *We will, for the sake of simplicity, allow a formula which would be a WFF under (c) if the formula were encased in a set of parentheses to count as a WFF. So, while 'A ( B' is not, technically speaking, a WFF we will treat it as one since (A ( B) is a WFF. We shall act as if the outermost set of parentheses were present.  $ P U > ? } !"'(,-23@AFGLMTUZ[abnouvyz|} jqh ICJ jh ICJOJQJ jh ICJOJQJ jheCJ jheCJ jqheCJ jheCJ heCJ h I>*CJ h ICJh I@+,;4 5 B ( l  U V | } `gde8Rf`gdy & Fh^hgd I Z[ jhyCJOJQJ h I>*CJ jh ICJOJQJ jh ICJOJQJ h ICJ jqh ICJ 2 00PBP/ =!"#$%H@H Normal1$7$8$H$_HaJmH sH tH 8@8 Heading 1$@&CJDAD Default Paragraph FontViV  Table Normal :V 44 la (k(No List <&< Footnote Reference+,;45B(lUV|}8Rf000000000000000000000000000000 00 ;0 ;0 ;0 ;0 ;0   PU^f'loM:::::::M.vwfc)ODZ_CRҬ808^8`0o()^`.pLp^p`L.@ @ ^@ `.^`.L^`L.^`.^`.PLP^P`L.^`o() ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.^`o() ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH..fc)Z_Cxk2                          e Iy_@HP DeskJet 810C Series PrinterLPT1:winspoolHP DeskJet 810CHP DeskJet 810C Series PrinterXC od,,LetterDINU"4$%#| $$$$HP DeskJet 810C Series PrinterXC od,,LetterDINU"4$%#| $$$$gCCp@UnknownGz Times New Roman5Symbol3& z Arial?Wingdings 3G WP MathASymbol"A h&&Af00$ xx23Q H(? ISymbolic Logic I Hamner HillComputer Services   Oh+'0 $0 L X d p|Symbolic Logic Idymb Hamner Hillamnamn Normal.dotComputer Servicesd2mpMicrosoft Word 10.0@F#@h@/@/0՜.+,0 hp  $Southeast Missouri State University Symbolic Logic I Title  !"#%&'()*+.Root Entry F`·01TableWordDocument4SummaryInformation(DocumentSummaryInformation8$CompObjj  FMicrosoft Word Document MSWordDocWord.Document.89q