Symbolic Logic I
Symbolic 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, ampersand (dot), wedge, horseshoe (arrow), or triple bar
'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) WFF
2) ~(C ( ~~~D) WFF (~D is a WFF, so ~~D is a WFF, so ~~~D is a WFF)
3) (E ~F) Not a WFF
4) (G ( H ( I) Not a WFF (no dominant operator)
5) {[(A ( B) v F] ( (G ( H)} WFF
6) A v [(B ( ~C) ( D] WFF
7) A v [(B ( ~) C ( D] Not a WFF
8) (A v ) [B ( C v) ( ~D] Not a WFF
9) {J v ~[(K v L) ( M]} WFF
10) PQ ( (R~S) Not a WFF
*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 6 B' is not, technically speaking, a WFF we will treat it as one since (A 6 B) is a WFF. We shall act as if the outermost set of parentheses were present.
................
................
In order to avoid copyright disputes, this page is only a partial summary.
To fulfill the demand for quickly locating and searching documents.
It is intelligent file search solution for home and business.
Related searches
- symbolic meaning of winter solstice
- symbolic logic derivation solver
- symbolic logic proof solver
- symbolic logic solver
- symbolic notation geometry
- symbolic play piaget
- symbolic interactionism and poverty examples
- symbolic interactionism sociology
- symbolic interactionism examples in media
- symbolic interactionist theory
- symbolic interactionism and social media
- symbolic interactionist perspective example