Download presentation
Presentation is loading. Please wait.
Published byJason Weaver Modified over 9 years ago
1
No new reading for Wednesday. Exam #1 will be given in class on Friday. It covers Chapters 1 and 2 (except for chapter 2, section 6). On Monday, I’ll give you a more detailed outline.
2
Formation Rules for LSL Base clause (f-sl): Every sentence-letter of LSL is a well- formed formula (a wff) Recursion clauses: (f-~): If p is wff then the result of prefixing ‘~’ to p is a wff. (f-&): If p and q are wffs, then placing ‘&’ between them and enclosing the result in parentheses yields a wff. (f-v): If p and q are wffs, then placing ‘v’ between them and enclosing the result in parentheses yields a wff. (f-→): If p and q are wffs, then placing ‘→’ between them and enclosing the result in parentheses yields a wff. (f-↔): If p and q are wffs, then placing ‘↔’ between them and enclosing the result in parentheses yields a wff. Closure Clause: Nothing is a wff in LSL if it is not certified by the preceding rules.
3
Formation rules and parse trees For any wff p, you can construct a parse tree starting with capital letters at the bottom and adding nodes using only the recursion rules until you reach the top, which has a single node p. Any symbol string constructed in this way is a wff. And nothing that can’t be constructed in this way is a wff.
4
Subformulae ‘Formulae’ is the traditional plural form of ‘formula’ A subformula of p is any formula appearing at a node on p’s parse tree.
5
Scope and main connectives The scope of a binary connective c is the subformula appearing at the node where c is introduced. A tilde’s scope includes all and only the symbols appearing in the node immediately below the node introducing the tilde. The main connective of a formula is the last connective added to it, working upwards through the parse tree.
6
Complications Outermost parentheses of the entire formula can be dropped. Parentheses are never added when just a tilde is added. Always give the tilde the smallest scope consistent with the presence of parentheses.
7
Tildes and Scope p. 15: tildes take the smallest possible scope Look immediately to the right of the tilde. If a sentence letter appears, the tilde’s scope is the sentence letter only. If there is an open parenthesis (or bracket), then everything within the group surrounded by that parenthesis and its partner is in the scope of the tilde.
8
Exercises, p. 40
9
About Exam #1 I.6 True-False Questions about Validity and Soundness (worth two points each) II. 4 Symbolizations, worth 2, 3, 3, and 4 pts.) III. Symbolize an argument, worth 8 pts. IV. 2 parse trees, worth 4 pts. each
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.