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

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

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

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

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

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

Большая посылка	Малая посылка	Фигура силлогизма
A	O	3

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

• # Даны значения логических переменных и значения их логических функций: F1, F2, F3, F4, F5, F6, G. Можно ли утверждать, что функция G не следует из функций F1, F2, F3, F4, F5, F6 как из посылок. Да - 1. Нет - 0. 1111010100
• # Проверьте справедливость утверждающе отрицающего модуса Определите: выполняются ли условия посылки для случая: 110
• # Задана функция . Проверьте, является ли она сохраняющей ноль. Если да, то 1, если нет то 0.
• # Представьте формулу алгебры высказываний в дизъюнктивной нормальной форме: \neg X_1 \wedge X_2 \wedge (X_2 \to X_3)= \vee_{\alpha_1, \alpha_2, \alpha_3}(A_{\alpha_1, \alpha_2, \alpha_3}X_1^{\alpha_1} \wedge X_2^{\alpha_2} \wedge X_3^{\alpha_3})\\ \mbox{где}\; X^{\alpha}=\begin{cases} X, & \mbox{если}\; \alpha =1,\\ \neg X, & \mbox{если}\; \alpha =0 \end{cases} может принимать значения 0 или 1. В ответе приведите значение для 000
• # Представьте формулу алгебры высказываний в дизъюнктивной нормальной форме: X_2 \vee (X_1 \to \neg X_3)= \vee_{\alpha_1, \alpha_2, \alpha_3}(A_{\alpha_1, \alpha_2, \alpha_3}X_1^{\alpha_1} \wedge X_2^{\alpha_2} \wedge X_3^{\alpha_3})\\ \mbox{где}\; X^{\alpha}=\begin{cases} X, & \mbox{если}\; \alpha =1,\\ \neg X, & \mbox{если}\; \alpha =0 \end{cases} может принимать значения 0 или 1. В ответе приведите значение для 101