Вариант 4.

1)               С помощью кругов Эйлера проверьте, является ли силлогизм АAA правильным по второй фигуре.

Решение.

Силлогизм ААА построенный по второй фигуре имеет вид:

Все М суть Р	А
Все S суть Р	А
Все М суть S	А

 

Строим круги Эйлера для этого умозаключения:

  

Заключаем, что силлогизм АAA не является правильным по первой фигуре.

2).Методом от противного проверьте, является ли следующая формула законом? .

Решение. Формула   является законом тогда и только тогда, когда формула  является законом.

Составляем таблицу истинности формулы :

0	0	1	0	1	1
0	1	1	0	1	1
1	0	0	0	1	1
1	1	0	1	0	1

Так как формула  на всех наборах равна 1, то формула   является законом.

3)    Определите, верно ли произведена операция обобщения понятия:       

Староста группы – староста курса.

Решение.

Так как староста группы  не является старостой курса, то операция обобщения понятия произведена неверно.

4)    Постройте отрицание для суждения:

Иванов и Сидоров шахматисты.

Решение.

Отрицанием данного суждения является суждение:

Иванов или Сидоров не являются шахматистами.

5)    Осуществите превращение суждения:

Некоторые школьники  являются баскетболистами.

Решение.

В результате превращения получаем суждение:

Некоторые школьники не являются не баскетболистами.