logika logika: Czy jest prawda, ze a) ∀_x (x=3⇒x=5) b) ∃_x (x=5⇒x=3)

ite: Najważniejsze pytanie: dla jakich wartościowań poprzednika i następnika implikacja jest prawdziwa?

logika: Implikacja jest falszywa ⇔ poprzednik jest prawdziwy a nastepnik falszywy, w pozostalych przypadkach implikacja jest prawdziwa.

ite: a) ∀_x (x=3⇒x=5) sprawdzamy czy implikacja może być fałszywa: dla x=3 poprzednik jest prawdziwy a następnik falszywy a więc ∃_x ¬(x=3⇒x=5) czyli nie jest prawdą że ∀_x (x=3⇒x=5)