Chapter 1 – Logic and Proof

Slides:

Advertisements

Similar presentations

Propositional Equivalences

Advertisements

Exercises for CS1512 Weeks 7 and 8 Propositional Logic 1 (questions + solutions)

Discrete Mathematics Lecture 1 Logic of Compound Statements

Goals Determine the true value of statements with AND, OR, IF..THEN. Negate statements with the connectives above Construct truth tables Understand when.

Computability and Complexity 8-1 Computability and Complexity Andrei Bulatov Logic Reminder.

Propositional Logic. Negation Given a proposition p, negation of p is the ‘not’ of p.

1 Inference Rules and Proofs Z: Inference Rules and Proofs.

1 Inference Rules and Proofs Z: Inference Rules and Proofs.

1 Math 306 Foundations of Mathematics I Math 306 Foundations of Mathematics I Goals of this class Introduction to important mathematical concepts Development.

Discrete Mathematics Math 6A Instructor: M. Welling.

Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley. All rights reserved.

Adapted from Discrete Math

Predicates and Quantifiers

Chapter 1, Part I: Propositional Logic With Question/Answer Animations.

Discrete Mathematics Goals of a Discrete Mathematics Learn how to think mathematically 1. Mathematical Reasoning Foundation for discussions of methods.

The Foundations: Logic and Proofs

2009/9 1 Logic and Proofs §1.1 Introduction §1.2 Propositional Equivalences §1.3 Predicates and Quantifiers §1.4 Nested Quantifiers §1.5~7 Methods of Proofs.

MATH 213 A – Discrete Mathematics for Computer Science Dr. (Mr.) Bancroft.

Discrete Mathematics and Its Applications

Mathematical Structures A collection of objects with operations defined on them and the accompanying properties form a mathematical structure or system.

Chapter 1: The Foundations: Logic and Proofs

Propositional Equivalences

Chapter 1, Part II: Predicate Logic With Question/Answer Animations.

The Foundations Logic and Proofs by raedRASHEED 2014.

Chapter 1, Part II: Predicate Logic With Question/Answer Animations.

Chapter 1: The Foundations: Logic and Proofs 1.1 Propositional Logic 1.2 Propositional Equivalences 1.3 Predicates and Quantifiers 1.4 Nested Quantifiers.

Selected Exercises of Sec. 1.2~Sec.1.4 Sec. 1.2 Exercise 41 p, q, r 중에 두 개가 참이면 참이 되고, 그 외 의 경우에는 거짓이 되는 복합명제를 구하 시오. Find a compound proposition involving.

Exercises for CS3511 Week 31 (first week of practical) Propositional Logic.

Thinking Mathematically

Chapter 1: The Foundations: Logic and Proofs

Chapter 1: The Foundations: Logic and Proofs

Predicates and Quantifiers Dr. Yasir Ali. 1.Predicates 2.Quantifiers a.Universal Quantifiers b.Existential Quantifiers 3.Negation of Quantifiers 4.Universal.

رياضيات متقطعة لعلوم الحاسب MATH 226. Text books: (Discrete Mathematics and its applications) Kenneth H. Rosen, seventh Edition, 2012, McGraw- Hill.

 2012 Pearson Education, Inc. Slide Chapter 3 Introduction to Logic.

 To combine propositions using connectives  To construct the truth table of a given compound proposition  To define de Morgan Law for logic  To define.

Section 1.4. Propositional Functions Propositional functions become propositions (and have truth values) when their variables are each replaced by a value.

Chapter 1. Chapter Summary  Propositional Logic  The Language of Propositions (1.1)  Logical Equivalences (1.3)  Predicate Logic  The Language of.

CS-7081 Application - 1. CS-7082 Example - 2 CS-7083 Simplifying a Statement – 3.

Introduction to Logic © 2008 Pearson Addison-Wesley.

Presented by: Tutorial Services The Math Center

2. The Logic of Compound Statements Summary

Advanced Algorithms Analysis and Design

DISCRETE MATHEMATICS CHAPTER I.

Thinking Mathematically

Truth Tables and Equivalent Statements

Niu Kun Discrete Mathematics Chapter 1 The Foundations: Logic and Proof, Sets, and Functions Niu Kun 离散数学.

