Логика высказываний

[AmatoryFan]

объясните как делать пожалуйста, не понимаю самого задания

Выразить отрицание x и конъюнкцию ху через f и ~f

[Taras]

Я - тоже что такoe f?
"А что подумал Кролик, никто не узнал, потому что он был очень воспитанный."

[AmatoryFan]

f- функция)) она задана

[Taras]

Естественный вапйос: как задана?

[AmatoryFan]

f(x,y,z)=((yx) xor (z v x)) v (y xor (xy))

[gefest_md]

Цитата:

объясните как делать пожалуйста, не понимаю самого задания
Выразить отрицание x и конъюнкцию ху через f и ~f

f(x,y,z)=((yx) xor (z v x)) v (y xor (xy))

AmatoryFan


$\neg x=g(f,\neg f)$

$x\wedge y=h(f,\neg f)$

постройте 4 таблицы ($f,$ $\neg f,$ $\neg x,$ $x\wedge y$) и требуется найти $g$, $h$. (xor можно выразить через нормальные математические связки.)

[jjj66]

В следующем доказательстве найдите тезис, аргументы и определите форму рассуждения.
Если частноутвердительное суждение "Некоторые S есть Р "ложно, то частноотрицательное суждение с тем же субъектом и предикатом "Некоторые S не есть P " будет истинным. Рассмотрим общеотрицательное суждение: Ни одно S не есть P . Это суждение в отношении противоречия и данному нам частноутвердительному суждению. Согласно закону исключения третьего, два противоречащих друг другу суждения не могут быть в месте ложными. Следовательно, частноутвердительное и общеотрицательное суждение с одинаковым субъектом и предикатом не могут быть вместе ложными. Но нам известно, что частноутвердительное суждение ложно. Следовательно, общеотрицательное суждение истинно.
Из истинности общего суждения вытекает истинность соответствующего ему частного суждения. Общеотрицательное суждение является общим. Поэтому из истинности общеотрицательного суждения вытекает истинность соответствующего ему частного суждения. Общеотрицательному суждению соответствует частноотрицательное. Это значит, что из истинности общеотрицательного суждения вытекает истинность частноотрицательного.
Но мы уже доказали, что общеотрицательное суждение будет истинным при условии ложности частноутвердительного. Следовательно, при условии ложности частноутвердительного суждения частноотрицательное суждение с тем же субъектом и предикатом будет истинным, что и требовалось доказать.

[Jnrty]

Jnrty:

jjj66, предупреждение за дублирование сообщения в чужой теме.