даром что Russell...
запись
(∀x) (bRx ⇔ ¬xRx) ⇒ (bRb ⇔ ¬bRb)
где R - бинарное отношение,
b - фиксированный элемент из области определения отношения R,
x - переменная из той же области
и, сл-но,
bRx - "b относится к x", а
¬bRx - "b не относится к x",
означает
"из (для любого x
(
Read more... )