Category:Conjunction

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$.

Subcategories

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.