Category:Conjunction

From ProofWiki
Jump to: navigation, 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.