真理ゲーム(1)

さて、世界にはエウレトな物とエウレトで無い物が存在する。大文字は既知の記号、小文字は未知の記号を示す。

• IQI はエウレトである。
• aQa がエウレトなら、aSQaS はエウレトである。例えば ISSSSSQISSSSS はエウレトである。
• だけどまあ、例えば ISQ はエウレトで無い。
• aQb がエウレトなら bQa もエウレトである。
• abQc がエウレトなら、aIbQc もエウレトである。ので、ISISQISS はエウレト。

続く、のかな？