07-14-2008, 12:03 AM
|
| Full Member | | | Join Date: Jul 2008 Location: Long Beach, CA, USA
Posts: 101
Thanks: 26
Thanked 15 Times in 14 Posts
Nominated 0 Times in 0 Posts TOTW/F/M Award(s): 0
Rep Power: 1 | |
| Re: How do I express this in FOL?
First order logic; propostional logic w/ existential quantifiers; First-order logic - Wikipedia, the free encyclopedia |