意味論的同値

logically equivalent

論理的同値、とも言うっぽい

定義

$ n個の命題変数$ X_1,\cdots,X_nからなる論理式$ \varphi,\psiに、どのように真理値を代入しても常に$ \varphiと$ \psiが同じ真理値を持つ時、$ \varphi,\psiは論理的同値という

Unicodeでガンバる

⊨⫤

「どうち」でユーザー辞書に登録したので変換で出せるはずmrsekut.icon

のTeX