logical-negation public under logical-connective 4, proposition 24 List Picture As a command %3 n0 logical-negation n1 logical-connective n1->n0 n2 proposition n2->n0