In the formula $p\land q$, what do you call $p$ and $q$?

Question

In the formula $p\to q$, we call $p$ the antecedent and $q$ the consequent. Is there a similar naming for $p$ and $q$ in the formula $p\land q$?

I understand that $\land$ is commutative, so the naming convention would apply to the syntax of the formula.

Answer 1

$p \land q$ is called a conjunction. $p$ and $q$ individually are called conjuncts.

Similarly, $p \lor q$ is called a disjunction, with $p$ and $q$ individually being called disjuncts.

---

If you need to distinguish the conjuncts. Left and right work, as well as first and second.

Here's an example usage of first conjunct.

From Lloyd Humberstone's The Connectives on page 641.

Unlike von Wright's treatment, this semantic treatment (we do not go into proof-theoretic matters) makes $\land^\bullet$ 'unbiased', whereas for von Wright, $A \land^\bullet B$ is biased specifically in favor of its first conjunct, which it implies.