Ký hiệu "|=" trong toán tên hoặc ý nghĩa là gì nhỉ ?

Ngày xưa học đại học có ký hiệu |= trong toán, không nhớ tên hoặc ý nghĩa là gì?
Bác nào biết chỉ dùm nhỉ, thank nhiều

làm gì có nhỉ
tự sáng tác mới à

[r23)]
Chữ Pi bị đổ

Chả biết thuật ngữ trong tiếng Việt gọi là gì. Đọc thì thấy đó là biểu tượng của "entail". Dịch kế thừa nghe có hợp với toán học ko nhỉ

A ⊧ B: nghĩa là ở mọi hình thức, nếu A đúng thì B cũng đúng.
-----------------------------Tự động gộp Reply ---------------------------

Có. Chẳng qua là ở ctrình phổ thông ko có đựoc học cái này thôi.

Entail là kéo theo, suy ra. Nếu vậy thì là thuật ngữ trong Logic hình thức, k phải trong Toán.

thanks

bạn nào giải thích là chữ pi bị lộn là mình buồn cười quá vì nó nhớ đến kỷ niệm thời lớp 9 của mình, mình không spam gì ở đây nhé!, nhưng mình xin kể kỷ niệm đó ra để các bạn biết và có thêm một khái niệm mới đó là "Pi lộn".
Hồi đó tụi mình học lớp 9, ngày xưa do ăn uống kém hơn bây giờ nên lúc đó con gái phát triển chậm lắm, đến năm cuối học kỳ 2 lớp 9 thì lớp mình mới có một vài bạn nữ mặc áo chip (áo con đó)
bàn mình ngồi dưới, phía trên là 2 bạn nữ, hồi đó cô giáo phải xắp xếp cứ bàn 4 đứa, 2 đứa nam và 2 đứa nữ ngồi xem nhau, bàn trên và dưới cũng vậy, ngồi so le để không nói chuyện riêng (ặc ặc!, chết cười). thế là hôm đó bàn trên có một bạn nữ bắt đầu mặc áo con, và thằng bạn mình nó rất là đểu nó, bảo là nhìn đằng trước có số pi đó, nhưng mà là pi lộn ngược, ban đầu mình chẳng hiểu, mãi về sau nó chỉ về phía lưng bạn gái đó và vẽ cái hình ấy ra rồi xoay lại thế là mình à lên một cái rồi 2 thằng cười sằng sặc, thế là bị đuổi ra khỏi lớp, cô giáo chủ nhiệm bắt về gọi phụ huynh mới cho đi học tiếp!...Chết cười với chữ pi. "Pi lộn".