Τρομοκράτες και Αστυνόμοι!

[Μάκης Χατζόπουλος]

Υποθέστε ότι η αστυνομία έχει συλλάβει 4 άνδρες τους Α,Β,Γ,Δ (από την γιάφκα του Χαλανδρίου - Γαλατσίου, άσχετο) οι οποίοι είναι ύποπτοι συμμετοχής σ' ένα έγκλημα. Υπόθεστε ακόμα ότι ύστερα από έρευνες και ανακρίσεις έχουν επιβεβαιωθεί τα ακόλουθα γεγονότα:
1. Αν ο Α είναι ένοχος, ο Β είναι ένοχος
2. Αν ο Β είναι ένοχος, τότε είτε ο Γ είναι ένοχος είτε ο Α είναι αθώος
3. Αν ο Δ είναι αθώος, τότε ο Α είναι ένοχος και ο Γ είναι αθώος
4. Αν ο Δ είναι ένοχος, τότε επίσης και ο Α είναι ένοχος

Ποιος ή ποιοι είναι οι ένοχοι; Αν θέλετε το αποδεικνύεται πρακτικά ή με τους κανόνες της λογικής (προτασιακός λογισμός)!

[Γιώργος Ρίζος]

Με πρακτικούς συλλογισμούς:

Αν Δ αθώος, τότε (από 3) Α ένοχος και Γ αθώος, οπότε (από 1) Β ένοχος, άρα (από 2) είτε Γ ένοχος (αντίφαση με 3), είτε Α αθώος, αδύνατο ενδεχόμενο.
Οπότε Δ ένοχος, άρα (από 4) Α ένοχος, άρα (από 1) Β ένοχος, οπότε (από 2) και Γ ένοχος, αφού δεν μπορεί Α αθώος.
Οπότε όλοι ... ένοχοι.

Γιώργος Ρίζος

[Μάκης Χατζόπουλος]

Σωστά! Το κακό ξεκινάει από τον Δ που είναι ένοχο κ έπονται οι άλλοι!

[DimitrisT]

Σε κάθε περίπτωση ο Α είναι ένοχος άρα και ο Β είναι ένοχος ο Γ ένοχος αφού ο Α δεν είναι αθώος και ο Δ ένοχος αφού ο Γ δεν είναι αθώος