数学自信ニキ来てくれ

∀x:P(x)v Q(y)= ∀x:P(x)v Q(y)
これの具体例教えてほしいンゴ

たのむ

開論理式やら閉論理式やらさっぱりや

得意じゃないけどきた

同じものに見えるけど違うんか

恒等式やん

すまンゴ

頼むンゴ😭😭😭

だれか😨

書き直せゴミ人間

(∀x:P(x))v Q(y)= ∀x:P(x)v Q(y)
これの具体例教えてほしいンゴ

論理式を等号で結ぶのは普通の記法じゃない
どういう意味で使っとんのかはっきりしろ

この=はなんやねん≡か?

⇔は現代やと普通メタ論理で使う記号やけどな
←→のことか?(双条件法)

P(x)とはxに関する条件式でxの集合って事?

工学部だから∀かanyってことしかわからん

yが自由変数やから具体例上げたところで理解が進むかわからんけれども、自然数上で考えてP(x)をxは偶数、Q(y)をy=0としてyの値を動かして⇔の右辺と左辺の真偽が等しくなることを確認してくれとしか

vの意味がわからんわ