Help for Remaining Propositional Games
Topic
Logical System
gentzen
Help with First Three Propositional Games
Topic
Logical System
5/15/12
Propositional Main Connective
Your browser does not support html5 video.
Your browser does not support html5 video.
-->Tutorial 4: Arguments and searching for a counter example
Topic
Logical System
8/10/26
Skills to be acquired in this tutorial:
To learn how to symbolize arguments, and how to judge whether they might be invalid using truth-table methods.
Why this is useful:
We wish to appraise arguments, to do this we have to symbolize them first. Judging the invalidity of arguments by truth-table methods is not particularly important, but it does help to develop skills involving truth and lists of formulas.
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) ⊃
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 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.
Propositional Logic: 10 Tutorials
Logical System
12/15/20
Indicative sentences in a natural language, English, for instance, are either true or false. For example, 'There are 35 State Governors in the U.S.A.' is an indicative sentence (which happens to be false). Such sentences express statements or propositions. Not all pieces of language express propositions. For example, the question 'What day is it today?' is not either true or false (although reasonable answers to it will be either true or false); again, the greeting 'Have a nice day!' is not either true or false.