Help with Tutorial 3, if you need it
Topic
8/29/06
Tutorial 3 The Main Connective Applet
propositional
Help with Tutorial 3, if you need it
Topic
Logical System
8/29/06
Tutorial 3 The Main Connective Applet
Your browser does not support html5 video.
-->
Supplementary: The Paradoxes of Material Implication
Topic
Logical System
1/24/06
The problem or issue here lies with the truth table for the conditional (or material implication) ³
Supplementary: The Paradoxes of Material Implication
Topic
Logical System
1/24/06
The problem or issue here lies with the truth table for the conditional (or material implication) ⊃
Tutorial 3: Propositions and Truth
Topic
Logical System
8/10/26
Skills to be acquired in this tutorial:
To learn how compound propositions are true or false depending on the truth or falsity of their component propositions.
Review
Topic
Logical System
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 ...'
Review
Topic
Logical System
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 ...'
Help with Tutorial 2
Topic
Logical System
8/29/06
Tutorial 2 Example: How Experts Symbolize
Your browser does not support html5 video.
-->
[This is a film-- press the 'play' symbol.]
Tutorial 2: Symbolizing compound propositions
Topic
Logical System
9/1/12
Skills to be acquired in this tutorial:
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.
Why this is useful:
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.
Help for Tutorial 1
Topic
8/2/08
Tutorial 1 Exercise 2
[What is shown below is a Quicktime Movie, with sound. Your computer should be able to run this. If you are having trouble, check with Quicktime or Quicktime download and equip your machine for viewing Quicktime. If you have external speakers, or similar, you may need to turn them on and turn the volume up.]