ailearner
Programmer
- Nov 26, 2008
- 2
hi
i am trying to convert the English sentece below into First-Order Logic, i found it it very hard please help
If nobody is both a child and a dog then if Fido is a dog Fido
cannot be a child
Tek-Tips is the largest IT community on the Internet today!
Members share and learn making Tek-Tips Forums the best source of peer-reviewed technical information on the Internet!
-
Congratulations IamaSherpa on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!
Translating English into First-Order Logic?
- Thread starter ailearner
- Start date
- Status
hi
i am trying to convert the English sentece below into First-Order Logic, i found it it very hard please help
If nobody is both a child and a dog then if Fido is a dog Fido
cannot be a child
- Status