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. Какой проверки логического следования основан на определении
неправильного логического рассуждения?