Τέσσερις μαθηματικοί: καθαροί, εφαρμοσμένοι, λογικοί ή παράφρονες;

Τέσσερις μαθηματικοί, η Alice, ο Bob, ο Charlie και η Dorothy, κάνουν τις ακόλουθες δηλώσεις:

Alice: «Είμαι παράφρων.»

Bob: «Είμαι καθαρός.»

Charlie: «Είμαι εφαρμοσμένος.»

Dorothy: «Είμαι λογική.»

Alice: «Ο Charlie είναι καθαρός.»

Bob: «Η Dorothy είναι παράφρων.»

Charlie: «Ο Bob είναι εφαρμοσμένος.»

Dorothy: «Ο Charlie είναι λογικός.»

Να περιγράψετε ποιος από τους τέσσερις είναι καθαρός ή εφαρμοσμένος και ποιος είναι λογικός ή παράφρων, με βάση τους κανόνες:

• Οι καθαροί μαθηματικοί λένε την αλήθεια για τις πεποιθήσεις τους.

• Οι εφαρμοσμένοι μαθηματικοί ψεύδονται για τις πεποιθήσεις τους.

• Οι λογικοί έχουν σωστές πεποιθήσεις.

• Οι παράφρονες έχουν λανθασμένες πεποιθήσεις.