Założenia te same co na ćwiczeniach: rycerze są prawdomówni, łotry są kłamcami. Obowiązuje zasada niesprzeczności, tzn. pewne wypowiedzi nie mogą mieć miejsca pod groźbą sprzeczności.
1. Są trzy osoby A, B, C.
A: Wszyscy jesteśmy łotrami.
B: Dokładnie jeden z nas jest łotrem.
Czy można określić kim jest B i czy można określić, kim jest C?
2. Jest A i B.
A: Jestem łotrem, ale B nie jest łotrem.
Kim są A, B?
3. Jest A, B, C. Mówimy, że dwie osoby należą do tego samego typu, gdy obie są rycerzami lub obie są łotrami.
A: B jest łotrem.
B: A i C są tego samego typu.
Kim jest C?
4. Jest A, B, C.
A: B i C są tego samego typu.
Wówczas ktoś pyta C: Czy A i B należą do tego samego typu? Jaka jest odpowiedź C?
Rycerze, łotry i zwykli ludzie - zadania.
Założenia: trzy typy bytów: rycerze (jak wyżej), łotry (jak wyżej) i ,,zwykli ludzie" (czasem kłamią a czasem mówią prawdę).
5. Są A, B, C, z których jeden jest rycerzem, jeden łotrem, a jeden zwykłym człowiekiem (oczywiście nie wiadomo który).
A: Jestem zwykłym człowiekiem.
B: To prawda.
C: Nie jestem zwykłym człowiekiem.
6. Jest A, B.
A: Jestem rycerzem.
B: A nie jest rycerzem.
Wykaż, że co najmniej jeden z nich mówi prawdę, lecz nie jest rycerzem.
7. Jest A, B.
A: B jest rycerzem.
B: A jest łotrem.
wykaż, że bądź jeden z nich mówi prawdę lecz nie jest rycerzem bądź jeden z nich kłamie, lecz nie jest łotrem.
8. Przyjmijmy, że łotry mają najniższą rangę, zwykli ludzie średnią, a rycerze najwyższą. Załóżmy, że dwaj ludzie, A, B (każdy jest rycerzem, łotrem lub zwykłym człowiekiem) mówią: A: Jestem człowiekiem niższej rangi niż B.
B: To nieprawda.
Czy można określić rangę A lub B? Czy można ustalić wartość logiczną któregokolwiek ze zdań?
9.
A: B jest wyższej rangi niż C.
B: C jest wyższej rangi niż A.
Pytamy C: Kto jest wyższej rangi: A czy B?
Co odpowie C?