Установление вида отношения между суждениями, заданными логическими формулами. Способы определения области истинности логической функции на диаграмме Вена, логическое уравнение. Анализ суждений и построение таблиц истинности для посылок и заключения.
Аннотация к работе
Два суждения заданы своими логическими формулами. а) установите отношения между этими суждениями; б) сформулируйте суждение, соответствующее этим формулам Для определения вида отношения между данными суждениями F1 и F2 построим таблицу истинности для обеих формул. Значит, данное логическое следование неправильное, т.е. неверно, что из суждения F1 логически следует суждение F2 Значит, данное логическое следование неправильное, т.е. неверно, что из суждения F2 логически следует суждение F1 . Суждения F1 и F2 находятся в отношении несовместимости, так как в строках 4,6,7,8 есть такой набор значений суждений А, В, С, при которых F1= Л и F2 = Л.