что есть логическая функция A\B ?

[Sate]

собственно сабж

[Joker_vD]

А что есть $A$, $B$ и $\setminus$?

[ewert]

Sate в сообщении #366245 писал(а):

собственно сабж

Не уверен, что есть такая именно логическая операция. Есть теоретико-множественная (что примерно одно и то же, конечно). Если же именно логическая, то она означает "А и не В". Ну или (эквивалентно) "из А не следует В".

[Виктор Викторов]

ewert! У Клини такой операции нет. Но, если следовать Вашей логике, то это $A\wedge\neg B\equiv \neg (A\to B)$.

(Оффтоп)

Вопрос: а как в тэге написать не эквивалентно?

[Joker_vD]

(Оффтоп)

$\not \equiv$

[Виктор Викторов]

Joker_vD в сообщении #366300 писал(а):

(Оффтоп)

$\not \equiv$

Спасибо.