Dustin Kesselberg
Illuminator
- Joined
- Nov 30, 2004
- Messages
- 4,669
The only "proof" so presented is this
N ◘ G iff O ├ N ◘ G iff P ├ E-F N iff D ◘├N ├N┬P ├ N˜P↔¬N
without further expansion. Considering your difficultly with
If P then Q
Q
then P
only yesterday, i am, shall we say sceptical that you fully understand the notation. Perhaps you could explain how this amounts to a proof.
The rest of the post - there is no further proof presented.
ETA
Excellent post by Wolfman - I agree entirely.
1. I compiled that argument so obviously I know the notation.
2.That one argument is an example of a "logical" proof of God opposed to a proof in other contexts which equal 'evidence'.