Logic / Unit 6 Logic 275 short lesson, about 20 seconds
Translating Relational Sentences
Captions available
The idea
Translate outside-in: pick the outermost quantifier from the English subject, then nest.
In practice
"Every auditor reviewed some filing": (x)(Ax ⊃ (∃y)(Fy · Rxy)).
Where people slip
The pairing rule (263) applies at every nesting level — universal-⊃ outside, existential-· inside, as here.
Your place on the trail
Every lesson rests on earlier ones and opens later ones. Tap any to jump.
Builds on
Unlocks
- Nothing yet depends on this.
Something wrong in this lesson? Flag it · Sources for Logic