Teclea en los recuadros la formalización lógica de cada una de las frases siguientes de acuerdo con las siguientes convenciones: