First Symbolic Exercises

Slides:



Advertisements
Similar presentations
What is the capital of the UK? London What is the capital of France? Paris.
Advertisements

Państwa w Europie Countries in Europe There are 47 countries althogether Karolina Klasa.
Economy and Governments in S.W. Asia. The Power of Oil OPEC—Organization of Petroleum Exporting Countries Attempt to control oil production to increase.
Exercises with the Material Conditional
Refutation, Part 1: Counterexamples & Reductio Kareem Khalifa Philosophy Department Middlebury College.
Lesson 2-2 Example Example 3 Use to compare 382 and 365. You can graph the numbers on a number line. The greater number is farther right
These frogs need flies to eat. We call this DEMAND. If they don’t eat, they will not survive. The fly is the food. We call this the SUPPLY STARTER: 1.What.
Countries in Europe By Tomasz Tlaga. Belgium A capital city of Belgium is Brussels. flower carpet -
Scientific Realism: Overview Kareem Khalifa Department of Philosophy Middlebury College.
OPEC Organization of Petroleum Exporting Countries- Information for Standard SS7E6c.
Propositional Logic. Negation Given a proposition p, negation of p is the ‘not’ of p.
Major Oil Regions of Today. Major Oil and Gas Regions: Alaska North Slope.
Conditional Statements & Material Implication Kareem Khalifa Department of Philosophy Middlebury College.
ADVERTISE THIS! Our Product Name: Price: Where to buy it: How to use it and good points:
Global Places. Q1. Name the country given by the X. X France Germany Greece Italy Poland Russia Spain Sweden Switzerland Ukraine.
Lesson Objective: I can…
Philosophy of science in a nutshell Kareem Khalifa Middlebury College Department of Philosophy.
Lets begin, next Instruction Read each question and answer by clicking the correct answer. Lets go.
My Favourite ? The more we study the more we know, The more we know the more we forget, The more we forget the less we know. Why study?
Hi! I suggest you to guess the country and its capital. Let’s begin!
Oil and OPEC. Another name for oil is petroleum Oil is a non-renewable resource = a natural resource that is not replaceable after it is removed.
Thinking Mathematically Logic 3.1 Statements, Negations, and Quantified Statements.
Thomasson on Ontological Commitment & Parsimony Kareem Khalifa Philosophy Department Middlebury College.
Plato and Aristotle on Mathematics Kareem Khalifa Philosophy Department Middlebury College.
Logic & Propositions Kareem Khalifa Department of Philosophy Middlebury College.
Use the graph below to answer the questions with a partner.  Look specifically at the years from 1931 to If you are a country whose main natural.
European Geography. Europe What is the name of this River?
Symbolic Language and Basic Operators Kareem Khalifa Department of Philosophy Middlebury College.
© 2010 Pearson Prentice Hall. All rights reserved. CHAPTER 3 Logic.
Logic Disjunction A disjunction is a compound statement formed by combining two simple sentences using the word “OR”. A disjunction is true when at.
Intuitionism Kareem Khalifa Philosophy Department Middlebury College.
Truth Tables and Validity Kareem Khalifa Department of Philosophy Middlebury College pqrSp v qr & s~(p v q)~p~q~p & ~q~(p v q) -> (r & s) (~p & ~q) ->
1. The trip is 90 days 3 weeks in France and Spain is 21 days. The rest is in England 90 – 21 = 69 days.
Budget -Revenues: $47.66 billion -Expenditures: $65.05 billion *Budget deficit.
Thinking Mathematically
Proof of Invalidity Kareem Khalifa Department of Philosophy Middlebury College.
LET’S TALK ABOUT COUNTRIES AND CAPITAL CITIES Look, repeat and memorize.
Thinking Mathematically Statements, Negations, and Quantified Statements.
Football Tournament or Concert Tour Module 10B. Starter – Can you name the Capital Cities? Country England Scotland Wales Ireland France Spain Germany.
Statement Forms and Material Equivalence Kareem Khalifa Department of Philosophy Middlebury College.
Southwest Asia and North Africa Emphasis on: Iraq, Turkey, Israel, Iran Libya, Egypt and Saudi Arabia ©2012, TESCCC Grade 6 Unit 10 Lesson 01.
Question and Answer Samples and Techniques. What is the largest country in Europe?
Paris Lisbon Madrid Reykjavik Dublin London Oslo Stockholm Helsinki Berlin Warsaw Athens Vatican City (Rome) Kiev.
MENA – The Good, The Bad and The Not So Good! Miguel Borlido – Roberto Papadia Madrid 23rd May 2016.
Luper on Epistemic Relativism Kareem Khalifa Philosophy Department Middlebury College.
The Problem of the External World Kareem Khalifa Philosophy Department Middlebury College.
Chapter 1 – Part 3 ELEMENTARY LOGIC
Truth Tables for Negation, Conjunction, and Disjunction
Oil and OPEC.
Logic Gates.
Countries and Capitals of Western Europe
CHAPTER 3 Logic.
Truth Tables and Equivalent Statements
Truth Tables for Negation, Conjunction, and Disjunction
Symbolic Language and Basic Operators
OPEC.
OPEC Organization of Petroleum Exporting Countries
Quiz on Physical Features of Europe
Lecture 5 Binary Operation Boolean Logic. Binary Operations Addition Subtraction Multiplication Division.
Statements of Symbolic Logic
CHAPTER 3 Logic.
Thinking Mathematically
Do Now:.
One of these things is not like the other!
OPEC.
Algebra 1 Section 4.1.
A3 2.1d To Solve Compound Inequalities
2-2 Logic Vocab Statement: A sentence that is either true or false
Countries and Capitals
Map Quiz Aug. 30.
Presentation transcript:

