@impl_bool --> @dizj_bool
Submitted by admin on сб, 2007-04-21 20:00.
Тип результата:
ex("impl_bool",[])
Шаблон разработан в понятии:
Тип аргументов:
var(ex("impl_bool",[])),w("-"),w("-"),w(">"),var(ex("dizj_bool",[]))
Комментарий:
Импликация
Имя операции:
impl