Search for tag: "phil 2303"
TranslationTruthTableThis short movie demonstrates a step by step method to evaluate arguments in English, by translating them into symbolic form and applying the truth table method.
From Nathan Smith
0 likes
0
|
|
Validity and SoundnessThis video explains the basic logical concepts of validity and soundness.
From Nathan Smith
0 likes
0
|
|
More Proofs Using SubproofsDr. Smith works through two more examples of proofs using the subproof method.
From Nathan Smith
0 likes
0
|
|
UsingTruthTablesThis video shows how to use truth tables to assess logical concepts such as tautology, contradiction, contingency, logical equivalence, consistency, and validity.
From Nathan Smith
0 likes
0
|
|
Conditional-IndirectProofsThis video provides an introduction to subproofs: conditional proof and indirect proof. The video provides several examples of proofs using the subproof method.
From Nathan Smith
0 likes
0
|
|
SomeBasicProofsThis video walks through some short proofs in sentential logic, using the basic rules for proof.
From Nathan Smith
0 likes
0
|
|
BasicConceptofProofsThis video provides a general overview of the concept of proofs in sentential logic. It demonstrates the use of a proof in a natural language (English) setting and it introduces the basic procedure…
From Nathan Smith
0 likes
0
|
|
Truth Tables for the Logical OperatorsThis video explains the truth tables for each of the five operators in sentential logic.
From Nathan Smith
0 likes
0
|
|
Inductive and Deductive ArgumentsThis short video presents the distinction between inductive and deductive arguments.
From Nathan Smith
0 likes
0
|