From ProofWiki
Jump to navigation Jump to search

This category contains results about Conjunction in the context of Propositional Logic.
Definitions specific to this category can be found in Definitions/Conjunction.

Conjunction is a binary connective written symbolically as $p \land q$ whose behaviour is as follows:

$p \land q$

is defined as:

$p$ is true and $q$ is true.

This is called the conjunction of $p$ and $q$.

$p \land q$ is voiced:

$p$ and $q$.


This category has the following 33 subcategories, out of 33 total.

Pages in category "Conjunction"

The following 61 pages are in this category, out of 61 total.