Список логічних символів

У логіці, набір символів зазвичай використовується, щоб висловити логічне представлення. Слід пам'ятати, що, поза логікою, різні символи мають той же зміст, і той же символ має, в залежності від контексту, різні значення.

Basic logic symbols

Символ	Назва	Пояснення	Приклад	Unicode	HTML	LaTeX
	Читати як
	Kategorie
⊢	Турнікет	x ⊢ y означає y доказується від x (у деякій заданих формальних системах).	A → B ⊢ ¬B → ¬A	U+22A2	⊢	$\vdash$\vdash
	доказовий
	propositional logic, first-order logic
⊨	подвійний турнікет	x ⊨ y означає x семантично тягне y	A → B ⊨ ¬B → ¬A	U+22A8	⊨	$\models$\models
	тягне за собою
	propositional logic, first-order logic

Див. також

• Таблиця математичних символів

Посилання

• Named character entities in HTML 4.0