An example of a maximal consistent set?

965 Views Asked by At

I an doing old exams, and there is an exercise that asks to give an example of a maximal consistent set, and while i understand the definition, I cant seem to find or come up with an example.

1

There are 1 best solutions below

0
On

Pick some assignment of truth values to your propositional variables (for example, decide that they're all true). Then take the set of all formulas which are true under this valuation. It is a consequence of the completeness theorem for propositional logic that every maximal consistent set has this form.