{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Logic - HW06

# Logic - HW06 - PART I For the following arguments translate...

This preview shows pages 1–2. Sign up to view the full content.

PART I. For the following arguments, translate them into logical form and determine if they are valid are not. If they are valid construct a proof. If they are not valid, provide a set of invalidating truth assignments. 1. Death is nothing to us; for good and evil imply sentience, and death is the privation of all sentience. D=Death is something G=There exists good E=There exists evil S=There exists sentience (G&E)→S, D↔~S, ├ ~D G→S, E→S, D↔~S, ├ ~D F T F F T F F 2. The cake will make me either larger or [excl.] smaller. If it makes me larger, I can reach the key; and being smaller is sufficient to creep under the door. If I reach the key, I’ll get into the garden; and when I creep under the door, I’ll get into the garden. So, I’ll get into the garden. L=The cake makes me larger S=The cake makes me smaller K=I can reach the key D=I can creep under the door G=I get into the garden (L v S) & ~(L & S), L→K, S→D, K→G, D→G ├ G 1 (1) (L v S) & ~(L & S) A 2 (2) L → K A 3 (3) S → D A 4 (4) K → G A 5 (5) D → G A 6 (6) ~G

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}