p
нет, ты пропустил важные детали
нет
Size: a a a
2020 October 07
H
как знаешь
ΑZ
Вот аксиомы
ΑZ
при этом основных три, а остальные можно вывести
T1
а поч для них доказательств нет то
ΑZ
Вот основные
ΑZ
из них можно вывести все что тебе нужно
ΑZ
тебе нужно практичеки P3 Развернуть в обратную сторону
ΑZ
https://en.wikipedia.org/wiki/Propositional_calculus#Example_of_a_proof_in_a_classical_propositional_calculus_system вот пример как делать доказательства
p
тебе нужно практичеки P3 Развернуть в обратную сторону
нет
ΑZ
нет
что нет? P3 это (a -> b -> c) -> (a -> b) -> (a -> c)
ΑZ
у тебя ((A -> B) -> (B -> C)) -> (A -> C)
ΑZ
И почти всегда можно заменить на -> без потери смысла
ΑZ
да и в гильбертовской минимальной аксиоматике И не используется
ΑZ
только следствие и отрицание
p
черт мне нужно сделать мап асинхронной функцией
p
что делать?
SP
там эксперт с двача
rust не умеет сигналы. для бека - не очень страшно, а вот системные штуки на нем писать невозможно.
rust не умеет сигналы. для бека - не очень страшно, а вот системные штуки на нем писать невозможно.