URI: 
   DIR Return Create A Forum - Home
       ---------------------------------------------------------
       Dragon Hellfire
  HTML https://dragonhellfire.createaforum.com
       ---------------------------------------------------------
       *****************************************************
   DIR Return to: Logic - General
       *****************************************************
       #Post#: 14--------------------------------------------------
       Paradoxes
   DIR By: Dragon Hellfire
       Date: March 11, 2019, 9:00 pm
       ---------------------------------------------------------
       List of Paradoxes
  HTML https://en.wikipedia.org/wiki/List_of_paradoxes
       #Post#: 15--------------------------------------------------
       Re: Paradoxes
   DIR By: Dragon Hellfire
       Date: March 11, 2019, 9:33 pm
       ---------------------------------------------------------
       Logical Errors
       Barbershop Paradox - Resolved, nonparadoxical
       Axioms:
       - (A ∨ B ∨ C)
       - ¬(A ^ B ^ C)
       - (¬A ⇒ ¬B)
       ¬C  ⇒ (A ∨ B) by axiom 1
       If ¬C ^ ¬A ⇒ B by axiom 1 ^ ¬B by axiom 2, which is a
       contradiction.
       Therefore, ¬(¬C ^ ¬A) = (A ∨ C).
       *****************************************************
       Page 1 of 1