Answer Happy
Accurate answers. Every time.
https://answerhappy.com/
(¬ A ∧ ¬ B) → ¬ (A ∨ B) prove of this example on lean language.
https://answerhappy.com/viewtopic.php?t=177037
Page
1
of
1
(¬ A ∧ ¬ B) → ¬ (A ∨ B) prove of this example on lean language.
Posted:
Sat May 14, 2022 7:48 pm
by
answerhappygod
(¬ A ∧ ¬ B) → ¬ (A ∨ B) prove of this example on lean language.