V jazyce s binárním predikátovým symbolem , konstantním symbolem a proměnnými je dána sentence . Zajímá nás, zda je sentence splnitelná, pořípadě dokonce tautologie.

Vyberte jen odpovědi, které jsou pravdivé včetně jejich zdůvodnění. Aneb, pokud je odpověď špatně zdůvodněna, tak ji nezaškrtávejte.