@Avi Liva
Ten Kallosův výrok je v pořádku. Doporučuji si zopakovat základy výrokové logiky, aspoň na gymnaziální úrovni. Máme li výrok typu: pokud neplatí A, tak neplatí B, tak mnozí neznalí logiky z toho automaticky usuzují, že pokud platí A, tak platí B. To je ale špatně. O platnosti či neplatnosti B nemůžeme nic říci v případě, že A platí. Pro neplatnost B je neplatnost A pouze podmínka postačující, nikoli však nutná. Pokud bychom vyžadovali splnění obou podmínek, museli bychom výrok přeformulovat ve stylu: B neplatí tehdy a jen tehdy (neboli právě tehdy), když neplatí A, kterýžto výrok je ekvivalentní výroku: B platí tehdy a jen tehdy, když platí A.