1 / 10

100 likes | 252 Vues

Exam 2 Practice Test. I. Translating statements in English to propositional logic (10, 2 points each). 1. If c ats have tails and b oys eat worms then a ardvarks are anteaters only if d ragons don’t exist.

Télécharger la présentation
## Exam 2 Practice Test

**An Image/Link below is provided (as is) to download presentation**
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.
Content is provided to you AS IS for your information and personal use only.
Download presentation by click this link.
While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

**I. Translating statements in English to propositional logic**(10, 2 points each) • 1. If cats have tails and boys eat worms then aardvarks are anteaters only if dragons don’t exist. • 2. Unless logic satisfies the math requirement, two semesters of French satisfy the language requirement and if one KLEPs English 101, then one does not have to take any English classes at CCU.**II. Determine the truth value of various statement forms (5,**2 points each) • 1. What is the truth value of ‘p q’ where p is true and q is true? ____________ • 2. What is the truth value of ‘p v q’ where p is false and q is true? _____________**III. Computing the truth value of longer propositions given**the truth value of the parts and identity the main operator (10, 2 points each) (A, B, and C are true and D, E, and F are false) • 1. (A v E) [(~F A) (~B C)] • 2. [~(D ~A) v (~E B)] [~C (F ~A)]**IV. Constructing truth tables**• 1. [A v (~B ~C)] (B v ~A)**V. Construct indirect truth tables**• 1. G H / H I / ~I // ~G • 2. K v ~W / S ~K / W K**VI. Recognizing argument forms and fallacies (10, 2 points**each) • 1. (~R T) ~J • (~R T) • ~J • A. Modus Ponens • B. Modes Tollens • C. Affirming the Consequent • D. Denying the Antecedent**2. ~[H (~G F)] v (Y T)**• ~[H (~G F)] • (Y T) • A. Modus Ponens • B. Disjunctive Syllogism • C. Constructive Dilemma • D. Invalid

More Related