Home
Subjects
Explanations
Create
Study sets, textbooks, questions
Log in
Sign up
Upgrade to remove ads
Only $2.99/month
Discreet math 1.5
STUDY
Flashcards
Learn
Write
Spell
Test
PLAY
Match
Gravity
Terms in this set (7)
Nested Quantifiers
A logical expression with more than one quantifier that bind different variables in the same predicate
What to do to prove nested quantifiers or just normal ones false
What you do is state whether the statement is true or false by solving it like an equation where is finding where the statement is wrong
¥x¥t Q(x,y)
States if you wanted to prove it false "find an x and a y in Q(x,y) is false"
Ex¥y Q(x,y)
Prove thag no matter which "x" you pick you can always find a "y" such that Q(x,y) is false
¥xEy Q(x,y)
The same answer of Ex¥y Q(x,y) but adapting it differently to fit, and is equivalant as well
ExEy Q(x,y)
Find an "x" so that no matter which "y" you choose Q(x,y) will be false
Negation
Flips the formula around
Sets with similar terms
Data Structure Run-time Complexities
29 terms
Transition Words (prueba)
6 terms
SP 3 Beginning of year Students create R…
60 terms
imperfect tense
30 terms
Other sets by this creator
ITIL V4 Question
56 terms
ITSM QuickStart Guide
79 terms
Discreet math formulas to memorize
3 terms
Discreet Math 1.4
3 terms