Inference and Imagination |
Common terms and phrases
1-001 Logic Professor abbreviation admires ambiguous answer argument form argument is valid Argumentum Aristotle biconditional Chapter conclusion false Consider Construct a truth Contrafactum counter-example deductively valid argument defined definite description Denying the Antecedent employ English sentences example fallacy Fallacy of Composition finished tree following argument form following sentences formula Fxy 3x Hominem horse identical imply impossible inconsistent inductively interpretation invalid Logic Professor John logical truth logically equivalent logician Modus Ponens Modus Tollens mutually consistent negation open path person philosophers Philosophy 1-001 Logic planets predicate logic premises are true presenting an argument proposition quantifier question reasoning sentences are mutually sentential connective sentential letters set of sentences Socrates Solution someone symbolize table to determine tautology term things tree rules tree shows tree to determine truth functional truth table truth tree truth value truth-functional Universe of Discourse words write possible x)Fx y)Fxy