WIIS

命題論理

確認テスト II(命題論理)

目次

次のページ:
Mailで保存
Xで共有

問題1(20点)

問題(恒真式・恒偽式・事実式)
命題変数\(P,Q,R\)に関する以下の論理式が恒真式、恒偽式、事実式のどれであるか判定してください(各10点)。

  1. \(\left( P\leftrightarrow Q\right) \leftrightarrow \left( \lnot P\leftrightarrow \lnot Q\right) \)
  2. \(\left( P\rightarrow \left( Q\wedge R\right) \right) \vee \left(\left( P\wedge Q\right) \rightarrow R\right) \)
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

問題2(15点)

問題(論理式の解釈)
命題変数\(P,Q,R\)に関する以下の4つの論理式\begin{gather*}P\vee Q \\
P\vee \lnot Q \\
\lnot P\vee Q \\
\lnot P\vee \lnot Q\vee \lnot R
\end{gather*}がすべて真になるような解釈は存在するでしょうか。議論してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

問題3(20点)

問題(論理式の解釈)
\(A,B,C\)の3人はそれぞれ正直者か嘘つきのどちらか一方です。正直者は嘘をつかず、嘘つきの発言はすべて嘘であるものとします。3人はお互いに誰が正直者であり、誰が嘘つきであるかを知っているものとします。3人がそれぞれ以下のように発言しました。\begin{eqnarray*}A &:&\text{私が正直者であるか、}C\text{が嘘つきであるか、その少なくとも一方が真実です} \\
B &:&\text{私が正直者であるか、}A\text{が嘘つきであるか、そのどちらか一方が真実です} \\
C &:&A\text{と}B\text{はともに嘘つきです}
\end{eqnarray*}以上を踏まえたとき、誰が正直者であり、誰が嘘つきであるか判定できますか。議論してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

問題4(15点)

問題(証明)
整数\(z\in \mathbb{Z} \)を任意に選んだとき、以下の主張\begin{equation*}5z^{2}+2\text{が偶数ならば}z\text{は偶数である}
\end{equation*}が成り立つことを証明してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

問題5(15点)

問題(証明)
\(a<b<c\)を満たすとともに、隣り合う3つの整数\(a,b,c\in \mathbb{Z} \)を任意に選んだとき、以下の主張\begin{equation*}a\not=-1\text{かつ}a\not=3\text{の場合には}a^{2}+b^{2}\not=c^{2}\text{である}
\end{equation*}が成り立つことを証明してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

問題6(15点)

問題(証明)
自然数\(n\in \mathbb{N} \)を任意に選んだとき、以下の主張\begin{equation*}1\leq n\leq 5\text{の場合には}n^{2}-n+11\text{が素数である}
\end{equation*}が成り立つことを証明してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

次のページ:
Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員専用コンテンツです
ログイン】【会員登録