Propositional Equivalences - PowerPoint PPT Presentation

1 / 12
About This Presentation
Title:

Propositional Equivalences

Description:

A contingency is a proposition that is neither a tautology nor a contradiction. p q ... q are logically equivalent if p q is a tautology. Notation: p q or p q ... – PowerPoint PPT presentation

Number of Views:118
Avg rating:3.0/5.0
Slides: 13
Provided by: mahmood5
Category:

less

Transcript and Presenter's Notes

Title: Propositional Equivalences


1
Propositional Equivalences
  • Section 1.2

2
Example
  • You cannot ride the roller coaster if you are
    under 4 feet tall unless you are older than 16
    years old.

3
Basic Terminology
  • A tautology is a proposition which is always
    true.
  • p ? ?p
  • A contradiction is a proposition that is always
    false.
  • p ? ?p
  • A contingency is a proposition that is neither a
    tautology nor a contradiction.
  • p ? q ? ?r

4
Logical Equivalences
  • Two propositions p and q are logically equivalent
    if they have the same truth values in all
    possible cases.
  • Two propositions p and q are logically equivalent
    if p ? q is a tautology.
  • Notation p ? q or p ? q

5
Determining Logical Equivalence
  • Use a truth table.
  • Show that ?(p ? q) and ?p ? ?q are logically
    equivalent.
  • Not a very efficient method, WHY?
  • Solution Develop a series of equivalences.

6
Important Equivalences
7
Important Equivalences
8
Important Equivalences
9
Example
  • Show that ?(p ? (?p ? q)) and ?p ? ?q are
    logically equivalent.

10
Important Equivalences Involving Implications
p ? q ? ?p ? q p ? q ? ? q ? ? p
11
Example
  • Show that (p ? q) ? (p ? q) is a tautology.

12
Next Lecture
  • 1.3 Predicates and Quantifiers
Write a Comment
User Comments (0)
About PowerShow.com