Lecture 03 Logic and Propositional Calculus Profs. Koike and Yukita

Citra Noviyasari, S.Si, MT

CMSC Discrete Structures

Chapter 1 The Foundations: Logic and Proofs

The Foundations: Logic and Proofs

The Foundations: Logic and Proofs

Chapter 8 Logic Topics

Propositional Equivalences

Chapter 1 The Foundations: Logic and Proof, Sets, and Functions

CS 220: Discrete Structures and their Applications

Discrete Math (2) Haiming Chen Associate Professor, PhD

Propositional Equivalences

(1.4) An Introduction to Logic

Discrete Mathematics and Its Applications Kenneth H

Chapter 3 Introduction to Logic 2012 Pearson Education, Inc.

Discrete Mathematics Lecture 2: Propositional Logic

Discrete Mathematics Lecture 2: Propositional Logic

Predicates and Quantifiers

The Foundations: Logic and Proofs

Logic Logic is a discipline that studies the principles and methods used to construct valid arguments. An argument is a related sequence of statements.

Discrete Structures Prepositional Logic 2

2-2 Logic Vocab Statement: A sentence that is either true or false

The Foundations: Logic and Proofs

Presentation transcript:

Chapter 1 – Logic and Proof Dr. Majed Abdouli, Assistant Professor FCIT, University Of Jeddah – Jeddah, Saudi Arabia

Propositional Logic

Propositional Logic

Propositional Logic

Propositional Logic

Propositional Logic Logical Operators (Connectives)

Propositional Logic Logical Operators - Negation

Propositional Logic Logical Operators - Negation

Propositional Logic Logical Operators - Conjunction

Propositional Logic Logical Operators - Conjunction

Propositional Logic Logical Operators - Disjunction

Propositional Logic Logical Operators - Disjunction

Propositional Logic Logical Operators - Disjunction

Propositional Logic Logical Operators - Disjunction

Propositional Logic Logical Operators - Implication

Propositional Logic Logical Operators - Implication

Propositional Logic Logical Operators - Implication

Propositional Logic Logical Operators - Implication

Propositional Logic Logical Operators - Implication

Propositional Logic Logical Operators: bi-implication

Propositional Logic Logical Operators: bi-implication

Propositional Logic Logical Operators: bi-implication

Propositional Logic Truth table of compound propositions

Propositional Logic Truth table of compound propositions Precedence of logical operators , , , , 

Propositional Logic Truth table of compound propositions Some Examples

Propositional Logic Truth table of compound propositions Some Examples

Propositional Logic Truth table of compound propositions Translating English Sentence into a Logical Expression

Propositional Logic Example of use

Propositional Logic Example of use on bit Sring

Propositional Logic Example of use on bit Sring

Propositional Logic Exercices

Propositional Logic Correction Ex1

Propositional Logic Correction Ex2

Propositional Logic Correction Ex3

Propositional Equivalences

Propositional Equivalences

Propositional Equivalences Assignment 1 # solution

Propositional Equivalences Example

Propositional Equivalences

Propositional Equivalences Equivalence Law

Propositional Equivalences Equivalence Law – Examples of use

Propositional Equivalences Equivalence Law – Exercise #1

Propositional Equivalences Equivalence Law – Exercise #2

Predicates And Quantifiers - Predicates

Predicates And Quantifiers - Predicates

Predicates And Quantifiers - Predicates

Predicates And Quantifiers - Predicates

Predicates And Quantifiers - Quantifiers

Predicates And Quantifiers

Predicates And Quantifiers

Predicates And Quantifiers

Predicates And Quantifiers

Predicates And Quantifiers

Predicates And Quantifiers

Predicates And Quantifiers

Predicates And Quantifiers

Predicates And Quantifiers

Predicates And Quantifiers

Predicates And Quantifiers

Predicates And Quantifiers

Predicates And Quantifiers

Logical equivalence involving quantifiers

Logical equivalence involving quantifiers

Logical equivalence involving quantifiers

Negating quantified expression

Negating quantified expression

Negating quantified expression

Negating quantified expression De Morgan’s laws for quantifiers

Negating quantified expression Examples: what are the negation of

Negating quantified expression

Nested Quantifiers

Nested Quantifiers

Nested Quantifiers

Nested Quantifiers