1 Matching Annotations
  1. Sep 2022
  2. eng.libretexts.org eng.libretexts.org
    1.4: Our Axioms
    1
    1. bocajmosen 05 Sep 2022
      Rule. NOT(𝑃) IMPLIES NOT(𝑄)𝑄 IMPLIES 𝑃NOT(P) IMPLIES NOT(Q)Q IMPLIES P\nonumber \frac{\text{NOT}(P) \text{ IMPLIES } \text{NOT}(Q)}{Q \text{ IMPLIES } P} On the other hand, Non-Rule. NOT(𝑃) IMPLIES NOT(𝑄)𝑃 IMPLIES 𝑄

      watch out for non-rules that look similar to rules

    Visit annotations in context

    Annotators

    URL

    eng.libretexts.org/Bookshelves/Computer_Science/Programming_and_Computation_Fundamentals/Mathematics_for_Computer_Science_(Lehman_Leighton_and_Meyer)/01:_Proofs/01:_Intro_to_Proofs/1.04:_Our_Axioms