А как в формулах вроде ∀ x : α, smth называется часть,

Question

Symbolic logic for math and destroy

Антонидзе Кучпилип

А как в формулах вроде ∀ x : α, smth называется часть,

которая здесь представлена как smth ?

0

20.10.2024

10 ответов

6 просмотров

Антонидзе Кучпилип Автор вопроса

Brenoritvrezorkre
Предикат

А разве там может быть только предикат?

0

1 месяц назад

Alexander Chichigin

Антонидзе Кучпилип
А разве там может быть только предикат?

https://t.me/symboliclogic/18187

0

1 месяц назад

Антонидзе Кучпилип Автор вопроса

Alexander Chichigin
https://t.me/symboliclogic/18187

А для этой формулы, которая в том месте, есть какое-то назавание, аналогично как у импликации есть антецедент и консеквент ?

0

1 месяц назад

Alexander Chichigin

Антонидзе Кучпилип
А для этой формулы, которая в том месте, есть како...

А у формулы A ∧ B есть какие-то специальные названия для подформул?

0

1 месяц назад

Георгий Каданцев

Alexander Chichigin
А у формулы A ∧ B есть какие-то специальные назван...

это не конъюнкты/дизъюнкты?

0

1 месяц назад

Anton Stekanov

Alexander Chichigin
А у формулы A ∧ B есть какие-то специальные назван...

конъюнкты. не представляю правда, зачем я это знаю

0

1 месяц назад

Anton Stekanov

Георгий Каданцев
это не конъюнкты/дизъюнкты?

да. но это даже нагуглить сложно, чтобы проверить

0

1 месяц назад

ȝḫ-n-Jtn ˁȝ-m-ˁḥˁ.f

Alexander Chichigin
А у формулы A ∧ B есть какие-то специальные назван...

Это молекулы по Клини, осталось решить, какие именно)

0

1 месяц назад

Alexander Chichigin

Георгий Каданцев
это не конъюнкты/дизъюнкты?

С тем же успехом и пользой — "подкванторная формула". 🤷‍♀️

0

1 месяц назад

Brenoritvrezorkre · Accepted Answer

Brenoritvrezorkre

Предикат

0

1 месяц назад

Похожие чаты

А как в формулах вроде ∀ x : α, smth называется часть,

10 ответов

Похожие вопросы