Recent content by VeraMason

  1. V

    Logical Proof: Theorem (Truths of Logic) A iff ~~A

    My thought was to break up the sentence into its equivalent form: (A ->~~A) & (~~A -> A) From there I assumed the premise of both sides to use indirect proofs, so: 1. ~(A -> ~~A) AP 2. ~(~A or ~~A) 1 Implication 3. ~~A & ~~~A 2...