Соглашение об уровне услуг

изменения обозначений. Володя:- А может, все же компьютер синтезировал что-то не совсем истинное?- На первый взгляд может показаться, что вопрос не имеет никакого смысла, поскольку истинность или ложность которой угодно логической формы, словно может быть определена только при интерпретациях — ее морфизм в ту или иную Р-модель. То есть, учесть то можно, когда знаешь что. И это действительно так, но существуют такие логические формы, истинные при каких угодно интерпретаций. Их называют тавтологии, например, высказывания «Дождь или идет, или не идет» (a / a) всегда истинно (я напомнил несколько другие обозначения логических союзов, используемых в разных книгах).
обмен электронных валют

Так вот важнейшее свойство тавтологий связана с тем, что в них учитываются все возможные альтернативы для логических переменных. Действительно, дождь или идет, или не идет, как и реформы. Читатель (меланхолик):- Может, идут, а может, и не идут, кто его знает. — Ну правильно, но как метко отметил Спиноза (был когда-то такой ф

Комментирование и размещение ссылок запрещено.

Комментарии закрыты.