jak się za to zabrać?
pohdw: Niech A będzie formułą ∀xP(x)→∃y(Q(x,y)∧¬R(x)) Wówczas formuła ¬A jest równoważna formule
24 sty 21:04
ite: Zaprzeczeniem implikacji jest koniunkcja poprzednika i zaprzeczenia następnika.
24 sty 22:12
pohdw: czyli jak to dokładnie ma być?
25 sty 18:30
ite: Czy widzisz, co jest poprzednikiem tej implikacji?
25 sty 19:45