DoubleRightTee

Tersedia

Inert operator displayed with the ⊨ symbol

Bentuk

DoubleRightTee[x, y]

Contoh disahkanDoubleRightTee[x, y] → x ⊨ y

Jalankan ini di Qurak Cari dalam rujukan

Berkaitan

RightTee DoubleLeftTee

Semua 6300 fungsi · Gunakan ini daripada klien MCP