Informatika és tudomány

  • Balumann
    #462
    "Nem, azt kell bizonyítanom, hogy minden. Miért kéne az állítás helyett az ellentettjének ellentettjét bizonyítanom, amikor az ráadásul nem is egyszerűbb?"

    Ez nem az "ellentettjének ellentetje", hanem csak szimplán a negáltja. Bár ha jobban belegondolok, nincs is különbség bizonyítás szempontjából.

    "Egyébként kis tűnődéssel arra jutottam, hogy nincs ellentmondás, mégha az eredmény egy kicsit furcsa is, a kék almák és zöld körték ténylegesen bizonyítják, hogy minden holló fekete. "

    Végülis az a vicces, hogy tényleg igazad van, az állítást bizonyítja. De ezzel mégsem bizonyítottad be, mert a "minden" egy picit nagyobb halmaz, mint a kék almák és zöld körték, tehát gyakorlatilag akkor is értelmetlen innen megközelíteni.