Zaprzeczenie zdaniu
Karo: Czy mógłby ktoś sprawdzić mi te trzy przykłady?
Trzeba zaprzeczyć zdaniu logicznemu
1) ∃x∀y:(x+y>0⇔y≥2)
∀x∃y:(x+y≤0⇔y<2)
2) ∀x:(x≤3⇒∃y:x+y2=3
∃x:(x≤3∧∀y:x+y2≠3)
3) ∃x: [x≠1∧∀y:(y3=x⇒y>1)]
∀x: [ x=1V∃y:(y3=x∧y≤1)]
26 sty 17:47