Please Login to access more options.

Let $P$ and $Q$ be statements or open sentences.

The negation of $P$, written $\sim P$, is the statement or open sentence which is true precisely when $P$ is false. We often read $\sim P$ as "It is not the case that $P$."
The conjunction of $P$ and $Q$, written $P\wedge Q$, is the statement or open sentence "$P$ and $Q$." A conjunction is true only when both $P$ and $Q$ are true. So a conjunction is false unless both $P$ and $Q$ are true.
The disjunction of $P$ and $Q$, written $P\vee Q$, is the statement or open sentence "$P$ or $Q$." A disjunction is true when $P$ is true, or $Q$ is true, or both are true. So a disjunction is true unless both $P$ and $Q$ are false.

Page last modified on January 12, 2015, at 07:07 AM

Big View Home Login Edit History Recent Changes
HomePage Schedule Pictures Writing Tips LaTeX Commands External Resources List of Problems List of Definitions List of Theorems List of Conjectures All Recent changes (use this to find a page that may have been lost)	Definition Negation, Conjunction, Disjunction Of Statements Please Login to access more options. Definition (Negation, Conjunction, Disjunction Of Statements) Let $P$ and $Q$ be statements or open sentences. The negation of $P$, written $\sim P$, is the statement or open sentence which is true precisely when $P$ is false. We often read $\sim P$ as "It is not the case that $P$." The conjunction of $P$ and $Q$, written $P\wedge Q$, is the statement or open sentence "$P$ and $Q$." A conjunction is true only when both $P$ and $Q$ are true. So a conjunction is false unless both $P$ and $Q$ are true. The disjunction of $P$ and $Q$, written $P\vee Q$, is the statement or open sentence "$P$ or $Q$." A disjunction is true when $P$ is true, or $Q$ is true, or both are true. So a disjunction is true unless both $P$ and $Q$ are false. Edit Page History Source Attach File Backlinks List Group Page last modified on January 12, 2015, at 07:07 AM
skin config pmwiki-2.2.142