Логика - стр. 30
Первое отношение выражено словами «лишь в том, случае»; на языке логики оно, в сущности, означает «тогда и только тогда»; это эквиваленция, она обозначается символом «↔». Следующие три суждения представляют собой перечисление условий, необходимых для того, чтобы первое простое суждение было истинно; они находятся в соединительном отношении – конъюнкции, обозначаемой символом «∧».
Теперь можно все элементы (простые суждения) высказывания объединить, получив, таким образом, его «логическую формулу»:
a ↔ (b ∧ c ∧ d).
Анализируя сложное суждение, важно определить вероятность его истинности при различном сочетании истинности и ложности составляющих его простых суждений, которое осуществляется с помощью таблицы истинности (см. 3.1. Общая характеристика суждения (высказывания) стр. 39–40). Авторство создания таких таблиц приписывают австрийскому логику Людвигу Витгенштейну.
Конец ознакомительного фрагмента.