User:Guenan

From Class Wiki
Revision as of 07:37, 29 September 2004 by Guenan (talk | contribs)

Jump to: navigation, search
Us

Contact Information

Cell: 509-301-9472
E-mail: orbitellae@yahoo.com


UD: The Universe
H(x):x is human
M(x):x is mortal
s: Socrates

  • 
\forall x (H(x) \rightarrow M(x))


  • 
\land H(s)


  • 
\mathcal {a}  M(s)