User:Guenan

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