If your roommate picked up the book and thumbed through it, they would not immediately become a logic student. Ideal for students with no background in logic or philosophy, simple formal logic provides a full system of logic adequate to handle everyday and philosophical reasoning. Propositional logic, truth tables, and predicate logic rosen. Examlike exercises are marked by exercises are provided but it is a good idea. About the open logic project the open logic text is an opensource, collaborative textbook of formal metalogic and formal methods, starting at an intermediate level i. Supplementary exercises in propositional logic the purpose of these exercises is to train your ability to manipulate and analyze logical formulas. Propositional logic is also amenable to deduction, that is, the development of proofs by writing a series of lines, each of which either is given or is justi. Later, in predicate logic, we will see how to uncover the internal structure of relational statements such as r1r5, internal structure that is inaccessible to sentential logic. The course exercises are meant as complementary material for the students of the course of logic at the free university of bozenbolzano. Translation practice in propositional logic with answers pick a capital letter to represent each simple statement, and represent the following statements symbolically, using the tilde, dot, wedge, horseshoe and triple bar. Logic is part of our shared language and inheritance. Since reasoning is central to all fields of studyindeed, since its arguably central to being humanthe tools developed in logic are universally applicable. Propositional logic is concerned with propositions and their interrelationships.
Propositional l ogic a nswers to exercises e xercise 6. References to irving copi, symbolic logic, are to the fifth edition, macmillan, 1979. This chapter is dedicated to another type of logic, called predicate logic. Logic exercises for freshman composition the three laws of robotics. Exercises for propositional logic i open textbooks for. For the exercise you need, copy the first lines and the conclusion to a sheet of paper, and get to work. However, this is not to suggest that logic is an empirical i. On the other hand, we deal primarily with monadic predicate logic in the present chapter, leaving polyadic predicate logic for the next chapter. Answers to copis translation and derivation exercises propositional logic peter suber, philosophy department, earlham college. The notion of a proposition here cannot be defined precisely. Say if one is a logical consequence of the other 4.
One proposition cannot be represented by more than one letter. It deals with continuous functions, differential and integral calculus. A proposition is a statement that can be either true or false. Before we explore and study logic, let us start by spending some time motivating this topic. This ebook contains exercises for lectures on logic. Preface this book is an introduction to logic for students of contemporary philosophy. The language of mathematics, logic, will be essential to what we plan to do in this class. Far too many authors of contemporary texts in informal logic keeping an eye on the sorts of arguments found in books on formal logic forget, or underplay, how much of our daily reasoning is concerned not with arguments leading to truthvalued conclusions but. Formalise the following statements in predicate logic, making clear what your atomic predicate symbols stand for and what the domains of any variables are. It is very di cult to learn any mathematical concept without getting your hands dirty with some exercises. First order logic sentences for each of the following english sentences, write a corresponding sentence in fol. The open logic text by theopen logic project is licensed under acreative commons attribution 4. In the first set numbered 510 the full proof solution is provided.
Let tbe a complete theory with in nite models in a countable language. Argumentsfallacies the turkey vulture is called by that name because its red featherless head resembles the head of a wild turkey. Designed to make logic interesting and accessiblewithout sacrificing content or rigorthis classic introduction to contemporary propositional logic explains the symbolization of english sentences and develops formalproof, truthtable, and truthtree techniques for evaluating arguments. Propositional logic, truth tables, and predicate logic.
Produce tableaux for the following formulae, and list the structures in which they are true. Propositional logic 26 while the assignment of letters to simple propositions is arbitrary, three rules must be obeyed. Chapter 3 predicate logic \logic will get you from a to b. Construct a truth table for the following statements. The ability to reason using the principles of logic is key to seek the truth which is our goal in mathematics. Exercises for propositional logic i open textbooks for hong. I include the translation exercises, but not the derivation exercises, that copi answers himself in the back of the book. A proposition or statement is a sentence which is either true or false. Cats chase mice or birds, but not at the same time. If a, b, and c are true propositions and x, y, and z are false. Butneithero,oenoro,oenorc,ceisin srss,thatis,ino,oe,o,ce,o,ce. The language of mathematics, logic, will be essential to what we plan to do in this class, so here are some problems to think about. A robot must protect its own existence so long as such.
Please write logic formulas using the syntax previously defined, using false or for brevity, f, true or t. Rather, logic is a nonempirical science like mathematics. Also, in saying that logic is the science of reasoning, we do not mean. The open logic text is a collaborative project and is. If a proposition is true, then we say its truth value is true, and if a proposition is false, we say its truth value is false. The language of propositional logic hereafter pl consists. Every statement in propositional logic consists of propositional variables combined via logical connectives. Wittgenstein, tractatus logicophilosophicus it is very di cult to learn any mathematical concept without getting your hands dirty with some exercises.
Each variable represents some proposition, such as you wanted it or you should have put a ring on it. Logic worksheets printable pdfs on what logic means in. It is a relatively simple theory as logical theories go, which is not to say that all the logical techniques that it introduces are likewise simple. Predicate logic can express these statements and make inferences on them. Solutions to exercises marked with a single asterisk are included in. Propositional logic is a formal mathematical system whose syntax is rigidly specified. Yet, it is possible for someone besides a logic student to read this book. Let p stand for the propositioni bought a lottery ticketand q fori won the jackpot. The material presented here is not a direct component of the course but is offered to you as an incentive and a support to understand and master the concepts and exercises presented during the course. A necessary condition for angelo coming to the party, is that, if bruno and carlo arent coming, davide comes. Take a guided, problemsolving based approach to learning logic. Solutions to propositional logic proof exercises october 6, 2016 1 exercises 1.
If function practice from the proficiency exercises file. In this text, we do not formally divide the subject in this way. A robot must follow the orders given it by a human being except where such orders would conflict with the first law. Logic exercises for freshman composition the three laws of robotics a robot may not harm a human being, or through inaction, allow a human being to come to harm. By keeping out artificial techniques that arent natural to our everyday thinking process, simple formal logic trains students to think through formal logical arguments for themselves, ingraining in them the habits of sound.
These compilations provide unique perspectives and applications you wont find anywhere else. It covers i basic approaches to logic, including proof theory and especially. The barber of seville shaves all men who do not shave themselves. Logic games are aimed at training your reasoning skills and your concentration. This is the mode of proof most of us learned in a plane geometry class in high school. Write the truth table of the following two formula p. Logic is the discipline that aims to distinguish good reasoning from bad. Logic worksheets pdf printable logic math worksheets for children in.
Though aimed at a nonmathematical audience in particular, students of philosophy and computer science, it is rigorous. Roughly speaking, a proposition is a possible condition of the world that is either true or false, e. The open logic text university of calgary in alberta. In propositional logic, we have a connective that combines two propositions into a new proposition called the conditional, or implication of the originals, that attempts to capture the sense of such a statement. The standard philosophy curriculum therefore includes a healthy dose of logic. Some exercises on logic and proof the logical propositions describe the sca olding of the world. Einstein in the previous chapter, we studied propositional logic. Olive oil logic 1 olive oil can be purchased according to this price schedule. Express the following as natural english sentences. Propositional logic, truth tables, and predicate logic rosen, sections 1. By keeping out artificial techniques that arent natural to our everyday thinking process, simple formal logic trains students to think through formal logical arguments for. Mar 16, 2015 please write logic formulas using the syntax previously defined. These worksheets cover most logic subtopics and are were also conceived in line with common core state standards.
Statements such as x is a perfect square are notpropositions the truth value depends on the value of x i. The first and the simplest of such theories is called propositional logic or statement logic or sometimes even sentential logic. Prl c x s tth s s d ivs vlid d invlid arts mal s dam m 1. In propositional logic a statement or proposition is represented by a symbol or letter whose relationship with other statements is defined via a set of symbols or connectives. Prove that mj t is prime if and only if it is countable and atomic. Logic practice on paper using logical functions in modeling exercise 4. This kind of questions might appear in the final exam. Such combinations allow you to describe situations, and what properties these situations have or lack. Prek, kindergarten, 1 st grade, 2 nd grade, 3 rd grade, 4 th grade, 5 th grade, 6 th grade and 7 th grade. Some statements cannot be expressed in propositional logic, such as. Formalise the following in terms of atomic propositions r,b,andw. The only good extraterrestrial is a drunk extraterrestrial.
These exercises describe some common logical fallacies and will help you become skilled at identifying them. A proposition is a statement, taken in its entirety, that is either. But in many cases only a single advanced logic course. This fallacy involves reaching a conclusion before adequate evidence has been presented. A robot may not harm a human being, or through inaction, allow a human being to come to harm. Click on these links to pull up some exercise sets that are in pdf format. Propositional logic overview the most basic logical inferences are about combinations of sentences, expressed by such frequent expressions as not, and, or, if, then.
504 923 1532 1214 1486 1424 486 257 1498 582 242 358 418 550 477 714 268 434 715 814 46 1497 254 119 1644 1035 690 1125 819 385 1396 1465 576 499