Matpic
mathematics, in pictures
Ladder

Quantifiers — the ladder

One essay so far against this idea. A ladder is the distinct arguments that stand against one idea, and this one has room to grow.
  1. ji123456123456∀i ∃j : trueevery row carries at least one mark∃j ∀i : falsesome one column is marked all the way downthe relation "j is one more than i, counting round", on 6 rows and 6 columnsevery row has a mark: yes · some column is all marks: no

    Every row, or one column

    For every person there is someone who loves them, and there is someone who loves everyone, are the same six words in a different order. Draw the relation as a grid and they become two obviously different questions — one about rows, one about columns.

    rung 1 · logic

All ladders