今日はどの曜日ですか？

ステートメントの言い換え：

1. 今日は月曜日です。
2. 今日は水曜日です。
3. 今日は火曜日です。
4. 今日は月曜日でも火曜日でも水曜日でもありません。
5. 今日は金曜日です。 。
6. 今日は水曜日です。
7. 今日は日曜日ではありません。

これらのうちの1つが正しいことはわかっています。水曜日（2と6の両方が正しいため）、木曜日、金曜日、または土曜日（4と7の両方が正しいため）、月曜日または火曜日（それ以降）にすることはできません。 7が正しいので、1または3もそうです）。今日は

日曜日

および

4番目

スピーカーのみが正しい1つ。

7は、日曜日ではないと言っています。これは1,2,3,5,6に同意します。したがって、4つを除くすべてが間違っているだけでなく、7番目のステートメントが間違っているため、今日が日曜日であることを証明します。その1つのステートメントだけですべてを証明できます。

コメント

• あなたが来た方向性が大好きですから。

回答は

日曜日

それを視覚化する最良の方法は、値を使用してテーブルを作成することです。

$ \ begin {array} {c | c | c | c | c | c | c | c} \ underset {（Statement〜 \＃）} {\ text {Speaker}} & \ text {Mon} & \ text {Tue} & \ text {Wed} & \ text {Thu} & \ text {Fri} & \、\ text {土} \、& \ text {Sun} \\\ hline1 & \ text {X} \\\ hline2 & & & \ text {X} \\\ hline3 & & \ text {X} \\\ hline4 & & & & \ text {X} & \ text {X} & \ text {X} & \ color {red} {\ text {X}} \\\ hline5 & & & & & \ text {X} \\\ hline6 & & & \ text {X} \\\ hline7 & \ text {X} & \ text {X} & \ text {X} & \ text {X} & \ text {X} & \ text {X} \ end {array} $

テーブルの行に入力：
ステートメント1は、今日が月曜日の場合にのみ当てはまります。
ステートメント2は、今日が水曜日の場合にのみ当てはまります。
ステートメント3は、今日が火曜日の場合にのみ当てはまります。
ステートメント4は、今日が木曜日からSの範囲にある場合にのみ当てはまります。 unday。
ステートメント5は、今日が金曜日の場合にのみ当てはまります。
ステートメント6は、今日が水曜日の場合にのみ当てはまります。
ステートメント7は、昨日は土曜日ではなかったと述べています。その場合、昨日は月曜日、火曜日、水曜日、木曜日、金曜日、または日曜日になる可能性があります。したがって、今日は火曜日、水曜日、木曜日、金曜日、土曜日、または月曜日です。日曜日を除く任意の日です。

最後に、表の列を読みます：
月曜日のステートメント1と7は真です。
火曜日のステートメント3と7は真です。
水曜日のステートメント2、6、7は真です。 true。
木曜日はステートメント4と7がtrueです。
金曜日はステートメント4、5、7がtrueです。
土曜日はステートメント4と7がtrueです。
日曜日はステートメント4のみが真です。
1つのステートメントのみが真である唯一の日は正しい日です。それは日曜日です。

コメント

• この表とその理由を少し説明してください。より良いですか？すばらしい絵の解決策のように見えますが、'説明がほとんどない場合、私は'賛成するのを嫌がります。また、このサイトの言語は英語であるため、一番上の行はおそらくLMMJVSDではなくMTWTFSSである必要があります:-)
• アイテム1 =月曜日、アイテム2 =水曜日、アイテム3 =火曜日、アイテム4 =現在日は木曜日と日曜日の範囲で、項目5 =金曜日、項目6 =水曜日、項目7 =昨日は土曜日ではなく、昨日は月曜日、火曜日、水曜日、木曜日、金曜日、日曜日になります。つまり、今日は火曜日または水曜日、木曜日、または金曜日または土曜日または月曜日です。含まれていない唯一の日は日曜日です。最後に、月曜日（アイテム1、7）、火曜日（アイテム3、7）、水曜日（アイテム2、6、7）、木曜日（アイテム4、7）、金曜日（アイテム4、5）、土曜日（4、7） 、日曜日（4）一度だけ言及されている日が正しい日です。日曜日。
• ああ、これらはスペインの曜日でなければなりません。そこにある別のパズルXD

