Автор работы: Пользователь скрыл имя, 25 Декабря 2014 в 10:27, контрольная работа
Исследования в алгебре логики тесно связаны с изучением высказываний (хотя высказывание — предмет изучения формальной логики). Высказывание — это языковое образование, в отношении которого имеет смысл говорить о его истинности или ложности (Аристотель).
Простым высказыванием называют повествовательное предложение, относительно которого имеет смысл говорить, истинно оно или ложно.
Париж |
Рим |
Чикаго |
Пение |
Балет |
Кино | |
0 |
Джуди |
0 | ||||
1 |
Айрис |
0 | ||||
0 |
0 |
1 |
Линда |
0 |
0 |
1 |
Парижанка не снимается в кино, значит
Линда не парижанка, а проживает в Чикаго. Теперь мы видим, что Джуди
и Линда не живут в Париже, значит там живет
Айрис.
Париж |
Рим |
Чикаго |
Пение |
Балет |
Кино | |
0 |
1 |
Джуди |
1 |
0 | ||
1 |
Айрис |
1 |
0 | |||
0 |
0 |
1 |
Линда |
0 |
0 |
1 |
Теперь получается, что Джуди живет в
Риме, а значит, она певица и Айрис остается
быть балериной.
Информация о работе Логические выражения и логические операции