Главная arrow Информатика arrow Правдоподобные рассуждения
Как начинался компьютер
Компьютерная революция
Двоичный код
Разработки военных лет
Интегральные микросхемы
Микрокомпьютер
Персоны
Сеть
Язык компьютера
Развитие ПО
Гибкие системы
Средства разработки
Информатика
Вычислительная наука
Операционные системы
Искусственный интеллект
Предыстория
Поиск
Знания и рассуждения
Логика
Робототехника
 

 
Правдоподобные рассуждения Печать

Согласно логике высказываний, можно утверждать, что

Из А следует В

А истинно

_____________

В истинно

В обратной ситуации, когда мы знаем об истинности В и его следствии из А, однозначно утверждать, что А также истинно нельзя.

и

Из А следует В

В ложно

_____________

А ложно

В обратной ситуации, когда мы знаем об истинности В и его следствии из А, однозначно утверждать, что А также истинно нельзя.