M3_Predicate Logic and Proof Techniques Flashcards
1
Q
Important in proving if arguments are valid or not and it is being used to represent knowledge
A
Propositional Logic
2
Q
- Evaluates to true or false
- Takes one or more arguments
- Expresses a predicate involving argument(s)
- Becomes a PROPOSITION when values are assigned to the arguments
A
Propositional function
3
Q
- An extension of Propositional Logic
- Adds the concept of predicates and quantifiers to better capture the meaning of statements that cannot adequately expressed by propositional logic
A
Predicate logic
4
Q
Using quantifiers to create such propositions
A
QUANTIFICATION
5
Q
Two types of quantifier
A
Universal Quantifier
Existential Quantifier
6
Q
A set of unvirse
A
domain of discourse
7
Q
Symbol for universal quantifier
A
Inverted A
8
Q
Symbol for Existential Quantifier
A
Horizontally inverted E
9
Q
important for conducting proofs and program verification but also for artificial intelligence
A
mathematical reasoning
10
Q
- Sequence of statements that form an argument
A
Proof
11
Q
sets of statements
A
Rules of interference
12
Q
incorrect reasoning
A
fallacies
13
Q
- A basic assumption about mathematical structure that needs no proof because it is accepted as true and correct
A
Axiom
14
Q
- used to create new concepts in terms of existing ones
A
Definition
15
Q
- Proposition that has been proved to be true
- proved by logical arguments based on axioms
A
Theorem