ГОСТ Р ИСО 18629-11— 2010
t
В.3.2.3 Семантическое значение функциональных терминов (Function Terms)
Если
c
(F) является функциональным значением, то o((Ft,K t„)). является однозначным е е Е, так что в
интерпретации I сс (о(Ц), £ 0(1^). в)е ext (<r(F))
следовательно
«((Ft, K*n))=o<F).
В.3.3 Функция выполнения для предложений (Sentences)
В соответствии с интерпретацией «I» функция выполнения т имеет свойства, заданные следующим образок».
В.3.3.1 Равенства
Равенство является истинным только в том случае, если термины в равенстве ссылаются на один и тот же
объект в предметной области интерпретации «I»:
Itrue о (L) =о (Ц) или
«<=‘, У )= (false
В.3.3.2Атомарное высказывание
Атомарное высказывание является истинным только в том случае, если кортеж из объектов, образованных
из значений аргументов, является элементом множества кортежей в расширении отношения, обозначенного
константой отношения в интерпретации «I»:
t
/
™
щ
tr
.
,
к .I ,гивсс(°(Ц)- К-°(*п)6 0x1 (R))или
| fa|Se
П р и м е ч а н и е — Атомарное высказывание формы (R) будет истинным только в случае пустого предло
жения { } е ext (о (R)).
В.3.3.3 Нет(not)
Отрицание является истинным только в том случае, если отрицательное предложение является ложным
(false) в интерпретации «I»:
{
true т(<р) = false
вдругих случаях— false
В.3.3.4 Или (or)
Дизъюнкция является истинной только в том случае, если по меньшей мере, один дизъюнкт является
истинным в интерпретации «I»:
I true т (
ф
)= true для некоторых значений j. О£ j £ п
V) КI вдругих случаях — false
П р и м е ч а н и е — Является истинным в любой интерпретации.
В.3.3.5 И(and)
Конъюнкция является истинной только а том случае, если конъюнкт является истинным в интерпретации «I»:
{
true т ty) = true для всех значений j, 0 £ j £ п
вдругих случаях — false
П р и м е ч а н и е — Является истинным в любой интерпретации.
В.3.3.6 Заключает в себе (implies)
Если каждый antecedent в импликации является истинным, то импликация в целом является истинной в
том случав, если consequent является истинным в интерпретации «I». Если любой из antecedents является лож
ным. то импликация в целом является истинной, независимо от истинного значения consequent в интерпретации
«I»:
I true для некоторых значений j, т (ф)= false или т (<р)= true
^({implies
ф
, К<Рпф)) = | вдругих случаях — false
В.3.3.7 Если (iff)
Эквивалентность является истинной только в том случае, если все аргументы имеют одинаковое истинное
значение в интерпретации «I»:
I
tme
т
(
ф
,) = т(ф2>
вдрутх случаях— false
17