Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
|
Упражнение 8
Осуществите обоснование приведенных выше правильных модусов умозаключений посредством таблиц истинности. Еще один способ установления отношения логического следования между суждениями, а также и других отношений, заключается в следующем: суждения переводятся на язык логики высказываний; для формул, соответствующих суждениям, строятся сравнимые таблицы истинности; устанавливаются виды отношений между суждениями на основе следующих определений: 1) суждения совместимы по истинности, если и только если в сравнимых таблицах есть строка, в которой все формулы имеют значение “истина”; 2) суждения совместимы по ложности, если и только если в сравнимых таблицах есть строка, в которой все формулы имеют значение “ложь”; 3) из суждений А 1, А 2, ..., A n следует суждение В, если и только если в сравнимых таблицах нет строки, в которой все формулы, соответствующие суждениям А 1, А 2, ..., A n, имеют значение “истина”, а формула, соответствующая суждению В, имеет значение “ложь”. Остальные отношения являются производными по отношению к названным. Пример: Пусть переводами трех суждений являются, соответственно, формулы Ø r Ù р, p É q Ú r, q. Построим для этих формул таблицы истинности таким образом, чтобы эти таблицы можно было сравнивать. Для этого выпишем вначале все переменные, входящие в какие-либо из этих формул. Это переменные р, q, r. Число строк таблиц = 23 = 8. Строим таблицы:
Между первыми двумя суждениями и последним имеет место отношение логического следования. Эти суждения (все три) совместимы по истинности (см. строку 5) и не совместимы по ложности. Date: 2015-06-06; view: 514; Нарушение авторских прав |