Predicate Tester

Using Python write a program that will take in from the user:

• A domain set of values. When determining the values you allow the user to input for the domain set think about the 3rd bullet point here and consider how you will be testing them.
• A test element (The program will then iterate over the domain set to test to see if the element exists in the domain set.
  • The function will output the appropriate quantifier after determining comparisons on all elements.)
• A comparison test (The program will then iterate over the domain set to test all elements in the domain set. The comparison operation you are testing is up to you. Example comparison tests could be things like "greater than" "less than", "even multiple", "contains a string/substring", "has a factor" or more. The only real limit here is that your test must be appropriate to your domain set.
  • The function will output the appropriate quantifier (there exists or for all) after determining comparisons on all elements.)

Predicate Tester Using Python write a program that will take in from the user: A domain set of values. When determining the values you allow the user to input for the domain set think about the 3rd bullet point here and consider how you will be testing them. A test element (The program will then iterate over the domain set to test to see if the element exists in the domain set. The function will output the appropriate quantifier after determining comparisons on all elements.) A comparison test (The program will then iterate over the domain set to test all elements in the domain set. The comparison operation you are testing is up to you. Example comparison tests could be things like "greater than" "less than", "even multiple", "contains a string/substring", "has a factor" or more. The only real limit here is that your test must be appropriate to your domain set. o The function will output the appropriate quantifier (there exists or for all) after determining comparisons on all elements.) Submit the python source code file to this assignment