Translating Relational Sentences
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
Translate outside-in: pick the outermost quantifier from the English subject, then nest.
Show
"Every auditor reviewed some filing": (x)(Ax ⊃ (∃y)(Fy · Rxy)).
Watch for
The pairing rule (263) applies at every nesting level — universal-⊃ outside, existential-· inside, as here.
Builds on
Unlocks
- Nothing yet depends on this.