Re: problems-solutions


S.L. wrote:
Hi everyone!

Does anyone know where can be found solution expressions of problems like
"Connect four", "Latin square", "Pigeon hole" or similar in propositional
calculus and/or FOL?

If I understand you, there are two qualitatively different problems for
each game: (1) determine the optimal strategy, and (2) represent (1) as
a procedure that can be carried out using theorem-proving.

I think you need to provide (1) and ask for (2), and even better,
represent (1) as any kind of string or figure manipulation process,
then assign meaning to the steps in the process to create a new logic.

C-B

Thanks!

Sandra

.