1. Какие скобки в формуле F = (( A ∧ B ) → (¬A ∨ B )) ∧ A можно убрать так, чтобы значение формулы не изменилось?
2. Является ли последовательность символов F = С ↔ ( А¬В) формулой
логики высказываний?
3. Сколько подформул содержит формула F = (¬A1 ∧A2 ) → ( А3 ∨ ¬A2 ) ?
4. Равносильны ли формулы F1 = ( X →Y ) ∨ ( X → Z ) и F2 = X → (Y ∨ Z ) ?
5. Является ли форма записи формулы логики высказываний
F = С ∨ ( А ∧ В) дизъюнктивной нормальной формой записи (ДНФ)?
6. Что такое логическое следование?
7. Какими можно проверить логическое следование?
8. Какой проверки логического следования основан на определении
неправильного логического рассуждения?
ты дурк
Пошаговое объяснение: