Introduction In this lab we continue to practice our Python programming skills by adding further functionality to our library of propositional logic tools.
Consistency of System Descriptions Write a Python program that asks the user to enter a system description as a series of propositions. Determine whether or not the description is consistent and print a message to that effect. Your user experience should be along the lines of the following:
Enter a proposition: p and q
Would you like to enter more (Y/N): Y
Enter a proposition: p - q Would you like to enter more (Y/N): N Your description is consistent.
Save your program in a file and upload it under the appropriate CatCourses assignment page.
Descriptive System Descriptions Extend the functionality of your program from the last question by allowing the user to assign a meaning to all the propositional variables. If the user has entered a consistent description, your program should also outline the conditions that satisfy consistency. For example:
Enter a proposition: -p
Would you like to enter more (Y/N): Y
1
Enter a proposition: -q
Would you like to enter more (Y/N): Y
Enter a proposition: p <- q
Would you like to enter more (Y/N): N
Your propositions contain the following variables: [’p’, ’q’]:
Enter meaning of p: John is a Knight
Enter meaning of q: James is a Knight Your description is consistent when:
It is not the case that John is a Knight
It is not the case that James is a Knight
Save your program in a file and upload it under the appropriate CatCourses assignment page.
Hint: To get a list of all the variables used in the propositions the user enters, simply make a truth table for the propositions. Say your truth table is called myTruthTable, then the list of variables occurring in all the propositions is myTruthTable.vars
