El cuantificador de existencia, representado: formula_3, con el significado exise, la proposición a de ser verdadera cuando menos en un caso: