Установите, является ли выражение логическим законом? ((А∧В)→С) ≡ А→(В→С). Таблица истинности: Порядок операций 1 2 5 4 3

Дайте логическую характеристику следующих понятий. Произведите с этими понятиями операции определения, обобщения, ограничения (определение данных понятий проверьте по правилам логики),

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

Пять домов стоят вдоль дороги, один за другим. Доцент живёт в красном доме. Гробовщик держит собак. Сантехник пьёт чай. Зелёный дом слева от белого. Хозяин зелёного дома пьёт кофе. Любитель «Примы» держит птицу. Хозяин жёлтого дома курит «Беломор канал».