p
формальный синтаксис логических высказываний описывают
Это не type theory and formal proof
Size: a a a
2020 October 07
H
Это не type theory and formal proof
H
собсна зачем они это всё рассказывают если reader и так familiar
H
блять ор
H
это в книге Logic and Structure
SP
больнуши
H
обдолбались дяди коксом
H
потом книжку по мат логике написали
H
мне нравится
SP
это вообще реально в каком то состоянии читать все?
SP
типа пацаны просто по приколу назвали нечто длинным тире
SP
и такой йоу, вот у нас ———————— портом ————————, затем ————————————————————————————————
SP
удобно
H
и ещё готических букв добавим
H
книжку по логике себе нашёл, открыл а там такой пиздец
KR
𝔰𝔱𝔶𝔩𝔦𝔰𝔥
ΑZ
Пропозиционная, это ж классическая по идеи?
слушай
ΑZ
вопрос в акимах же