2020-11-13から1日間の記事一覧
「任意の解釈\(I\)について\([\![\varphi]\!]_I=[\![\psi]\!]_I\)」という関係を\(\varphi\equiv\psi\)、 「任意の解釈\(I\)について\([\![\varphi]\!]_I\leq[\![\psi]\!]_I\)」という関係を\(\varphi\preceq\psi\) と書くことにし、推論の妥当性や恒真式の…
「任意の解釈\(I\)について\([\![\varphi]\!]_I=[\![\psi]\!]_I\)」という関係を\(\varphi\equiv\psi\)、 「任意の解釈\(I\)について\([\![\varphi]\!]_I\leq[\![\psi]\!]_I\)」という関係を\(\varphi\preceq\psi\) と書くことにし、推論の妥当性や恒真式の…