Формула 1

Формальный уровень: Лингвистический уровень:

u₁^* u^*₂

y₁^* =u₁^*®u^*₂ “если птица, то летает”

u^*₂ u^*₃

y₂^* =u₂^*®u^*₃ “если летает, то направляется на тот остров “

вывод: u₁^* u^*₃

y₃^* =u₁^*®u^*₃ “если птица, то направляется на тот остров “

Таким образом, из утверждений: u₁^*®u^*₂; u₂^*®u^*₃ следует новое утверждение: u₁^*®u^*₃.

Формула 2.

u₁^* u^*₂

u₁^*®u^*₂ Из утверждения: “если птица, то летает”,

u₁^* делается вывод:

(3.4)

u₁^* u^*₂

вывод: u^*₂ “если животное-птица, то это животное –летает”

Формула 2 называется modus ponens (лат.)