Help with Tutorial 3, if you need it
8/29/06
Tutorial 3 The Main Connective Applet
8/29/06
8/29/06
Your browser does not support html5 video.
-->
1/24/06
The problem or issue here lies with the truth table for the conditional (or material implication) ³
1/24/06
The problem or issue here lies with the truth table for the conditional (or material implication) ⊃
6/8/07 10Software
To learn how compound sentences are true or false depending on the truth or falsity of their component sentences.
9/15/12
To learn how compound propositions are true or false depending on the truth or falsity of their component propositions.
There is the idea of setting up a code or convention or dictionary between atomic sentences and capital letters.
There are compound sentences, each of which has a main connective which connects its components.
There are five sentential logical connectives:
'∼' which translates back to 'it is not the case that...'
'&' which translates back to '... and ...'
'∨' which translates back to '... or ...'
'⊃' which translates back to 'if... then ...'
'≡' which translates back to '... if and only if ...'
There is the idea of setting up a code or convention or dictionary between atomic propositions and capital letters.
There are compound propositions, each of which has a main connective which connects its components.
There are five propositional logical connectives:
'∼' which translates back to 'it is not the case that...'
'∧' which translates back to '... and ...'
'∨' which translates back to '... or ...'
'⊃' which translates back to 'if... then ...'
'≡' which translates back to '... if and only if ...'
8/29/06
Your browser does not support html5 video.
-->
[This is a film-- press the 'play' symbol.]
9/1/12
Symbolizing compound propositions. Learning about logical connectives, and the notion of the main connective. Recognizing different constructions in English which have the same underlying logical form. Paraphrasing the English into a standard form.
It is the next step in learning how to symbolize. Main connectives are very important-- they are central to symbolization, they are central to the semantics, and they are central to derivations.