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

The statements $p$ and $q$ are known as:

the conjuncts
the members of the conjunction.


$p \land q$ is voiced:

$p$ and $q$.

Subcategories

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

A

D

F

M

P

R

Pages in category "Conjunction"

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