(A → (B → C)) → ((B ∧ ¬ C) → ¬ A) prove of this example on lean language.
Posted: Sat May 14, 2022 7:40 pm
(A → (B → C)) → ((B ∧ ¬ C) → ¬ A) prove of this example on lean language.
Accurate answers. Every time.
https://answerhappy.com/