「バラは赤い」という命題を $p$ 、「スミレは青い」という命題を $q$ で表すとき、与えられた各命題を $p, q$ と論理演算子 $\land$ (かつ), $\lor$ (または), $\neg$ (否定) を用いて表した式を組み合わせる問題です。

離散数学論理命題論理論理演算子否定かつまたは条件文
2025/4/18

1. 問題の内容

「バラは赤い」という命題を pp 、「スミレは青い」という命題を qq で表すとき、与えられた各命題を p,qp, q と論理演算子 \land (かつ), \lor (または), ¬\neg (否定) を用いて表した式を組み合わせる問題です。

2. 解き方の手順

* **バラは赤く、スミレは青い。**
これは、pp かつ qq を意味するので、pqp \land q と表されます。
* **バラは赤いが、スミレは青くない。**
これは、pp かつ qq の否定を意味するので、p¬qp \land \neg q と表されます。
* **バラは赤くないか、スミレは青くない。**
これは、pp の否定または qq の否定を意味するので、¬p¬q\neg p \lor \neg q と表されます。
* **バラが赤くないならば、スミレは青い。**
これは、「¬p\neg p ならば qq 」を意味します。 A    BA \implies B¬AB\neg A \lor B と同値なので、これは ¬(¬p)q\neg(\neg p) \lor q と表せます。これは pqp \lor q となります。

3. 最終的な答え

* バラは赤く、スミレは青い。 E.pq\Leftrightarrow E. p \land q
* バラは赤いが、スミレは青くない。 A.p¬q\Leftrightarrow A. p \land \neg q
* バラは赤くないか、スミレは青くない。 D.¬p¬q\Leftrightarrow D. \neg p \lor \neg q
* バラが赤くないならば、スミレは青い。B.pq\Leftrightarrow B. p \lor q

「離散数学」の関連問題

10枚のコインがあり、そのうち9枚は同じ重さで、1枚だけが他の9枚よりも軽い。てんびんを使って、軽いコインを3回以内の比較で見つけ出すことができない方法を、選択肢の中から選ぶ。

パズル論理最適化天秤
2025/7/12

9個の異なる玉を、指定された個数でいくつかの組に分ける場合の数を求める問題です。具体的には以下の4つの場合について考えます。 (1) 4個、3個、2個の3つの組に分ける。 (2) A, B, C の3...

組み合わせ場合の数順列
2025/7/12

5x5のマスに1から5の数字を1つずつ入れ、各マスはビルを表します。矢印の数字は、その方向から見たときに見えるビルの数を示します。同じ列(縦、横)に同じ数字は入りません。

パズル論理マス数字
2025/7/12

5x5のマスに1から5の数字を入れます。各行、各列に同じ数字は入りません。マスの外の数字は、その方向から見たときに見えるビルの数を表します。

パズル論理制約充足数独
2025/7/12

5人の人を、A, B, Cの3つのグループに分ける方法は何通りあるかを求める問題です。ただし、各グループに少なくとも1人は属している必要があります。

組み合わせ場合の数グループ分け
2025/7/11

(1) 5人の人を3つの部屋A, B, Cに入れる方法は何通りあるかを求める問題です。ただし、1人も入らない部屋があっても良いものとします。 (2) 5人の人を3つの組A, B, Cに分ける方法は何通...

組み合わせ場合の数重複組み合わせ
2025/7/11

右図のA地点からB地点へ行く最短経路の総数と、P地点を通ってA地点からB地点へ行く最短経路の総数を求める問題です。

組み合わせ最短経路組み合わせ論
2025/7/11

正方形の頂点に1から4までの番号を振る方法は何通りあるか。ただし、回転させて一致するものは同じとみなす。

組み合わせ順列対称性群論
2025/7/11

男子4人と女子5人がいる。女子と女子の間に必ず男子が入るように、男女交互に一列に並べる方法は何通りあるか。

順列組み合わせ場合の数数え上げ
2025/7/11

全体集合 $U = \{1, 2, 3, 4, 5, 6, 7, 8, 9\}$ が与えられ、部分集合 $A = \{1, 3, 5, 6, 7, 9\}$ と $B = \{2, 3, 4, 5, ...

集合集合演算補集合共通部分
2025/7/11