Logic 1 / 2 / 3 Flashcards
A deductive argument is made up of what two things?
A premise and a conclusion
The validity of an argument does not rely on the ____ of statements, but rather the _____
The validity of an argument does not rely on the truth/falseness of its statements, but in the relationship between these statements
Formalization of logic is done on what 3 levels?
Review the logical equivalences and maybe rewrite them:
What is a formula that can be either true or false?
Contingency / satisfiability
Predicates do what?
Predicates express properties of objects or relations between objects
What are the two ways of turning a predicate into a proposition?
What is the alphabet for predicates?
Propositions can be thought of as predicates of…
Propositions can be thought of as predicates of artity 0. Not depending on input variables
What takes precedence? Quantifiers or connectives?
Quantifiers
What is the translation of “All men are mortal. Socrates is a man. THEREFORE Socrates is mortal” into predicate logic?
An interpretation of predicate logic is the assignment of:
2 predicate formulas A and B are logically equivalent iff…
They have the same truth value under any interpretation
Review these predicative logical equivalences:
Review these important non-logical equivalences
Review the following:
Existential instantiation
Existential generalization
What is the difference between constructive and noncsontructive existence proofs?
