Rozhodněte, v kterých případek platí sémantický důsledek:

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.

Je dána sentence . Která z následujících interpretací je jejím modelem?

V jazyce s konstantním symbolem , funkčním symbolem

arity

Dále je dána interpretace fragmentu jazyka: universum , , ,

, a

kontext

Jaká je hodnota termu v této interpretaci při daném kontextu?

Vyplňte pouze výsledné číslo.

Formule a jsou tautologicky ekvivalentní, tj. , právě když platí: