by Dan | Sep 21, 2020 | Analysis
Using nothing but Gödel’s system P, prove that LaTeX: a\:\vee\neg aa ∨ ¬ a is true for all LaTeX:aa.(5 Points) Construct a complete formal system of proof and prove that it is complete. (This one is actually quiteeasy, so when you discover the answer do not tell...
