Conjunction (Rule of Inference)

Conjunction (Conj) is a very simple argument form that allows two statements to be combined into a single conjunction (connective).

a
b


a ^ b

Example:

“You have milk (M). You have cheese (C). Therefore, you have milk (M) and cheese (C).”

  1. M
  2. C
  3. M ^ C Conj 1, 2

Again, like Simp, this is a very simple argument form that is commonly used as an intermediary conclusion.

Just imagine, you have an implication that has a conjunction as its antecedent and you are trying to get to that consequent, but there are no given statements that are conjunctions, Conj might be the perfect tool for the job.

Want an interactive way to learn logic?

Enhance your critical thinking skills with Symbols Logic. Unlock access to the first studycard and the first level of all activities for free. Get the app now: