material-implication public under logical-connective 4 List Picture As a command Nothing is filed under material-implication.