PHIL 2100 Lecture Notes - Lecture 8: Conjunctive Normal Form, Disjunctive Normal Form, Saber Of London
Document Summary
Ch 2: and", or", if and only if". Conjunction: (p q: where p and q are its conjuncts. Disjunction: (p v q: where p and q are its disjuncts. Biconditional: (p q: where p and q are its constituents. ~, , , v, and are called sentential connectives. The corresponding phrases it is not the case that", if then", and", or" and if and only if" are called phrases of connection. Symbolic sentences can be characterized as follows: sentence letters are symbolic sentences, if is a symbolic sentence, then so is, if and are symbolic sentences, then so are; ** note that , , v, and all take parentheses. Restore any parentheses that may have disappeared as a. 3) corresponding phrases of connection, preserving all parentheses. Free translation: translation of a symbolic sentence on the basis of a given scheme of abbreviations that is a stylistic variant of the literal english translation. Note that a literal translation preserves the parentheses.