AT
только надо понять нужно ли это тебе...
Size: a a a
2020 December 22
R
нужно публично признать Брауэра единственным истинным пророком и отречься от LEM и DNE
у нас не было матлогики…
AT
у нас не было матлогики…
мы сейчас тебе здесь организуем
AT
курс по матлогике в понве
GP
курс по матлогике в понве
понвогогика
R
я бы взял его вместо поисковых систем
AG
они равносильны
на самом деле не совсем, DNE сильнее, т.к. LEM выразим без первоклассной фальши
AT
на самом деле не совсем, DNE сильнее, т.к. LEM выразим без первоклассной фальши
нам бы тогда формализм зафиксировать))
AT
потому что
согласен
AT
отрицаю
отрицаю твое отрицание
R
отрицаю твое отрицание
подвергаю сомнению твое утверждение
AT
подвергаю сомнению твое утверждение
предаю анафеме твое сомнение моего утверждения об отрицании твоего отрицания
R
предаю анафеме твое сомнение моего утверждения об отрицании твоего отрицания
по христиански поступаешь
GP
предаю анафеме твое сомнение моего утверждения об отрицании твоего отрицания
делаю импликацию из анафемы в сомнение твоего утвреждения ратена отрецания