User:Guenan: Difference between revisions

From Class Wiki
Jump to navigation Jump to search
No edit summary
No edit summary
Line 4: Line 4:
Cell: 509-301-9472 <br>
Cell: 509-301-9472 <br>
E-mail: orbitellae@yahoo.com
E-mail: orbitellae@yahoo.com


UD: The Universe <br>
H(x):x is human <br>
M(x):x is mortal <br>
s: Socrates
*<math>
\forall x (H(x) \rightarrow M(x))
</math>


*<math>
\land H(s)
</math>


*<math>
\mathcal {a} M(s)
</math>

Revision as of 08:37, 29 September 2004

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