Citat:
holononi: @Lokanje u bircuzu
Napredujemo, treba krenuti po definicijama i posmatrati proizvoljan element. Problem u tvom dokazu je što se u pretposlednjem koraku pozivaš na De Morganove zakone, a tražen je dokaz bez primene de Morganovih zakona.
Ali nemojte se sekirati, ima i univerzitetskih profesora koji bi trebalo a ne bi mogli to da dokažu.
Šta ti zapravo hoćeš? Ako ne radiš matiš kroz aksiomatsku teoriju skupova, onda se logika podrazumeva. OK, ne mora neko da zna za De Morganove zakone da bi ovo ukapirao, već treba da zna postupak dokazivanja skupovnih identiteta, odnosno postupak dokazivanja tautologija i nikada ne mora da sazna kako se ti zakoni zovu. Ako hoćeš nešto što suštinski ne koristi De Morganove zakone, moraš formulisati neklasičnu logiku u kojoj ti zakoni ne važe, pa posmatrati problem u njoj. Međutim, tamo ni De Morganovi zakoni za skupove neće važiti, jer je to isto.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.