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+20% off
$8 USD/m$10 USD/m
Billed $96 USD annually
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
40 Verified Answers
Class+
$8 USD/m
Billed $96 USD annually
Class+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
30 Verified Answers

Related Documents