quadrivium). According to the Nobel Prize-winning physicist Richard Feynman (Feynman 1997), mathematicians designate any theorem as "trivial" once a proof has been obtained--no matter how difficult the theorem was to prove in the first place.

What does it mean when a proof is trivial?

Trivial proofs

In some texts, a trivial proof refers to a statement involving a material implication P→Q, where the consequent, Q, is always true. Here, the proof follows immediately by virtue of the definition of material implication, as the implication is true regardless of the truth value of the antecedent P.

What is trivial proof strategy?

Trivial Proof: If we know q is true then p → q is true regardless of the truth value of p. • Vacuous Proof: If p is a conjunction of other hypotheses and we know one or more of these hypotheses is false, then p is false and so p → q is vacuously true regardless of the truth value of q.