1) Находятся ли суждения в отношении логического следования?
2) С помощью таблиц проверьте, является ли следующее суждение законом?
3) По логическому квадрату, проверить в каком отношении находятся суждения
4) Методом от противного проверьте, является ли следующая формула законом?
5) Осуществите превращение непосредственного силлогизма:
Некоторые вороны являются черными
Введение
Вариант 6.
1) Находятся ли суждения в отношении логического следования? и .
Решение.
Составим таблицу истинности формулы :
Так как формула на всех наборах равна 1, то вторая формула является логическим следствием первой.
Составим таблицу истинности формулы