Туториал по sequent calculus http://logitext.ezyang.scripts.mit.edu/l.....i/tutorial

Еда на псаче: /Из обсуждения: Как–то раз я в споре со своей женой обнаружил какую–то откровенную дурь в ее словах и сказал: — Но это же не логично! — Ну и что? Блядь, НУ И ЧТО? в этот момент у меня вообще весь мир рухнул, и я понял что для нее вообще нет разницы, логично или нет то, что она говорит. ВООБЩЕ! Когда я пересказываю это своим друзьям, все хохочут или улыбаются. А когда девушкам — они просто ждут, что я дальше скажу, со внимательным лицом, потому что искренне не замечают проблемы в этой фразе/