If (импликация)

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

Используйте ключевое слово if, и редактор предоставит вам шаблон для конструкции if.

Пример

if template

if example