User:Guenan

From Class Wiki
Revision as of 17:03, 9 December 2004 by Guenan (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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)

Homework