a1,a2,a3,…,an╞ T
T является логическим следствием a1,a2,a3,…,an в том и
только в том случае, если всякий раз, когда a1,a2,a3,…,an
истинны, T – истинно (не может быть ложно).
Отношение выводимости или логического следования
Дж. У. Бута.
Дж. У. Бут
кого-то.
Кто-то
a1,a2 T
╞
*
*
John Wilkes Booth
Коммунисты критикуют мои законопроекты.
Этот человек критикует мои законопроекты.
Этот человек – коммунист.
Гусеницы едят капусту.
Сидоров ест капусту.
?!
Все Р суть М
Все S суть М
Все S суть Р
Пирей – город-порт, входит в состав Больших Афин.
Saint Augustine (354 A.D. - 430 A.D.)
Если не удалось найти и скачать презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:
Email: Нажмите что бы посмотреть