quote:
Sorry Nate, it doesn't pan out.
In deductive logic, ~ represents logical NOT when it precedes an atom or formula, true, but the atoms themselves must be prepositions. A noun is not a preposition. For your claim to be valid, her signoff would have to be something like the following:
~a (where a = "Alison exists.")
Note that it must be lower-case, since it is an atom, and only complex formulae are represented by upper-case letters.
Propositional logic is a bit hard to follow. Here's an example in C:
[font=courier]#include
#define ALISON alison_exists
int alison_exists;
int main()
{
..
if (!ALISON){printf("Alison doesn't exist. How sad.");}
};[/font]
Hope that helps.