p
Но A не дано по условию явно поэтому хз
Size: a a a
2020 October 07
H
хз мне не нравится как через жопу там объяснили
H
A дано, потому что по PAT-интерпретации это параметр
p
А если пропустить эти задания то дальше будет понятно остальное или нет?
H
если пропустить задания то не усвоишь материал
p
Блять и чо делаиь
p
elim, я же написал док-во
Зачем ты его удалил?
H
виноват навальный
p
виноват навальный
Ну верни обратно попробую разобраться
p
Ты там просто обозначения странные юзал хз
H
Ты там просто обозначения странные юзал хз
нет, моё сердце уже разбито
p
i (A->B) => B elim
ii (B->C) => C elim
A => B => C
ii (B->C) => C elim
A => B => C
p
Вот я не понял ничего из этого
H
чето передумал этот TTFP читать, потому что я понял что хотел сказать автор только после того как усвоил материал
p
Почему А импликация Б => Б ??
SP
единственное чем нужно интересоваться относительно монги
ΑZ
i (A->B) => B elim
ii (B->C) => C elim
A => B => C
ii (B->C) => C elim
A => B => C
это не пруф ваще
H
ну я и не это писал
p
ну я и не это писал
это
H
это
нет, ты пропустил важные детали