Срочно, выводимы ли формулы в интуиционистской логике. Ес- ли нет, то построить для них опровергающие модели Крипке

Question

Elik -el@bb@- Знаток (464), закрыт 11 лет назад

Дополнен 11 лет назад

¬¬¬A → ¬A,
¬(A ∧ B ∧ C) → ¬(A ∧ B) ∨ ¬(A ∧ C) ∨ ¬(B ∧ C), ¬¬(A ∧ B) ∨ (A → B) ∨ (B → A)

Answer 1

Simplex Мудрец (19107) 11 лет назад

Вперёд!

Answer 2

Ты походу - берега попутал, врядли тут есть люди увлеченные крипкевской семантикой.... и, блин, математической логикой.