Predicate Logic Flashcards
1
Q
What is predicate Logic
A
To overcome twoliminations that we hae in propsitional logic
2
Q
What is the difference between propositional logic and predicate logic?
A
Propositional logic - Sentences are atomically presented
************Predicate Logic - Distinguishes************ the subject of a sentence from its predicate
3
Q
What are predicates?
A
- Describe a property of a thing
- Or a relationship between things
- Starts with a predicate followed by a set of args
4
Q
Explain Argments and Individual constants
A
- s,m are individual constants
- Denotes specific entities in the world (s = Shakespeare)
- Order of constants is important
- Can be a proposition due to the specific values allowing for a true or false result
- Can be combined together using logical connectives as they evaluate truth
5
Q
Whats the predicate calculus for this?
A
6
Q
What are arguments and individual variables?
A
- x,y are individual variables don’t have value
- Which result in ******true or false******
- DOES NOT have constant reference to a specific value
- Order is important and defined by how the predicate is defined
7
Q
What are the limitations of propositional logic?
A
8
Q
What are universes in Logic?
A
- Classes of things in logic
- Described through set notation
- AKA universe of discourse / domain of discourse
9
Q
What are existential quantifiers?
A
10
Q
What are universal qunatifiers?
A
11
Q
How do you write existential quantifiers?
A
12
Q
How do you write universal quantifiers?
A
13
Q
Write the notation for this quantifier
A
14
Q
Write the notation for this quantifier
A
