Logic - HW06

Logic - HW06 - PART I. For the following arguments,...

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

View Full Document Right Arrow Icon
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→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 1 A 2 (2) L → K
Background image of page 1

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

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 06/22/2008 for the course PH 200 taught by Professor T during the Spring '08 term at Rhodes.

Page1 / 2

Logic - HW06 - PART I. For the following arguments,...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online