Пусть латинские буквы обозначают высказывания:

A - общеутвердительное;

E - общеотрицательное;

O - частноотрицательное;

I - частноутвердительное.

Пусть известно, какими высказываниями являются большая и малая посылки силлогизма. Также известна фигура силлогизма: 1; 2; 3 или 4. Укажите в ответе, каким высказыванием является заключение: A; E; O; I (буквы латинские). Если заключение сделать для заданной фигуры силлогизма нельзя укажите в ответе латинскую букву X.

Большая посылка	Малая посылка	Фигура силлогизма
E	I	1

Правильный ответ:

• # Даны значения логических переменных и значения их логических функций: F1, F2, F3, F4, F5, F6, G. Можно ли утверждать, что функция G не следует из функций F1, F2, F3, F4, F5, F6 как из посылок. Да - 1. Нет - 0. 0101100010
• # Условия. Даны значения логических переменных и значения их логических функций: F1, F2, F3, F4, F5, F6, G. Можно ли утверждать, что функция G не следует из функций F1, F2, F3, F4, F5, F6 как из посылок. Да - 1. Нет - 0. 1000001100
• # Проверьте справедливость утверждающе отрицающего модуса Определите: выполняются ли условия посылки для случая: 101
• # Заданы три функции: f_1=X_2*X_3+X_1*X_3+1;\\ F_2=X_1+X_2+X_2*X_3+1+X_1*X_2*X_3;\\ F_3=X_1*X_2+X_3+1. Функция . Проверьте, является ли она сохраняющей ноль. Если да, то 1, если нет то 0.
• # Пусть 11 Проверьте, истинно ли утверждение: