logika
student: ~∀x: p(x) ⋁q(x) jak to rozpisac dalej z reguł wnioskowania bo nie wiem czy dobrze to robie dla
alternatywy
24 paź 19:00
Jack:
a jak rozpisujesz?
24 paź 20:04
xxx: α1: ∃x: ~p(x)
α2:~p(a)
α3: q(x) i nie wiem czy to q(x) tez ma byc własnie czy poprzestac na α2.
24 paź 20:29