Translate Statements into Symbolic Logic: Exercise Guide
School
University of Guelph**We aren't endorsed by this school
Course
PHIL 2100
Subject
Philosophy
Date
Dec 11, 2024
Pages
1
Uploaded by ChiefBraveryAlpaca17
Exercise Please answer the following in chapter 7 of the textbook:Translate each of the following statement into symbolic form. Use the letters in parentheses to represent each component statement. (Assume that the letters stand forpositive statements so that a negated statement is indicated by putting a tilde [~] in frontof the letter). 3) Sea levels are sure to rise unless global warming is halted soon. (x, y)X: sea levels are sure to rise; y: global warming Is halted soon; translation: ~y --> x5) Teasing a vicious dog is not a good idea. (r)R: teasing a vicious dog is a good idea; translation: ~r6) Provided Alex returns the money, he will not be prosecuted. (x, y)X: alex returns the money; y: alex will be prosecuted; translation: x --> ~yExercise 7.3. Questions Say which of the following compound statements are true and which are false on the basis of what you know about the truth value of their components.1)Winters are cold in Canada & Summers are cold in Canada.Fact: winters are cold in Canada (true); fact: summers are not cold in Canada (false); truth value: true ^ false = false5) Cats have wings Cats can fly.Fact: cats do not have wings (false); implication: false --> anything = true; truth values: true7) ~Alligators are reptiles & ~Dogs are reptiles.Fact: alligators are reptiles (true); fact: dogs are not reptiles (true); truth values false ^ true = false.
