Each of the red sentences is a subsitution instance for one or more quantified
sentences below.
- Suppose that each red sentence
is true then
- Drag it to the quantified sentence it makes true*.
(^x)(Ax>Bx)
(%y)By
(%x)(^y)(Lxy>Lyx)
(^z)Dza
(%z)Dza
Bf
Daa
(^y)(Lty>Lyt)
(^x)(%y)(Lxy>Lyx)