Felix P. Muga II
August 9, 2015
Definition 1. Let \(p\) be a proposition. The negation of \(\mathbf{p}\), denoted by \(\mathbf{\neg{p}}\) (also denoted by \(\mathbf{\overline{p}}\)), is the statement
“It is not the case that \(\mathbf{p}\).”
What is the negation of each of these propositions?
Definition 2. Let \(p\) and \(q\) be propositions. The conjunction of \(p\) and \(q\), denoted by \(p \wedge q\), is the proposition
“\(p\) and \(q\)”.
Definition 3. Let \(p\) and \(q\) be propositions. The disjunction of \(p\) and \(q\), denoted by \(p \vee q\), is the proposition
“\(p\) or \(q\)”.
Express each of these propositions as an English sentence.
\(\neg{p}\)
\(p \vee q\)
\(p \wedge q\)
\(\neg{p} \wedge \neg{q}\)
\(\neg{p} \vee (p \wedge q)\)