Formalʹnai︠a︡ logika: ischislenie suzhdeniĭ. Lekt︠s︡ii dli︠a︡ studentov universiteta

Front Cover
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

ГЛАВА 1а ОСНОВНОЕ ЛОГИЧЕСКИЕ СВЯЗИ СУЖДЕНИИ
5
ГЛАВА П ЛОГИЧЕСКИЕ ОТНОШЕНИЯ УЬЦУ СУЖДЕНИЯМИ
42
Отношение логической несовместимости
56

4 other sections not shown

Common terms and phrases

антецедент бракованная будем будет буквы виде вопрос всегда истинна всех второй Вынут выражения гипотез говорят данного суждения двойная импликация двойственности двух суждений дения детали деталь дизьюнкции дистрибутивна другого если-то есть задачи заключение закон Закон исключенного третьего Закон тождества записать знаки значения истинности игральной кости имеет истинности суждения исчисления суждений каждое кнф коньюнкции которых логики логических возможностей логическое отрицание логической противоположности могут может называется например неверно Некоторые несовместимы них нормальная форма ности ные Нюрнбергском процессе оба образом один одно означает операции определение основными первичных суждений первого Петр положительное число помощью построения таблиц истинности построить посылок Поэтому правила вывода правильности умозаключений преобразования Пример простых противоположных суждений Пусть Рассмотрим рассуждений решения связи связки ситуации следствие следующие суждения случае смысле совершенной днф содержит сокращенная днф соответствует составного суждения способ стандартная столбца строки суж сужде суждение можно сумма цифр схемы тогда точно третье утверждения формальной логики цель часто число делится эквивалентно суждению этот языке ящика

Bibliographic information