Thread: How do I express this in FOL?
View Single Post
  #5 (permalink)  
Old 07-14-2008, 01:45 PM
Protoman2050 Protoman2050 is offline
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
Protoman2050 is on a distinguished road
Re: How do I express this in FOL?
Quote:
Originally Posted by Ron C. de Weijze View Post
Why do you want to express this in FOL? BTW why not UML? Isn't the expression you want to arrive at an app?
No, it's not for anything compsci related...just to condense my writing of a proof for God: http://www.philosophyforum.com/forum...-evidence.html
Reply With Quote