Informatika és tudomány

  • Sir Ny
    #461
    ,, De ezt nem bizonyítod azzal, hogy megvizsgálod az összes létező labdát meg egyszarvút, ha bizonyítani akarod, azt kell bizonyítanod, hogy NEM létezik olyan"

    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?

    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.

    ,,Persze minél több hollót vizsgálunk meg (ahogy közelítünk ugye az összeshez, ami persze lehetetlen), annál valószínűbb, hogy ez az állítás igaz."