Logic / Logic 275 · Atom · ~20 seconds
Translating Relational Sentences
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
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.