Saturday, April 15, 2017

This is the summary of rules with which you will be provided on Monday. Be sure that you understand the condensed statement of the free logic rules as I will not clarify them for you during the test. Note that, as before, you must know the quantifier rules for classical predicate logic. Note, also, that on this test you must know the valuation rules for multi-valued logics. For the 2 pt. extra credit problem you must also know the 3rd definition of validity in infinite valued logic.

No comments:

Post a Comment