Что означает эти математические знаки?

http://en.wikipedia.org/wiki/List_of_mathematical_symbols

1. «Вывод» или как-то так называется. Типа x |— y значит, что y выводится из x.
2. Хз.
3. Хз.
4. Стрелка Пирса.

Спасибо, но там только первый.

Спасибо.

Второй и третий тоже есть — округление вниз. Правда фиг знает правильно ли оно в этом контексте.

про стрелку вниз там же и написано. стр. 13, сноска внизу.

UPD Еще вот такой

Ты про букву «пси»? Я, правда, не знаю что она означает в контексте.

Ты про букву «пси»?

Да, про нее.

делаешь школьный реферат?

Спасибо.

Не, пытаюсь осилить статью:)

Не, пытаюсь осилить статью:)

может, рановато еще осиливать, если такие вопросы возникают?

Может, но тема ужасно интересует. Мучаюсь.

Кстати, если для Вас символы столь очевидны, подскажите все-таки, что означают с-лы в пп 2 и 3? Или это очепятки от квадратных скобок?

Кстати, если для Вас символы столь очевидны, подскажите все-таки, что означают с-лы в пп 2 и 3? Или это очепятки от квадратных скобок?

они для меня совершенно не очевидны в данном контексте :)
чтобы понять, что они означают надо читать статью, а мне лень. Лучше подумай о том, понял ли ты все то, что было _до_ этих символов.

1) Из того что слева выводимо, доказуемо, следует то, что справа

2,3) По тексту не очевидно, а так не помню

4) Походу завершимость.

UPD) Ты имеешь ввиду квантор существования, который как перевернутая A?

Он имеет в виду букву Пси, а перевёрнутая A - это квантор всеобщности.

Квантор существования это перевернутая Е

ой. опечатка

Ты имеешь ввиду квантор существования, который как перевернутая A?

Не это наверное пси. Там на следующей странице.

2)3) Судя по тому, что я мельком видел в статье, это округление вниз.

Тыц.

Благодарю.

Хотя, мне кажется, что вряд-ли это округление, потомучто p (символ, заключенный в эти символы) там - это программа, а округление может относиться только к числам, или как?

Ну тогда я ХЗ.