Conjunction introduction

Conjunction introduction (often abbreviated simply as conjunction) is a valid rule of inference of propositional logic. The rule makes it possible to introduce a conjunction into a logical proof. It is the inference that if the proposition p is true, and proposition q is true, then the logical conjunction of the two propositions p and q is true. For example, if it's true that it's raining, and it's true that I'm inside, then it's true that "it's raining and I'm inside". The rule can be stated:

$\frac{P,Q}{\therefore P\wedge Q}$

where the rule is that wherever an instance of "$P$" and "$Q$" appear on lines of a proof, a "$P\wedge Q$" can be placed on a subsequent line.

Formal notation

The conjunction introduction rule may be written in sequent notation:

$P,Q⊢P\wedge Q$

where $⊢$ is a metalogical symbol meaning that $P\wedge Q$ is a syntactic consequence if $P$ and $Q$ are each on lines of a proof in some logical system;

where $P$ and $Q$ are propositions expressed in some logical system.

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.