10/12/26
a) Learning further propositional rules of inference. Carrying out simple propositional derivations using some of the Rules of Inference.
b) Learning elementary Tactics.
Tactics will help you to do derivations.
a)
10/12/26
Learning further propositional rules of inference. Carrying out simple propositional derivations using some of the Rules of Inference.
Thus far we have encountered 3 propositional rules of inference: Simplification, Conjunction, and Addition. If we write these out as forms or patterns, these are the kinds of inferences they permit.
Simplication (Simp)
p.q
∴
pConjunction (Conj)
10/11/26
Proving an argument to be valid by displaying a derivation. Carrying out simple propositional derivations using some of the Rules of Inference.
If you suspect that an symbolized argument might be valid, you should attempt to give a derivation of it.
A derivation is a proof of validity.
We will do a few derivations first, then, in the next Tutorial, explain in more detail what derivations are and how derivations do the work they should.
Tutorials 11 to 25: predicate logic, using the Copi syntax.
It has become a challenge to run the legacy Deriver application, which was written in Java Swing, simply because few Users have Java on their computers. Fortunately, Leaning Technologies have devised some technology, CheerpJ, that allow Java Swing applications to run in a web browser.
6/1/09 [need to check]
6/1/09 need to check
2013
You may have derivations of your own that you wish to try. Just type, paste, or drag and drop, them into the panel, select your derivation, and click 'Start from selection'. [Often copy-and-paste won't work directly from a Web Page; however, usually drag-and-drop will work!]
You will need to use the correct logical symbols. Here they are
F ∴ F & G ∼ & ∨ ⊃ ≡ ∀ ∃ ∴ (or use the palette to produce them)
4/24/06
4/24/06