Zdania logiczne SSS: Wytłumaczyłby mi ktoś, dlaczego to zdanie jest prawdziwe : ∃x∊R x=4⇒x=2. oraz dlaczego to zdanie jest fałszywe : (∃x∊R √x² = x) ⇒ (∀x∊R ⁴√x⁴ =x)

SSS: Czy chodzi o to że w pierwszym np dla x=1 zdania x=4 i x=2 są fałszywe, więc fałsz wynika z fałszu więc jest to prawda ?

Janek191: 1) ∃ x = 2 2 = 4 ⇒ 2 = 2 0 ⇒ 1 implikacja jest prawdziwa

Janek191: 2) Dla x = 0 poprzednik implikacji jest prawdziwy , natomiast nie dla każdego x ∊ ℛ następnik jest prawdziwy, np, dla x = − 1 jest ⁴√(−1)⁴ = ⁴√1 = 1