sesa_sebix
sesa_sebix
via Android- 1
#zagadka
Real_account
Real_account
- 2
@sesa_sebix: nigdzie nie ma klauzuli wykluczającej która uprawnia do wnioskowania na podstawie stanu jednej liczby o stanie liczb pozostałych. Ten stan można określić sumarycznie tylko na podstawie założeń wszystkich wierszy. Zastosowana w 2 wierszu koniunkcja dla prawdziwości zdania wymusza poprawność obydwu założeń, co jest prawdziwe dla liczby 9. Natomiast rozpatrując (cały czas będąc przy wierszu 2) postawiony warunek dla liczby 1 - że jest poprawna ale stoi w złym miejscu -