コンピュータプログラムを使用してそれを解決できます（以下はRacketにあります）言語）：

; SUN M T W TH F SAT ; 0 1 2 3 4 5 6 (define (f) ; assume today is x; (for ((x 7)) ; check x for 0 to 6 (printf "x=~a; count=~a ~n" x (count (lambda(x) x) (list (= 3 (+ x 2)) ; statements are listed here (= x 3) (= x 2) (and (not(= x 1)) (not(= x 2)) (not(= x 3))) (= x 5) (= x 3) (not (= 0 x)) ))))) (f) 

SunからSatまでは0から6の値を取り、それぞれについて正しいステートメントの数をチェックします。出力は次のとおりです。

x=0; count=1 x=1; count=2 x=2; count=2 x=3; count=3 x=4; count=2 x=5; count=3 x=6; count=2 

したがって、日曜日（x = 0）に対してのみ正しいステートメントは1つだけなので、それが答えです。

SymPyの使用：

>>> from sympy import * >>> sunday, monday, tuesday, wednesday, thursday, friday, saturday = symbols("sunday monday tuesday wednesday thursday friday saturday") 

$ 7 $ブール変数の 1つだけが真になる可能性があるため：

>>> Sun = sunday & Not(monday) & Not(tuesday) & Not(wednesday) & Not(thursday) & Not(friday) & Not(saturday) >>> Mon = Not(sunday) & monday & Not(tuesday) & Not(wednesday) & Not(thursday) & Not(friday) & Not(saturday) >>> Tue = Not(sunday) & Not(monday) & tuesday & Not(wednesday) & Not(thursday) & Not(friday) & Not(saturday) >>> Wed = Not(sunday) & Not(monday) & Not(tuesday) & wednesday & Not(thursday) & Not(friday) & Not(saturday) >>> Thu = Not(sunday) & Not(monday) & Not(tuesday) & Not(wednesday) & thursday & Not(friday) & Not(saturday) >>> Fri = Not(sunday) & Not(monday) & Not(tuesday) & Not(wednesday) & Not(thursday) & friday & Not(saturday) >>> Sat = Not(sunday) & Not(monday) & Not(tuesday) & Not(wednesday) & Not(thursday) & Not(friday) & saturday >>> Today = Sun | Mon | Tue | Wed | Thu | Fri | Sat 

$ 7 $ステートメントの翻訳：

>>> Phi1 = monday >>> Phi2 = wednesday >>> Phi3 = tuesday >>> Phi4 = Not(monday) & Not(tuesday) & Not(wednesday) >>> Phi5 = friday >>> Phi6 = wednesday >>> Phi7 = Not(sunday) 

$ 7 $のうち$ 6 $は誤りなので：

>>> Psi1 = (Phi1 & Not(Phi2) & Not(Phi3) & Not(Phi4) & Not(Phi5) & Not(Phi6) & Not(Phi7)) >>> Psi2 = (Not(Phi1) & Phi2 & Not(Phi3) & Not(Phi4) & Not(Phi5) & Not(Phi6) & Not(Phi7)) >>> Psi3 = (Not(Phi1) & Not(Phi2) & Phi3 & Not(Phi4) & Not(Phi5) & Not(Phi6) & Not(Phi7)) >>> Psi4 = (Not(Phi1) & Not(Phi2) & Not(Phi3) & Phi4 & Not(Phi5) & Not(Phi6) & Not(Phi7)) >>> Psi5 = (Not(Phi1) & Not(Phi2) & Not(Phi3) & Not(Phi4) & Phi5 & Not(Phi6) & Not(Phi7)) >>> Psi6 = (Not(Phi1) & Not(Phi2) & Not(Phi3) & Not(Phi4) & Not(Phi5) & Phi6 & Not(Phi7)) >>> Psi7 = (Not(Phi1) & Not(Phi2) & Not(Phi3) & Not(Phi4) & Not(Phi5) & Not(Phi6) & Phi7) >>> Psi = Psi1 | Psi2 | Psi3 | Psi4 | Psi5 | Psi6 | Psi7 

簡略化：

>>> simplify(Today & Psi) And(Not(friday), Not(monday), Not(saturday), Not(thursday), Not(tuesday), Not(wednesday), sunday) 

したがって、今日は日曜日。