Assuming only that if aliens exist then Bigfoot exists, and that an alien exists, proving Bigfoot exists. The proof says it's correct. Logic was a really great class and I can really appreciate the sneaky exercises that are not at all obvious without lots of thought and sometimes a push through by one of the experts, the professor or the teacher's aid. There are a lot of subtleties, for example, I tried the Bigfoot alien proof another way only to realize it couldn't work that way because of the subtleties of the requirements of each reason in the proof: That just shows lizard people exist, based on the assumption an alien implies Bigfoot and aliens exist. Not really, I'm just being silly, but it's fun to wish it could. What I was trying to do was implicate Bf by instantiating ExLx into La but every time I existentially instantiated ExBx out of Bf out of La it didn't work. I think because of what it seems like, one thing implying another thing plus that someth
