logika logika: Wyznaczyć zbiór wszystkich liczb rzeczywistych x, dla których prawdziwa jest podana implikacja a) x>0⇒x+1>0 b) x²=4⇒x=2 c) x²=−4⇒x=−2

ite: 1/ Przy jakich wartościowaniach poprzednika i następnika implikacja jest prawdziwa? 2/ Po podstawieniu jakich wartości zmiennej x równania x²=4 i x=2 są prawdziwe?

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

ite: (p⇒q) ≡ ¬p∨q np. w b) podana implikacja jest prawdziwa gdy: 1/ poprzednik jest fałszywy czyli wszystkich wartości zmiennej x, które nie spełniają równania x²=4 2/ lub następnik jest prawdziwy czyli wszystkich wartości zmiennej x, które spełniają równanie x=2