[ 掲示板に戻る ]
記事No.65036に関するスレッドです
★ 同じ意味でしょうか / meow
写真のように分配法則みたいにすることは可能でしょうか
No.65036 - 2020/05/08(Fri) 03:15:59
☆ Re: 同じ意味でしょうか / らすかる
1行目のyは全体に共通で2行目のyは前と後で個別なので意味が違います。
No.65039 - 2020/05/08(Fri) 05:42:31
☆ Re: 同じ意味でしょうか / 黄桃
P(x),Q(x)をxに関する条件とすると2つの命題
∀x (P(x)∧Q(x)) と
(∀x P(x))∧(∀x Q(x))
は同値（真偽が等しい）です。
両者の意味は異なりますが、内容を考えれば同じとわかります。

＃なので、質問の答は「可能」ですけど、内容を理解されているかどうか心配です。

なお、
∀x (P(x)∨Q(x))と
(∀x P(x))∨(∀x Q(x))
は同値ではありません（下が真なら上も真、はいつでもいえます）。
No.65044 - 2020/05/08(Fri) 10:34:52