Dokaz snad nevychazi z nicoho nedokazaneho. Dokaz som necital, nemam cas ani chut na take sialenstva momentalne :)
Mozes napisat ze AK plati neco1 POTOM plati neco2, to je jednosmerna implikacia, plati len jednym smerom ne opacne. Z toho dovodu mozes dokazat ze neco2 plati vzdy, a nijak sa z toho neda odvodzovat neco1, to je ked ides z druhej strany uplne irelevantne.
Napr. mozem povedat AK svieti slnko tak POTOM 1+1=2 a mam pravdu (nehovorim nic o tom ze co sa deje ked slnko nesvieti). A mozem aj dokazat ze 1+1=2 ale aj ked vies ze 1+1=2 tak nevies ci svieti slnko, ptz to bola jednosmerna implikacia :)