User:Guenan

From Class Wiki
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