Calculate the truth value for the wff (0 ≡ ∼1) ≡ (1 ⊃ 0)

Question

Calculate the truth value for the wff

(0 ≡ ∼1) ≡ (1 ⊃ 0)

Answer 1

The truth value of is 0. Evaluating first, we have since 0 (false) is equivalent to ~1 (not (true) = false). For , note that, by the truth table for , true false false and so . Thus, we are evaluating , which is certainly false; so, .