Proof pp 7-18 | Cite as

The notation for implications

  • C. Plumpton
  • R. L. Perry
  • E. Shipton
Chapter
Part of the Core Books in Advanced Mathematics book series

Abstract

Suppose p and q are two statements. Then, by p implies q, written symbolically as pq, we mean that, if p is a true statement then q is also a true statement. Example I Suppose p stands for the statement ‘x is greater than 2’, written a x > 2 for short, and q stands for ‘x > 1’. We write p: x > 2, q: x > 1.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© C. Plumpton, R. L. Perry and E. Shipton 1984

Authors and Affiliations

  • C. Plumpton
    • 1
  • R. L. Perry
    • 2
  • E. Shipton
    • 3
  1. 1.University of London School Examinations DepartmentQueen Mary College, University of LondonUK
  2. 2.University of London School Examinations DepartmentQueen Elizabeth College, University of LondonUK
  3. 3.University of London School Examinations DepartmentOwen’s SchoolPotters BarUK

Personalised recommendations