В понедельник вечером английский джентльмен выпил виски с содовой и опьянел. Во вторник вечером он выпил виски с содовой и снова напился. В среду вечером он выпил бурбон с содовой и в третий раз напился. Английский джентльмен пришел к выводу, что причиной

Определить свойства бинарных отношений (рефлексивность, симметричность, транзитивность, антисимметричность): а) на множестве . б) на множестве двоичных последовательностей (из нулей и единиц) длины такого, что , если и имеют одинаковое число нулей.

Заданы дизъюнкты: C1: P(x) ∨ ¬R(x) C2: ¬P(g(y)) ∨ Q(y)

Построить резольвенту C1 и C2.

Сделать непосредственные выводы а) по логическому квадрату и б) путем превращения, обращения и противопоставления предикату из следующих посылок: Многие страны мира проводят независимую внешнюю политику. Глобальные проблемы не решаются силами одного