21127 Study Guide - Quiz Guide: Natural Number, Exclusive Economic Zone, Book Of Ezekiel
16 Dec 2015
School
Department
Course
Professor
Document Summary
In particular, remember p q is itself a mathematical statement that is either true or false. It does not say anything about the truth value of the constituent statements, p and q. It does not necessarily say that p and q are semantically connected, as if we somehow need p to deduce q. In particular, you should not write p q to mean we know p and can therefore conclude q . The following equivalent formulation of p q is very important and we will use it in the future to develop proof strategies. P q is logically equivalent to p q. That is, the conditional statement is (vacuously) true when p is false, and in the case where p is true (i. e. p is false), we would need to guarantee that q is true to know the conditional is true. P q means p if and only if q .