First Symbolic Exercises P v Q Kareem Khalifa Department of Philosophy Middlebury College

Exercise A2 ~(London is the capital of England & Stockholm is the capital of Norway) ~(T & F) ~(F) T

Exercise A8 (Paris is the capital of France & Rome is the capital of Spain) v (Paris is the capital of France & ~Rome is the capital of Spain) (T & F) v (T & ~F) (F) v (T & T) (F) v (T) T

Lesson of this exercise Sometimes you can save time in ascertaining the truth of a statement by looking at half of it. (Paris is the capital of France & Rome is the capital of Spain) v (Paris is the capital of France & ~Rome is the capital of Spain) This is true, so the whole thing is true

Exercise A14 ~[~(~London is the capital of England & Rome is the capital of Spain) & ~(Rome is the capital of Spain & ~Rome is the capital of Spain)] ~[~(~T & F) & ~(F& ~F)] ~[~(F & F) & ~(F& T)] ~[~(F) & ~(F)] ~[ T & T ] ~[T] F

Exercise A21 ~[~(Rome is the capital of Spain & Stockholm is the capital of Norway) v ~(~Paris is the capital of France v ~Rome is the capital of Spain)] ~[~(F & F) v ~(~T v ~F)] ~[~(F) v ~(F v T)] ~[ T v ~(T)] ~[ T v F] ~[T] F

Exercise A24 ~[(~Rome is the capital of Spain v Stockholm is the capital of Norway) & ~(~Stockholm is the capital of Norway v Paris is the capital of France)] ~[(~F v F) & ~(~F v T)] ~[(T v F) & ~(T v T)] ~[(T) & ~(T)] ~[(T) & F] ~[F] T

Exercise C4 ~B & P ~T & P F & P F

Exercise C11 (P v Q) & ~(Q v P) If the whole statement is true, then (P v Q) is true. If (P v Q) is true, then either P or Q must be true. Let P = T. (T v Q) & ~(Q v T) T & ~(T) T & F F So the whole statement must be false. Let Q = T. (P v T) & ~(T v P) T & ~(T) T & F F

Exercise C24 ~[~P v (~Q v A)] v [~(~P v Q) v (~P v A)] ~[~P v (~Q v T)] v [~(~P v Q) v (~P v T)] ~[~P v (T)] v [~(~P v Q) v (T)] ~[T] v [(T)] F v T T

Exercise D2 Either Iran or Libya raises the price of oil. I v L

Exercise D8 Either Saudi Arabia buys five hundred more warplanes and Iran raises the price of oil or Jordan requests more U.S. aid. (S & I) v J

Exercise D22 Saudi Arabia buys five hundred more warplanes, and either Jordan requests more U.S. aid or both Libya and Iran raise the price of oil. S & [J v (L & I)]