Mas que raios isso quer dizer?!
Pensei que a razão define-se lógica, mas pelos vistos é preciso codificar.
E não era tu que estavas com o "Xeque Mate", e coisas do género?
http://pt.wikipedia.org/wiki/L%C3%B3gica
Isso é para apoiar o que escrevi?
Definição
"
Omnisciente : sabe tudo ("omni" = tudo; "ciente" = conhece, sabe)
Omnipotente: pode tudo ("omni" = tudo; "potente" = com poder, que pode, ...)
"
Modus ponens
"
1) X sabe tudo
2) X pode tudo
3) Se X pode tudo, então X pode criar Y que provoca mortes
4) Se X pode tudo, então X pode criar Z diferente de Y
5) Z não provoca mortes
"
1) para todo x: sabe(X, x);
2) para todo x: pode(X, x);
3) Existe y para todo x tal que: pode(X, x)

pode(X, y) E assassino(y)
4) e 5) Existe z para todo x tal que: pode(X, x)

pode(X, z) E NÃO assassino(z)
Generalizando:
1) Se pode tudo, então pode "a"
2) Pode tudo
3) Então pode "a"
Substituindo "a" por y, com assassino(y), e depois por "z", com NÃO assassino(z), destaca-se o "modus pones"
"
6) Se X sabe tudo, então X sabe que Y provoca mortes
7) Se X sabe tudo, então X sabe que Z não provoca mortes"
"
A ideia é a mesma que a anterior, mas a respeito da omnisciência.
Suposição que admites:
"8) X criou Y"
Devido à disjunção "pode criar Y OU pode criar Z", e à conjunção "sabe que Y mata E sabe que Z não mata" (ou seja: nessas condições é totalmente livre de tomar decisões):
"9) Se podia criar Z em vez de Y, podia evitar mortes
10) Se podia criar Z em vez de Y, então:
a) queria que houvesse mortes
b) acha que as mortes são irrelevantes
"