которая здесь представлена как smth ?
Предикат
А разве там может быть только предикат?
https://t.me/symboliclogic/18187
А для этой формулы, которая в том месте, есть какое-то назавание, аналогично как у импликации есть антецедент и консеквент ?
А у формулы A ∧ B есть какие-то специальные названия для подформул?
это не конъюнкты/дизъюнкты?
конъюнкты. не представляю правда, зачем я это знаю
да. но это даже нагуглить сложно, чтобы проверить
Это молекулы по Клини, осталось решить, какие именно)
С тем же успехом и пользой — "подкванторная формула". 🤷♀️
Обсуждают сегодня