---
title: Prove It!
status: supplemental-authored-source
author: Maclain Hunter
source: user-supplied in conversation on 2026-09-10
suggested_coordinates:
  - 1.1.1
  - 1.1.3
  - 2.1.1
---

# Prove It!

**P:** Logic: Logic is the “Method of Reasoning” (by consistency) with Logic.

**Q:** Proof: Proof encompasses formal and philosophical arguments that point to Logos as Truth.

**R:** Knowing {P, Q} contradicts claims I don’t know proof/Logic {P, Q}.

{(P & Q) -> R} |= P -> (Q -> R)

QED

**P:** The logician that has formally and explicitly proven they know Logic is the more proven logician versus any who hasn’t.

**Q:** ~P denies a tautology.

**R:** The more coherent logician is the logically superior logician, tautologically.

{P, P -> Q, Q -> R} |= (P & Q) & R

QED

**P:** My research yields no other logician who has explicitly/formally proven they know Logic with formal Logic and proof.

**Q:** Until someone is able to provide example of proof and a logician that strictly “explicitly proves they know Logic w/ formal proof”, P stands.

{P, Q}