matematykaszkolna.pl
Logika Tomek : Czemu to jest równoważne? ¬( że dla każdego x ) ¬ A(x)
15 lis 12:16
Tomek : Ten identyfikator 'dla każdego ' ma nie być w nawiasie
15 lis 12:18
jc: ¬ [∀x ¬A(x)] ⇔ ∃x A(x)
15 lis 14:10