tag:blogger.com,1999:blog-2137131541541904163.post3549918687391714472..comments2024-03-27T13:37:17.905+02:00Comments on lisari.blogspot.com: Ο Σέρλοκ Χολμς και η Μαθηματική λογική τουΜάκης Χατζόπουλοςhttp://www.blogger.com/profile/09853616272976489789noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-2137131541541904163.post-57264014031422290932013-04-26T00:41:03.031+03:002013-04-26T00:41:03.031+03:00Ο Β είναι κατ' ανάγκη ένοχος...
Απόδειξη:
Έστω...Ο Β είναι κατ' ανάγκη ένοχος...<br />Απόδειξη:<br />Έστω ότι ο Β είναι αθώος.<br /> Τότε ένοχος είναι είτε ο Α είτε ο Γ.<br /> *Αν είναι ο Α, τότε από το δεδομένο θα είναι και ο Γ. ΑΤΟΠΟ! (αφού ο Α δεν συνεργάζεται με τον Γ)<br /> *Αν είναι ο Γ τότε θα είναι και ο Α (αφού ο Γ <br />δεν δουλεύει ποτέ μόνος). ΑΤΟΠΟ!<br />Άρα ο Β είναι ένοχος..! <br />Γιώργοςnoreply@blogger.com