PHIL 1636 Lecture 2: 7B & C
Document Summary
Well-formed formula - any statement letter standing alone, or in a compound statement such that an arrangement of operator symbols and statement letters results in a grammatically correct symbolic expression. Scope - the statement or statements that a logical operator governs. The dot, wedge, horseshoe, and triple bar symbols must go between two statements (either simple or compound) The tilde (~) goes in front of the statement it is meant to negate. The tilde (~) cannot, by itself, go between two statements. Parentheses, brackets, and braces can be used to eliminate ambiguity in a compound statement. Main operator - the operator that has the entire well-formed formula in its scope. One of the four operators that go between statements or else it is the negation operator. There can only be one main operator in a compound sentence. [(p v ~q) (r s)] ~(m n) ( )
