We think you have liked this presentation. If you wish to download it, please recommend it to your friends in any social system. Share buttons are a little bit lower. Thank you!
Presentation is loading. Please wait.
Published byAshtyn Willis
Modified about 1 year ago
Copyright © Peter Cappello Propositional Logic
Copyright © Peter Cappello Sentence Restrictions Building more precise tools from less precise tools Precise use of natural language is difficult.Precise use of natural language is difficult. We want a sublanguage suited to precision.We want a sublanguage suited to precision. Restrict discussion to sentences that are:Restrict discussion to sentences that are: declarative either true or false but not both. Such sentences are called propositions.Such sentences are called propositions.
Copyright © Peter Cappello Examples of Propositions Which of the sentences below are propositions? “Mastercharge, dig me into a hole!” “Peter Cappello thinks this class is fascinating.” “Do I exist yet?” “This sentence is false.”
Copyright © Peter Cappello Not Operator Not ( ~ ): p is true exactly when ~p is false.Not ( ~ ): p is true exactly when ~p is false. Let p denote “This class is the greatest entertainment since Game of Thrones.”Let p denote “This class is the greatest entertainment since Game of Thrones.” ~p denotes “It is not the case that this class is the greatest entertainment since Game of Thrones.”~p denotes “It is not the case that this class is the greatest entertainment since Game of Thrones.”
Copyright © Peter Cappello Or Operator (Disjunction) Or ( ): proposition p q is true exactly when either p is true or q is true:
Copyright © Peter Cappello And Operator (Conjunction) And ( ): proposition p q is true exactly when p is true and q is true:
Copyright © Peter Cappello If and Only If Operator (IFF) If and only if ( ): proposition p q is true exactly when (p q) or (~ p ~ q):
Copyright © Peter Cappello Exclusive-Or Exclusive-or ( ) is the negation of .
Copyright © Peter Cappello Implies Operator (If … Then) Implies ( ): proposition p q is true exactly when p is false or q is true:Implies ( ): proposition p q is true exactly when p is false or q is true:
Copyright © Peter Cappello If … Then... Example: “If pigs had wings they could fly.”Example: “If pigs had wings they could fly.” In English, implies normally connotes a causal relation:In English, implies normally connotes a causal relation: p implies q means that p causes q to be true. Not so with the mathematical definition!Not so with the mathematical definition! If 1 1 then Peter hates Family Guy.
Copyright © Peter Cappello Converse & Inverse The converse of p q is q p.The converse of p q is q p. The inverse of p q is ~p ~q.The inverse of p q is ~p ~q. The contrapositive of p q is ~q ~p.The contrapositive of p q is ~q ~p. If p q then which, if any, is always true:If p q then which, if any, is always true: Its converse? Its inverse? Its contrapositive? Use a truth table to find the answer. Describe the contrapositive of p q in terms of the converse & inverse.Describe the contrapositive of p q in terms of the converse & inverse. Compare the truth tables of the converse & inverse.Compare the truth tables of the converse & inverse.
Copyright © Peter Cappello p q may be expressed as p implies q if p then q q if p q follows from p q provided p q is a consequence of p q whenever p p is a sufficient condition for q p only if q (if ~q then ~p) q is a necessary condition for p (if ~q then ~p)
Copyright © Peter Cappello Abstraction Capture the logical form of a Proposition in English Let g, h, and b be propositions:Let g, h, and b be propositions: g: Grizzly bears have been seen in the area. h: Hiking is safe on the trail. b: Berries are ripe along the trail. Translate the following sentence using g, h, and b, and logical operators:Translate the following sentence using g, h, and b, and logical operators: If berries are ripe along the trail, hiking is safe on the trail if and only if grizzly bears have not been seen in the area.
Copyright © Peter Cappello 1.If berries are ripe along the trail, hiking is safe on the trail if and only if grizzly bears have not been seen in the area. 2.If b, ( h if and only if g ). 3. b ( h g ).
Copyright © Peter Cappello Truth Table of a Compound Proposition bhg g g g g h gh gh gh g b ( h g ) TTT TTF TFT TFF FTT FTF FFT FFF
System Specification Systems are increasing in complexity.Systems are increasing in complexity. e.g., software, hardware, workflow, security, legal Can we know that a system works as intended?Can we know that a system works as intended? 1.Specify a set of desired system properties Each property is expressed as a compound proposition. 2.Verify that such a system is feasible. All compound propositions are simultaneously satisfiable. Z specification languageZ specification language Allow: Copyright © Peter Cappello
Knights & Knaves An island’s only inhabitants are knights (truth tellers) & knaves (liars).An island’s only inhabitants are knights (truth tellers) & knaves (liars). You are approached by 2 inhabitants, A & B.You are approached by 2 inhabitants, A & B. Determine, if possible, what A & B are, if B says nothing & A says:Determine, if possible, what A & B are, if B says nothing & A says: 1.“At least 1 of us is a knave.” 2.“I am a knave or B is a knight.” 3.“We are both knaves.” Copyright © Peter Cappello
1.“At least 1 of us is a knave.” A is a knight; B is a knave. 2.“I am a knave or B is a knight.” A & B are knights 3.“We are both knaves.” A is a knave; B is a knight. Copyright © Peter Cappello
Google Search Operators Query: “US states” “income tax rate” Beatles: “Taxman” (Query: Beatles Taxman) Let me tell you how it will be There's one for you, nineteen for me 'Cause I'm the taxman, yeah, I'm the taxman Should five per cent appear too small Be thankful I don't take it all 'Cause I'm the taxman, yeah I'm the taxman If you drive a car, I'll tax the street, If you try to sit, I'll tax your seat. If you get too cold I'll tax the heat, If you take a walk, I'll tax your feet. Don't ask me what I want it for If you don't want to pay some more 'Cause I'm the taxman, yeah, I'm the taxman Now my advice for those who die Declare the pennies on your eyes 'Cause I'm the taxman, yeah, I'm the taxman And you're working for no one but me. Copyright © Peter Cappello
Part 2 Module 2 The Conditional Statement. The Conditional Statement A conditional statement is a statement of the form "If p, then q," denoted pqpq.
Logic The study of correct reasoning. Propositions A proposition is a statement that is either true or false Examples Today is Monday All humans respire.
Completeness and Expressiveness. Consistency: a syntactic definition, related to the proof system. A set of formulas is consistent if there is no formula.
Propositional Logic Lecture 10: Oct 29. Familiar? Obvious? c b a Pythagorean theorem.
Artificial Intelligence Dr. Eng. Ahmed Moustafa Elmahalawy Computer Science and Engineering Department.
Of. and a to the in is you that it at be.
The. of and a to in is you that it he was.
12.2: And and Or in Logic 1/17/ : And, Or and Not in Logic Expectations: L3.2.1:Know and use the terms of basic logic (e.g., proposition, negation,
3.4 More on the Conditional. Converse, Inverse, and Contrapositive If you interchange the antecedent and the consequent of a conditional, you form a new.
Chapter 1: The Foundations: Logic and Proofs Discrete Mathematics and Its Applications CSE 211 Department of Computer Science and Engineering, CUET 1.
Lets build fluency! The people By the water You and I.
With examples from Number Theory (Rosen 1.5, 3.1, sections on methods of proving theorems and fallacies)
Logic & Critical Reasoning Translation into Propositional Logic.
High Frequency Words List A Group 1. the of and.
Can you see?. I like him. When will we go? All or some.
Algebra Problems… Solutions Algebra Problems… Solutions © 2007 Herbert I. Gross By Herbert I. Gross and Richard A. Medeiros next Set 9.
High-Frequency Phrases First 100 Words. The people.
1 Knowledge Representation Introduction KR and Logic.
Dolch Words the of and to a in that is was.
DOLCH Sight Word Test (Say each word as it appears on the screen.)
Ch 3.2: Solutions of Linear Homogeneous Equations; Wronskian Let p, q be continuous functions on an interval I = ( , ), which could be infinite. For.
DOLCH Sight Word Test (Say each word as it appears on the screen.) Press the Esc key to stop the slide show Click this button below to start the slide.
Propositional and First-Order Logic Chapter , , 8.5 Some material adopted from notes by Andreas Geyer-Schulz and Chuck Dyer.
Introduction to Logic and Prolog Sabu Francis, B.Arch (Hons)
The people Look for some people. Write it down. By the water So there you are. Who will make it? You and I A long time What will they do?
Hypotheticals: The If/Then Form Hypothetical arguments are usually more obvious than categorical ones. A hypothetical argument has an “if/then” pattern.
Formal Logic Mathematical Structures for Computer Science Chapter 1 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesFormal Logic.
The. of and a to in is you that it he for.
Frequency Words. a about after again all always.
© 2016 SlidePlayer.com Inc. All rights reserved.