Nghĩa chính
- Ký hiệu ⊨ dùng để biểu thị hệ quả ngữ nghĩa hoặc ký hiệu ⊧ dùng để biểu thị thực tế là mô hình bên trái của nó thỏa mãn tập hợp các câu ở bên phảidanh từThe ⊨ symbol used to denote semantic consequence, or the ⊧ symbol used to denote the fact that the model to the left of it satisfies the set of sentences to its right.
Dạng từ (word form)
theo quy tắc (regular)- double turnstileDạng gốc (base form)
- double turnstilesSố nhiều (plural)