Logic Proofs

Included in Volume I of Kalopsia was a set of 3 logic proofs. Kalopsia long-sleeve shirts were made available for the first 10 people to successfully complete the proofs and submit them to us, and we still have some available! So, if you are able to complete the logic proofs and email your responses to kalopsiaucsc@gmail.com, you may be able to receive one! Practicing logic is a great way to improve analytical reasoning and argumentative skills. We hope that doing these proofs is constructive, challenging, and rewarding!

Proof 1

Prove: H & (G & F)

Premises

  1. ((A & B) & C) & D
  2. (D & C) → F
  3. (B & C) → G
  4. (A & D) → H

Proof 2

Prove: –P

Premises:

  1. A → (P → B)
  2. –B
  3. –A → –P

Proof 3

Prove: (F & G) & (C & D)

Premises:

  1. (A v –B) → ((B & C) & (D & E))
  2. (((A v –B) & B) & C) → F
  3. A v –B,
  4. (((A v –B) & D) & E) → G