Proposición compuesta: la disyunción / Cuantificadores: universal y existencial