Consider models for a predicate logic language with a 2 - place predicate R given by the four diagrams below: For each model, give a formula of predicate logic which is true in that model but is false in the other three models. D D O For each model, give a formula of predicate logic which is true in that model but is false in the other three models.