Search found 3 matches

by ingdas
Sat Apr 25, 2015 1:41 pm UTC
Forum: Logic Puzzles
Topic: Six statements. How many are true?
Replies: 20
Views: 7578

Re: Six statements. How many are true?

I formulated this problem in first order logic (substituting 1-6 for A-F) and IDP confirms there is only one model

dtai.cs.kuleuven.be/krr/idp-ide/?src=b487d0bea2a0c3912b8e
by ingdas
Thu Apr 23, 2015 12:29 pm UTC
Forum: Logic Puzzles
Topic: I dare you to solve this.
Replies: 82
Views: 36108

Re: I dare you to solve this.

It's fun to express this in logic
dtai.cs.kuleuven.be /krr/idp-ide/?src=c8b5c36c07991dc7d5d4
by ingdas
Thu Apr 23, 2015 12:08 pm UTC
Forum: Logic Puzzles
Topic: Simple math word puzzle
Replies: 9
Views: 3107

Re: Simple math word puzzle

My experimental data tell me that the answer is
Spoiler:
69

http://dtai.cs.kuleuven.be/krr/idp-ide/ ... 070ff7ceae

Go to advanced search