ついて、「AならばB」「CならばD」「AまたはC」という前提から「BまたはD」という結論を導く推論規則を構成的ジレンマと呼びます。D\end{equation*}を得ます。D\)は必ず真になります。dilemma)と呼ばれる推論規則です。D\end{equation*}が成り立つ。例(構成的ジレンマ)以下の推論について考えます。\begin{eqnarray*}&&\text{もし雨が降れば、私は濡れる。\\&&\text{もし吹雪になれば、私は凍える。\\&&\text{雨が降るか吹雪になるかの少なくとも一方である。\\&&\text{ゆえに、私は濡れるか凍えるかの少なくとも一方である。S\end{equation*}と定式化されます。構成的ジレンマよりこれは妥当な推論です。(1)\end{equation}が成り立ちます。「雨と吹雪の両方を体験したにも関わらず濡れていないし凍えてもいない」場合には何が起きているでしょうか。S\)が偽であることを意味します。Q\)の中の少なくとも1つが偽でなければなりません。S\)の少なくとも一方が偽です。「雨が降れば濡れる」や「吹雪になれば凍える」という主張の少なくとも一方が間違っているということになります。この人は傘を持っていたか、厚着をしていたのかもしれません。D\end{equation*}について考えます。D\)は真であるため、上の推論が妥当であることが示されました。D\end{equation*}が成り立ちます。F\end{equation*}について考えます。