PHI012 Intro to symbolic logic


(Do not click the ‘Submit’ button yet.) If you pick the right connective, the system will show you the sub-sentence(s) from which the sentence is constructed using the main logical operator you just entered. It may be a sentence letter, or itself constructed from simpler sentences. Enter the main logical operator of the highlighted (in red) subsentence, until only sentence letters are left. When you have completely analyzed the sentence, the box will turn green and Carnap will put a checkmark next to it. Be sure, at this point, to click ‘Submit’ to record your answer. (¬¬P → (R → Q))