Импликация как конструкция if
в d0sl является false
только тогда, когда условие является true
, а часть then
является false
. Другими словами, импликация if(A) then B
является сокращенной записью выражения not(A) or B
.
Используйте ключевое слово if
, и редактор предоставит вам шаблон для конструкции if
.