20/03/29 01:34:34 DBFujSM6.net
問われているのは、
∀a,b∈Q { a+√(a^2+4b) = 2+2√2 → (a=1 ∧ b=2) }
それと等価な論理式
∀a,b∈Q { (a≠1 ∨ b≠2) → a+√(a^2+4b) ≠ 2+2√2 }
や
￢[ ∃a,b∈Q { (a≠1 ∨ b≠2) ∧ a+√(a^2+4b) = 2+2√2 } ]
なんかでもOK
20/03/29 01:34:34 DBFujSM6.net
問われているのは、
∀a,b∈Q { a+√(a^2+4b) = 2+2√2 → (a=1 ∧ b=2) }
それと等価な論理式
∀a,b∈Q { (a≠1 ∨ b≠2) → a+√(a^2+4b) ≠ 2+2√2 }
や
￢[ ∃a,b∈Q { (a≠1 ∨ b≠2) ∧ a+√(a^2+4b) = 2+2√2 } ]
なんかでもOK