22. Заттық ортаның мәндерімен нақтылынатын формула a) Формула моделі
b) Дұрыс формула
c) Орындалатын формула
d) Орындалмайтын формула
23. Қайшы мен бірге осы есептеуде шығарылатын формулалары бар есептеу a) Қайшы есептеу
b) Формула
c) Дұрыс формула
d) Формула моделі
24. Формалды логиканың формуларын мағыналы интерпретациялау, яғни формуладағы айнымалыларды орта объектілердің қасиеттерімен салғастыру a) Формула семантикасы
b) Формула моделі
c) Орындалмайтын формула
d) тезаурус
25. Орындалатын формула a) заттық ортаның мәндерімен нақтылынатын формула
b) өзінің барлық аргументтер жиынтығында «Жалған» мәнін қабылдайды
c) формалды логиканың формуларын мағыналы интерпретациялау
d) өзінің аргументтер жиынтығының үстінде «Ақиқат» мәнің қабылдайды
