Mathematical Proof/Appendix/Answer Key/Mathematical Proof/Introduction/Logical Reasoning

From testwiki
Revision as of 02:10, 25 November 2017 by imported>Pi zero ({{BookCat}})
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
1.1, Logical Reasoning.

Template:Mathematical Proof/answers

  1. Truth tables
1. ¬PQ
P Q ¬P ¬PQ
T T F T
T F F T
F T T T
F F T F


2. P¬Q
P Q ¬Q P¬Q
T T F F
T F T T
F T F T
F F T T


3. (PQ)R
P Q R PQ (PQ)R
T T T T T
T T F T F
T F T T T
T F F T F
F T T T T
F T F T F
F F T F T
F F F F T


4. (PQ)(RS)
P Q R S PQ RS (PQ)(RS)
T T T T T T T
T T T F T T T
T T F T T T T
T T F F T F F
T F T T F T T
T F T F F T T
T F F T F T T
T F F F F F T
F T T T F T T
F T T F F T T
F T F T F T T
F T F F F F T
F F T T F T T
F F T F F T T
F F F T F T T
F F F F F F T


5. (PQ)(RS)
P Q R S PQ RS (PQ)(RS)
T T T T T T T
T T T F T F T
T T F T T T T
T T F F T T T
T F T T F T F
T F T F F F T
T F F T F T F
T F F F F T F
F T T T T T T
F T T F T F T
F T F T T T T
F T F F T T T
F F T T T T T
F F T F T F T
F F F T T T T
F F F F T T T

2. Negated statements

  1. ¬P¬Q
  2. (¬P¬Q)(¬R¬S)
  3. (¬PQ)(R¬S)

Template:BookCat