In an unrelated story: ~G -> ~(P -> A), P is false ~G -> ~(false -> A) ~G -> ~(true) Hence, since the right side is false the hypothesis must be false to keep the statement true. So: ~G is false G is true.
The proof is solid, but the initial conditions are intellectually bankrupt.
Comments 1
~G -> ~(P -> A), P is false
~G -> ~(false -> A)
~G -> ~(true)
Hence, since the right side is false the hypothesis must be false to keep the statement true. So:
~G is false
G is true.
The proof is solid, but the initial conditions are intellectually bankrupt.
Reply
Leave a comment