Dajmy na to, żeA jaka jest roznica w kryteriach? Grupa kolesi okresli atrybuty, algorytm, ktory da wynik: mozna. Albo nie mozna.
- twierdzenie 1: samochodu nie można skasować od momentu, w którym pojawił się w nim silnik
- twierdzenie 2: samochodu nie można skasować od momentu, w którym zaczął on być podobny do samochodu (WTF)
Przecież to już na pierwszy rzut oka widać, że pierwsze twierdzenie jest falsyfikowalne a drugie nie. Drogą dedukcji możemy dość do tego, który element silnika pojawia się najpierw (tłok, cylinder czy co tam) ale drugie jak zweryfikować? Według jednego podobne do samochodu będzie już koło, a według drugiego rura wydechowa.