Besonderhede van voorbeeld: -5811192466468482463

English

In propositional logic, we would need copies of each sentence for each time step.

Hungarian

Az ítéletlogikában minden egyes időlépéshez szükségünk volt a mondatok másolatára.