констант (например, связок), а также экспоненциалов (не все считают, что это genuine logical), определяется стандартно, через истину?
По типу |= p par q IFF condition
Стандартного вида, кроме того: см. ^
Обсуждают сегодня