Означення логічного наслідку
Будемо вивчати умовиводи такої форми:
.........
Означення. Висновок називають логічним наслідком з посилок ( а умовивід при цьому називають правильним ) тоді і тільки тоді, коли .
Приклад. Перевірити правильність умовиводу
Перевіримо, чи
Висновок: умовивід правильний.
Читайте також: - Алгоритм розрахунку та підбору технологічного обладнання
- Аналіз документів як метод соціологічного дослідження.
- Без смертельного наслідку
- Безпечність технологічного обладнання
- БЕЗПЕЧНІСТЬ ТЕХНОЛОГІЧНОГО ПРОЦЕСУ
- Брестська церковна унія і її наслідку для українського народу.
- Взаємовідношення біологічного, соціального і духовного в людині.
- Вибір будівельних машин, механізмів і технологічного транспорту для комплексної механізації монтажних робіт
- Види екологічного моніторингу
- ВИДИ ПСИХОЛОГІЧНОГО КОНСУЛЬТУВАННЯ
- Визначення необхідного технологічного обладнання та пристроїв для виконання технологічних операцій і розробка вимог, яким повинний відповідати кожен тип оснастки
- Визначення, задачі та принципи екологічного права
Не знайшли потрібну інформацію? Скористайтесь пошуком google:
|
|