We look at RM3, the three valued logic that can be understood as a change to LP, in which the truth table for the conditional is varied, in order to render modus ponens a valid argument.

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…