User:Guenan: Difference between revisions
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
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