an Shen Examination 4Symbolic Logic Summer 2016 TROY UNIVERS

an Shen Examination 4-Symbolic Logic Summer 2016 TROY UNIVERSITY-Main Campus Bernard Avant, Asst. Professor NAME Grade assessment: TOTAL POSSIBLE POINTS 150) ÷ 150 = Raw Points attained: 1 Recorded Score A 90+ C 70-75 B 80-89 D 60-69 THINK! F ·Below 60 Problem #1. RECALL: p q e~ pv q and determine a statement equivalent to ~ (p q). (pA q)->-n-q pv-q Problem #2. Use DeMorgan\'s Laws to write an equivalent statement: It is that not the case that roses are not red or violets are green. a. Compare to left half of second statement) b. Tyree is not a student at Troy U or she is not from Alabama. Compare to right half of first statement)

Solution

1. - ( P ---> Q) <=> P V -Q

2. (a) - P V Q

(b) - U V - A

3 (a) If cows can fly then all cows can fly over the moon.

(b) All cows can fly over the moon.

(c)  All cows cannot fly over the moon.

(d)  All cows can fly over the moon.

4. (A) all dogs cannot eat grass.

(b) some cats eat fish

(c) Fish can fly.

(d) All cats eat corn.

(e) Some men doesn\'t like pinto beans.

12. (a) P ^ (Q V R )

(b) ( P ^ Q ) V r

(c) P V Q

(d) P V -R

(e) - p ^ - Q

13 . (A) The house is for sale and we cannot afford to buy the house.

(b)  The house is not for sale and we cannot afford to buy the house.

(c)  The house is not for sale and we can afford to buy the house.

(d)  The house is for sale and we can afford to buy the house.

(e)  we cannot afford to buy the house as the house is not for sale.

14. (a) The given symbol is \"valid\" for the given statements.

(b) P --> Q , - P ----> -Q

Try truth tables on taking T or F that will be better