1 CA 208 Logic Ex4 Commutativity (P  Q) ................. Associativity P  (Q  R)  (P  Q)  R Distributivity P  (Q  R) .................. Idempotency.

Slides:



Advertisements
Similar presentations
Propositional Equivalences
Advertisements

Union Definition: The union of sets A and B, denoted by A B, contains those elements that are in A or B or both: Example: { 1, 2, 3} {3, 4, 5} = { 1,
Propositional Equivalences
CSE 20 Lecture 9 Boolean Algebra: Theorems and Proofs CK Cheng April 26, 2011 Lecture notes 1.
CSE 311: Foundations of Computing Fall 2013 Lecture 3: Logic and Boolean algebra.
(CSC 102) Discrete Structures Lecture 14.
Set Operators Goals Show how set identities are established Introduce some important identities.
1 CA 208 Logic Ex3 Define logical entailment  in terms of material implication  Define logical consequence |= (here the semantic consequence relation.
1 CA 208 Logic PQ PQPQPQPQPQPQPQPQ
מבנה המחשב + מבוא למחשבים ספרתיים תרגול 1#
Chapter 9: Boolean Algebra
1 CSE 20: Lecture 8 Boolean Postulates and Theorems CK Cheng 4/26/2011.
Lattice and Boolean Algebra
1 Set Theory. 2 Set Properties Commutative Laws: Associative Laws: Distributive Laws:
Discussion #10 1/16 Discussion #10 Logical Equivalences.
1 Set Theory. Notation S={a, b, c} refers to the set whose elements are a, b and c. a  S means “a is an element of set S”. d  S means “d is not an element.
Proofs Using Logical Equivalences Rosen 1.2 List of Logical Equivalences p  T  p; p  F  pIdentity Laws p  T  T; p  F  FDomination Laws p  p.
Propositional Equivalence Goal: Show how propositional equivalences are established & introduce the most important such equivalences.
Rosen 1.6. Approaches to Proofs Membership tables (similar to truth tables) Convert to a problem in propositional logic, prove, then convert back Use.
EXAMPLE 3 Use properties of equality
CSci 2011 Discrete Mathematics Lecture 3 CSci 2011.
EXAMPLE 3 Use properties of equality Prove this property of midpoints: If you know that M is the midpoint of AB,prove that AB is two times AM and AM is.
Laws (Theorems) of Boolean algebra Laws of Complementation oThe term complement means, to invert or to change 1's to 0's and 0's to 1's, for which purpose.
CT214 – Logical Foundations of Computing Lecture 9 Revision.
Propositional Calculus – Methods of Proof Predicate Calculus Math Foundations of Computer Science.
Chapter 2 The Operation of Fuzzy Set. 2.1 Standard operations of fuzzy set Complement set Union A  B Intersection A  B difference between characteristics.
Boolean Algebras Lecture 27 Section 5.3 Wed, Mar 7, 2007.
Section 1.2: Propositional Equivalences In the process of reasoning, we often replace a known statement with an equivalent statement that more closely.
Logical Form and Logical Equivalence M Logical Form Example 1 If the syntax is faulty or execution results in division by zero, then the program.
Chapter 1: The Foundations: Logic and Proofs
Introduction to Set theory. Ways of Describing Sets.
Lecture # 12 Set Identities
Ch. 2 Basic Structures Section 1 Sets. Principles of Inclusion and Exclusion | A  B | = | A | + | B | – | A  B| | A  B  C | = | A | + | B | + | C.
BOOLEAN ALGEBRA Kamrul Ahsan Teacher of
Properties of Sets Lecture 26 Section 5.2 Tue, Mar 6, 2007.
Laws of Boolean Algebra Commutative Law Associative Law Distributive Law Identity Law De Morgan's Theorem.
Discrete Mathematics CS 2610 January 27, part 2.
UMBC CMSC 203, Section Fall CMSC 203, Section 0401 Discrete Structures Fall 2004 Matt Gaston
Symbolic Logic The Following slide were written using materials from the Book: The Following slide were written using materials from the Book: Discrete.
ARTIFICIAL INTELLIGENCE Lecture 2 Propositional Calculus.
Module #3 - Sets 3/2/2016(c) , Michael P. Frank 2. Sets and Set Operations.
The Logic of Boolean Connectives Chapter 4 Language, Proof and Logic.
Week 8 - Wednesday.  What did we talk about last time?  Relations  Properties of relations  Reflexive  Symmetric  Transitive.
EXAMPLE FORMULA DEFINITION 1.
7.1 De Morgan's Laws Bond Chapter 7.1 Part 2.
2. The Logic of Compound Statements Summary
The Foundations: Logic and Proofs
Sets Section 2.1.
Week 7 - Monday CS322.
Logical Equivalence of Propositions
Discussion #10 Logical Equivalences
LATTICES AND BOOLEAN ALGEBRA
Exercises Show that (P  Q)  (P)  (Q)
Set Operations Section 2.2.
Propositional Equivalences
Information Technology Department
Propositional Equivalence (§1.2)
Sets and Logic…. Chapter 3
CS 220: Discrete Structures and their Applications
Propositional Equivalences
CSE 311 Foundations of Computing I
The Method of Deduction
Malini Sen WESTERN LOGIC Presented by Assistant Professor
CSE 321 Discrete Structures
Boolean Algebra How gates get picked.
1.8 – Algebraic Proofs Objective:
Logic Logic is a discipline that studies the principles and methods used to construct valid arguments. An argument is a related sequence of statements.
Natural Deduction Hurley, Logic 7.3.
CSC102 - Discrete Structures (Discrete Mathematics) Set Operations
Properties of Numbers Review Problems.
Presentation transcript:

1 CA 208 Logic Ex4 Commutativity (P  Q)  Associativity P  (Q  R)  (P  Q)  R Distributivity P  (Q  R)  Idempotency (P  P)  P Absorption (P  T)  Commutativity (P  Q)  (Q  P) Associativity: P  (Q  R)  Distributivity P  (Q  R)  (P  Q)  (P  R) Idempotency (P  P)  Absorption (P   )  P

2 CA 208 Logic Ex4 De Morgan  (P  Q)  Double Negation   P  The Falsum/Absurd:  (P   P)   De Morgan  (P  Q)  (  P   Q) The Verum/True: T (P   P) ......

3 CA 208 Logic Ex4 Given our definition of the syntax of propositional logic, which of the following are formulas of propositional logic and which are not (and why)? A  A  A  (  A)  A  A  AA A  B (A  B) ((A  B)) A  B  C (A  B)  C ((A  B)  C)  C (  C) 

4 CA 208 Logic Ex4 Prove the following in the natural deduction calculus (proof system): {A,B} |- (B  A) {A,B} |- (A  A) {A,B} |- ((A  B)  C) {(A  B),(B  C)} |- C {(C  B), (B  A)} |- (C  A) {A, (A  (B  C)), (C  (D  E)), (B  (F  E))} |- E {A, ((B  A)  C), (C  E)} |- E {} |- (C  C)