程序代写代做代考 Logic Tutorial 1 Solutions

Logic Tutorial 1 Solutions

Logic Tutorial 3 Solutions

1.

a) Proving PQ  (PQ)Q :

(PQ)Q  ¬(PQ)  Q Implication rule

¬(¬PQ) Q Implication rule

 (¬¬P¬Q) Q De Morgan

 (P¬Q) Q Double negation rule

 (PQ)  (¬QQ) Distributive rules

 PQ ¬QQ is a tautology

b) Proving PQR  (PR)  (QR) :

(PR)  (QR)  (¬P R) (¬QR) Implication rule

 ¬P  ( R (¬QR)) Associative rules

 ¬P  ( R ( R  ¬Q)) Commutative rules

 ¬P  ( (RR)  ¬Q) Associative rules

 ¬P  (R  ¬Q) RR R

 ¬P  (¬Q  R) Commutative rules

 (¬P ¬Q)R Associative rules

 ¬( PQ) R De Morgan

 PQR Implication rule

c) Proving P(QR)  (PQ)(PR) :

(PQ)(PR) Implication rule

 ¬(PQ)  (PR) Implication rule

 ¬(¬PQ)  (PR) Implication rule

 (¬¬P ¬Q)  (¬PR) Implication rule and De Morgan

 (P ¬Q)  (¬PR) Double negation rule

 (¬PR)  (P ¬Q) Commutative rules

 ((¬PR)P)  ((¬PR)¬Q) Distributive rules

 ((¬PP)R)  ((¬PR)¬Q) Commutative and Associative rules

 (¬PR)¬Q ¬PP is a tautology

 ¬P (R¬Q)  ¬P (¬Q  R) Commutative and Associative rules

 P(QR) Implication rule

2

a. I will use the following propositional symbols:

D: to stand for “capital punishment deters capital crime”

J: to stand for “capital punishment is justified”

Premise:

DJ

D

Conclusion

J

D J DJ D Premise J

T T T F F F

T F F F F T

F T T T T F

F F T T T T

The third row shows that there is an interpretation in which the premise is true but the

conclusion is not. So the conclusion is a not a semantic consequence of the premise.

b. I will use the following propositional symbols:

W: to stand for “we conduct a war”

S : to stand for “we solve our domestic problems”

Premise:

(WS)

Conclusion:

SW

Premise

W S WS (WS) W SW

T T T F F F

T F F T F T

F T F T T T

F F F T T T

The conclusion follows from the premise.

3.

I will use the following propositional symbols:

L: to stand for “lung cancer is more common among male smokers”

S: to stand for “smoking causes lung cancer”

M: to stand for “lung cancer is caused by something in the male makeup”

Premise:

L

SL

LM

Conclusion

SM

L S M L SL LM S Premise SM

T T T F F T F F F

T T F F F F F F F

T F T F T T T T T

T F F F T F T F F

F T T T T T F F F

F T F T T T F F F

F F T T T T T F T

F F F T T T T F F

The third row is the only interpretation in which all the wffs in the premise are true, and

there the conclusion is also true. So the conclusion is semantically entailed by the

premise.