×

### Let's log you in.

or

Don't have a StudySoup account? Create one here!

×

or

## Discrete Math - Week 3

by: Aaron Maynard

44

1

2

# Discrete Math - Week 3 CS 2305

Marketplace > ComputerScienence > CS 2305 > Discrete Math Week 3
Aaron Maynard
UTD
GPA 3.5

Get a free preview of these Notes, just enter your email below.

×
Unlock Preview

These notes cover the topic Predicate Logic (First Order Logic) as well as the introduction to using universal and existential quantifiers.
COURSE
Discrete Math for Computing I
PROF.
Timothy Farage
TYPE
Class Notes
PAGES
2
WORDS
CONCEPTS
Math, Discrete math, Computer Science
KARMA
25 ?

## Popular in ComputerScienence

This 2 page Class Notes was uploaded by Aaron Maynard on Tuesday February 2, 2016. The Class Notes belongs to CS 2305 at a university taught by Timothy Farage in Spring 2016. Since its upload, it has received 44 views.

×

## Reviews for Discrete Math - Week 3

×

×

### What is Karma?

#### You can buy or earn more Karma at anytime and redeem it for class notes, study guides, flashcards, and more!

Date Created: 02/02/16
Discreet Math for Computing Aaron Maynard th Timothy Farage January 26 -28th, 2016 Predicate Logic (First Order Logic) Definition: A predicate is a propositional function. Its value is either true or false. F:R->R where F(x) = x 2 U x *N = {0, 1, 2, 3, …} P(x) = x > 7 Q(x,y) = x + y = 10 S(x): x is smart, U =x{women} Predicates can also be made into propositions using quantifiers. Definition: A formal expression used in asserting that a stated general proposition is true of all of the members of the delineated universe or class. Universal Quantifier: ∀ = fxr all x, for every x; Existential Quantifier: ∃ = xhere exists an x, there exists at least one x; Examples using s(x,y): x+y=10 U + U = Nx= {0,y1, 2, 3, …} ∃ x∃ *ys(x,y)] = There is a natural number x, there is a natural number y, such that x + y = 10. ∀ *∀ *[s(x,y)] = For every natural number x, for every natural number y, x + y = x y 10. ∀ x∃ *xs(x,y)] = For every natural number x, there exists a natural number y, x + y = 10. ∃ x∀ *xs(x,y)] = There is a natural number x, for every natural number y, x + y = 10. Examples using integers: P(x) = x is prime, U + U = N x y ∀ x[P(x) -> ∃ *yP(y) Λ(y>x)] = For every natural number x, if x is prime, then there is a natural number such that y is prime and y > x. Discreet Math for Computing Aaron Maynard th Timothy Farage January 26 -28th, 2016 U x U = ykitty cats} ∀ x For all x ∃ x There exists (at least one) x S(x): x is smart, D(x): x is destructive, C(x): x is cute, M(x): x is a tomcat, F(x): x is a female, T(x,y): x wants to mate with y ∃ xS(x): there exists a cat that is smart ∀ xC(x): All cats are cute ∃ [C(x)ΛD(x)]: There exists a cat that is cute and destructive x ∀ xS(x) -> ~D(x)]: All cats that are smart are not destructive ∀ x yM(x)ΛF(y) -> T(x,y)]: for all cats x, for all cats y, if x is a male tomcat and y is a female in heat, then x wants to mate with y U = U = U = ZΛ + (Positive Integers) x y z E(x): x is even, P(x): x is prime ∀ xE(x)Λ(x >= 4) -> ∃ ∃ [Py zΛP(z)Λ(X=y+z)]:for all evens >= 4, there are two prime numbers whose sum is equal to that even number

×

×

### BOOM! Enjoy Your Free Notes!

×

Looks like you've already subscribed to StudySoup, you won't need to purchase another subscription to get this material. To access this material simply click 'View Full Document'

## Why people love StudySoup

Bentley McCaw University of Florida

#### "I was shooting for a perfect 4.0 GPA this semester. Having StudySoup as a study aid was critical to helping me achieve my goal...and I nailed it!"

Janice Dongeun University of Washington

#### "I used the money I made selling my notes & study guides to pay for spring break in Olympia, Washington...which was Sweet!"

Bentley McCaw University of Florida

#### "I was shooting for a perfect 4.0 GPA this semester. Having StudySoup as a study aid was critical to helping me achieve my goal...and I nailed it!"

Parker Thompson 500 Startups

#### "It's a great way for students to improve their educational experience and it seemed like a product that everybody wants, so all the people participating are winning."

Become an Elite Notetaker and start selling your notes online!
×

### Refund Policy

#### STUDYSOUP CANCELLATION POLICY

All subscriptions to StudySoup are paid in full at the time of subscribing. To change your credit card information or to cancel your subscription, go to "Edit Settings". All credit card information will be available there. If you should decide to cancel your subscription, it will continue to be valid until the next payment period, as all payments for the current period were made in advance. For special circumstances, please email support@studysoup.com

#### STUDYSOUP REFUND POLICY

StudySoup has more than 1 million course-specific study resources to help students study smarter. If you’re having trouble finding what you’re looking for, our customer support team can help you find what you need! Feel free to contact them here: support@studysoup.com

Recurring Subscriptions: If you have canceled your recurring subscription on the day of renewal and have not downloaded any documents, you may request a refund by submitting an email to support@studysoup.com