Propositional Logic Deals with the statement of alleged facts which is either True False But not both Examples A tomato is a fruit An orange is a fruit.

Slides:



Advertisements
Similar presentations
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,
Advertisements

Truth Functional Logic
Basic Elements of Programming A VB program is built from statements, statements from expressions, expressions from operators and operands, and operands.
2-1 Making Decisions Sample assignment statements PayAmount = Hours * Rate PayAmount = 40*Rate + (Hours – 40)*Rate*1.5.
Propositional Logic. Negation Given a proposition p, negation of p is the ‘not’ of p.
Sentence Structure Exercise.
Propositions and Truth Tables
Python – Making Decisions Lecture 02. Control Structures A program that only has one flow is useful but limited. We can use if statements to make these.
Logic & Propositions Kareem Khalifa Department of Philosophy Middlebury College.
B065: PROGRAMMING OPERATORS AND SELECTION 2. Starter  What do each of the following mean? Write an example of how each could be used. Symbol = <
Logic Geometry Unit 11, Lesson 5 Mrs. Reed. Definition Statement – a sentence that is either true or false. Example: There are 30 desks in the room.
2.2 Statements, Connectives, and Quantifiers
Chapter 1, Part II: Predicate Logic With Question/Answer Animations.
Logic Disjunction A disjunction is a compound statement formed by combining two simple sentences using the word “OR”. A disjunction is true when at.
Conjunction A conjunction is a compound statement formed by combining two simple sentences using the word “AND”. A conjunction is only true when both.
The Foundations Logic and Proofs by raedRASHEED 2014.
If…else statements. Boolean Expressions Boolean expression - An expression whose value is either true or false true = 1 false = 0 Datatype: boolean.
Control Structures In structured programming, we use three basic control structures: –Sequence –Selection –Repetition So far, we have worked with sequential.
January 30, 2002Applied Discrete Mathematics Week 1: Logic and Sets 1 Let’s Talk About Logic Logic is a system based on propositions.Logic is a system.
Thinking Mathematically
Chapter 9 Logic. Problem Three dogs called Lassie, Timmy and Fido have either black, brown or tri-colour hair. The dogs have lived with their owners.
Logical Operations – Page 1CSCI 1900 – Discrete Structures CSCI 1900 Discrete Structures Logical Operations Reading: Kolman, Section 2.1.
9.2 Compound Sentences Standard 5.0, 24.0 Standard 5.0, 24.0 Two Key Terms Two Key Terms.
Logic Terminology Statement- declarative sentence that is either true or false Opinion- a belief about matters commonly considered to be subjective,
LECTURE 1. Disrete mathematics and its application by rosen 7 th edition THE FOUNDATIONS: LOGIC AND PROOFS 1.1 PROPOSITIONAL LOGIC.
Section 1.4. Propositional Functions Propositional functions become propositions (and have truth values) when their variables are each replaced by a value.
You have 10 seconds to name…
Simple Logic.
Chapter 1 Propositional Logic
Symbolic Logic Pratibha Sinha.
Presented by: Tutorial Services The Math Center
Logic.
Lesson 2-2.A Logic: Venn Diagrams.
Lesson 2-2 Logic A statement is a sentence that can either be true or false. The truth or falsity of a statement can be called its truth value. Compound.
AND.
Truth Tables and Equivalent Statements
Sequence, Selection, Iteration The IF Statement
Logic.
How do I show that two compound propositions are logically equivalent?
CPCS222 Discrete Structures I
2.1 Propositions and Logical Operations
A Crash Course in Logic : Introduction to Philosophy
Geometry Pre-AP BOMLA LacyMath 10/6.
Symbolic Logic Pratibha Sinha.
Logic – Bell Ringer.
Chapter 8 Logic Topics
The Lost Art of Argument
Bools and simple if statements
Relational Operators Operator Meaning < Less than > Greater than
How many dog biscuits will each dog get if they are given:
Fact or opinion?.
CS 220: Discrete Structures and their Applications
TRUTH TABLES.
Visual Basic – Decision Statements
(1.4) An Introduction to Logic
Discrete Mathematics and Its Applications Kenneth H
Discrete Mathematics Lecture 2: Propositional Logic
Why I hate grading your ELA’s
MAT 3100 Introduction to Proof
Discrete Mathematics Lecture 2: Propositional Logic
Statements of Symbolic Logic
OPERATORS AND SELECTION 2
Dr. Unnikrishnan P.C. Professor, EEE
Cat.
Grammar Review.
AP Statistics Warm-up: Problem 5.26.
A3 2.1d To Solve Compound Inequalities
8A, 8B Propositions Unit 7: Logic and Sets 8A, 8B 6/1/ :59 AM.
2-2 Logic Vocab Statement: A sentence that is either true or false
True or False True or False
Presentation transcript:

Propositional Logic Deals with the statement of alleged facts which is either True False But not both Examples A tomato is a fruit An orange is a fruit Oranges are not the only fruit

Proposition Connection/Association

Precedence Is equal to Compound Prepositions

Examples ¬(jaffa cakes are biscuits) your cat is rich ^ your dog is good looking The economic recovery has started V The minister is lying Jim is thirty-something Jim is under forty

Conjunction A conjunction p ^ q is true exactly when p is true and q is true Do not confusion with AND operation

Conjunction