3. Sólo un estudiante estudia griego. Función: E: estudiante EG: estudiar griego Entidad: x Cuantificador: Ǝ(x) Conectiva: -> Formalizar: Ǝ(x)(E(x)->EG(x)) 4. Todas las personas que compran una póliza son inteligentes. Función: P: personas CP: compraron poliza i: inteligenes Entidad: x Cuantificador: Ɐ(x) Conectiva: ^ Formalizar: Ɐ(x)(P(x)^CP(x)- >I(x))) 5. Nadie compra una póliza cara. Función: C: compra PC:póliza cara Entidad: Cuantificador: Ɐ(x) Conectiva: ^ Formalizar: Ɐ(x)(C(x)^PC(x))