этой формулой например можно эаписать вот такое высказывание: Неверно, что изучение логики является трудным или бесполезным, тогда и только тогда, когда изучение логики является не трудным и не бесполезным. Ну как ещё это назвать, кроме как тавтологией))) Если закон З является тавтологией, то принято записывать это так |=З. Вообще все законы логики являются тавтологиями, и все тавтологии являются законами логики, то бишь множество законов логики совпадает с множеством её тавтологий, и данное высказывание тоже ею является)) Тавталогия, по своей сути не несёт в себе ни какого содержания, поэтому вся математическая логика, помимо того, что она является бузукоризненно логичной, она еще и до безобразия бссмыслина. В общем логига смыслом не занимается, ни здравым ни каким-либо другим. Здравым смыслом занимается психиатрия, хотя там смысл даже вреден. А в математике смыслом занимаются теории моделей, грамматик и теория категорий. Последняя вообще довела смысл до формального малопонятного синтаксиса, где смысл уже настолько прост, что нам смертным его никогда не понять. Это для очень замкнутого круга лиц, поскольку и теория замкнута)). Не смотря на то, что логика бессмыслина до беспощадности граничащей с идиотизмом, она далеко не бесполезна, например все процессоры, работующии в наших гаджетах, это есть логические схемы, которые и существуют потому, что есть математическая логика. Поэтому пака математики не объединят логику со смыслом, "Google переводчик" всегда будет переводить полную ахинею, и любой поисковик будет учитывать не смысл, а синтаксис в вашем запросе. Вот и весь смысл данной задачи))
Сообщение отредактировал Kreativshik - Пн, 06.01.14, 11:49
