prosta logika Jakub: Jaki jest wynik takiego zapisu (a=b lub a=−b) i a różne od −b Chodzi mi o to, czy jako że a=−b i a rózne od −b się zniosą jako sprzecznosći czy zostanie a=b i a różne od −b

Jakub: Proszę

iteRacj@: (a=b ∨ a=−b) ∧ a≠−b ⇔ (a=b ∧ a≠−b) ∨ (a=−b ∧ a≠−b) ⇔ (a=b ∧ a≠−b) ∨ 0 ⇔ a=b ∧ a≠−b

Jakub: Dzięki