PHIL 2100 Lecture Notes - Lecture 8: Conjunctive Normal Form, Disjunctive Normal Form, Saber Of London

31 views10 pages

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.

Get access

Grade+
$40 USD/m
Billed monthly
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
10 Verified Answers
Class+
$30 USD/m
Billed monthly
Class+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
7 Verified Answers

Related Documents