A Respectful Challenge
Sx: x is a student Ix: x is intelligent
Tx: x is a teacher Rxy: x respects y
No intelligent student who respects him or herself will give up
on these symbolizations, even though some of them are difficult.
-
Intelligent students respect all teachers.
-
Teachers respect all intelligent students.
-
No teacher respects every student.
-
No student respects an unintelligent teacher.
-
Some student does not respect any intelligent teachers.
-
Students who respect all intelligent teachers are themselves intelligent.
-
Intelligent teachers respect all students, even though not all students
are intelligent.
-
Any student who respects herself respects all teachers.
-
Some student who respects herself respects no teachers.
-
No student who respects all teachers is unintelligent.
-
There is a teacher who does not respect herself unless all students respect
her.
-
There is a student who does not respect any student who respects some teacher
or other.