Автор работы: Пользователь скрыл имя, 25 Декабря 2011 в 23:32, контрольная работа
Розділовими в традиційній логіці називають судження, в яких перераховуються альтернативи, варіанти, напрямки діяльності і т.п. Звичайно це робиться через союз "або": "Живильні речовини - це або білки, або жири, або вуглеводи, або вітаміни". У символічній логіці вони отримують назву диз'юнкції. Їх використання дозволяє будувати різні види розділових умовиводів: власне розділові, розділово-категоричні та умовно-розділові.
1. Розділові і умовно-розділову умовивід.
2. Умовно-заключний умовивід.
3. Умовне умовивід. Умовивід відносин.
4. Завдання.