задачи по логике

1. Переведите на символический язык сложное суждение: Король лакея своего назначит генералом, но он не может никого назначить честным малым. (Р. Бёрмс). 1. a & ¬b. 2. a w ¬b. 3. a v ¬b. 4. a → ¬b. Решение. Вводим обозначения: a – король лакея своего назначит генералом, b – король может кого-нибудь назначить честным малым. Первое суждение истинно, второе – ложно и оба они связаны оператором конъюнкции (&). Получаем: 1. a & ¬b.