2020-12-22から1日間の記事一覧
先生のおっしゃっていた方法\[S_0=\{Pの真偽表\begin{pmatrix}1\\1\\0\\0\end{pmatrix},Qの真偽表\begin{pmatrix}1\\0\\1\\0\end{pmatrix}\}\]\[S_{n+1}=\{\alpha\rightarrow\betaの真偽表\mid \alpha,\betaの真偽表\in S_n\}\] において、\(S_n\)は「\(P,Q\…
先生のおっしゃっていた方法\[S_0=\{Pの真偽表\begin{pmatrix}1\\1\\0\\0\end{pmatrix},Qの真偽表\begin{pmatrix}1\\0\\1\\0\end{pmatrix}\}\]\[S_{n+1}=\{\alpha\rightarrow\betaの真偽表\mid \alpha,\betaの真偽表\in S_n\}\] において、\(S_n\)は「\(P,Q\…