×

### Let's log you in.

or

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

×

or

## Beginning Logic

by: Briana Cassin

18

0

0

# Beginning Logic MATH 10130

Briana Cassin
ND
GPA 3.65

Staff

These notes were just uploaded, and will be ready to view shortly.

Either way, we'll remind you when they're ready :)

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

×
Unlock Preview

COURSE
PROF.
Staff
TYPE
Class Notes
PAGES
0
WORDS
KARMA
25 ?

## Popular in Mathematics (M)

This 0 page Class Notes was uploaded by Briana Cassin on Sunday November 1, 2015. The Class Notes belongs to MATH 10130 at University of Notre Dame taught by Staff in Fall. Since its upload, it has received 18 views. For similar materials see /class/232700/math-10130-university-of-notre-dame in Mathematics (M) at University of Notre Dame.

×

## Reviews for Beginning Logic

×

×

### 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: 11/01/15
Math 10130 Lecture 32 9 April 2008 Last time Last time Last time Last time Last time We considered quantified formulas in several different contexts Last Last time We considered quantified formulas in several different contexts 0 Example 3X Vy Mxy where Mxy is interpreted as X g y Last Last time We considered quantified formulas in several different contexts 0 Example 3X Vy Mxy where Mxy is interpreted as X g y true when the domain of discourse is the set of natural numbers N Last Last time We considered quantified formulas in several different contexts 0 Example 3X Vy Mxy where Mxy is interpreted as X g y true when the domain of discourse is the set of natural numbers N false when the domain of discourse is the set of integers Z Last Last time We considered quantified formulas in several different contexts 0 Example 3X Vy Mxy where Mxy is interpreted as X g y true when the domain of discourse is the set of natural numbers false when the domain of discourse is the set of integers Z 0 Principle Truth or falsity of a statement depends on the context Alternation of Quantlflers Alternation of Quantlflers Consider the following structure Alternation of Quantifiers Consider the following structure Domain of discourse people Alternation of Quantifiers Consider the following structure Domain of discourse people Mxy stands for X loves y Alternation of Quantifiers Consider the following structure Domain of discourse people Mxy stands for X loves y Q Do VX 3y Mxy and y VX Mxy express the same proposition Comparing the two formulas Comparing the two formulas VX 3y Mxy says For each person X there is a y such that X loves y Comparing the two formulas VX 3y Mxy says For each person X there is a y such that X loves y In other words Everybody loves somebody EN VX 3y Mxy says For each person X there is a y such that X loves y In other words Everybody loves somebody 3y VX Mxy says There is a person y such that for all persons X X oves y I mizgn karma Xi rr39 392 VX 3y Mxy says For each person X there is a y such that X loves y In other words Everybody loves somebody 3y VX Mxy says There is a person y such that for all persons X X loves y In other words Somebody is loved by everybody A tough example A tough example Domain of discourse the set of natural numbers N A tough example Domain of discourse the set of natural numbers N Mxy stands for X g y A tough example Domain of discourse the set of natural numbers N Mxy stands for X g y Let39s discuss this beast of a formula Domain of discourse the set of natural numbers N Mxy stands for X g y Let39s discuss this beast of a formula VX Vy Mxyamp x y Hz szamp x z ampszamp z I mizgfw Lawn A huge syntactic tree A huge syntactic tree VX Vy Mxyamp x y Hz szamp x z ampszamp z A huge syntactic tree VX Vy Mxyamp x y Hz szamp x z ampszamp z Vy Mxyamp x y Hz szamp x zampszamp z VX Vy Mxyamp x y Hz A Ixzamp x z ampszamp z Vy Mxyamp x y Hz szamp x zampszamp z Mxyamp x y Hz szamp x z ampszamp z y I 139 Lugrum VX Vy Mxyamp x y Hz A Ixzamp x z ampszamp z Vy Mxyamp x y Hz szamp x zampszamp z Mxyamp x y Hz szamp x z ampszamp z y Mxyamp x y Hz szamp x z ampszamp z y I miz Lugrum A hwgg gym ggm VX Vy Mxyamp x y Hz szamp x z ampszamp z Vy Mxyamp x y Hz szamp x zampszamp z Mxyamp x y Hz szamp x z ampszamp z y Mxyamp x y Hz szamp x z ampszamp z y szamp x z ampszamp z y I miz Lugrum A hwgg gym ggm VX Vy Mxyamp x y Hz szamp x z ampszamp z Vy Mxyamp x y Hz szamp x zampszamp z Mxyamp x y Hz szamp x z ampszamp z y Mxyamp x y Hz szamp x z ampszamp z y szamp x z ampszamp z y szamp x z szamp z y I miz Lugrum VX Vy Mxyamp x y Hz szamp x zampszamp z 6 Vy Mxyamp x y Hz szamp x zampszamp z Mxyamp x y Hz szamp x zampszamp z y Mxyamp xy 1 Hz szamp xzampszamp zY 5 szamp x z ampszamp z y 4 szamp x z 2 szamp z y 3 I miz Lugrum Breaking down the formula Breaking down the formula 1Mxyamp x y says X lt y Breaking down the formula 1Mxyamp x y says X lt y 2 szamp x 2 says X lt z Breaking down the formula 1Mxyamp x y says X lt y 2 szamp x 2 says X lt z 3 szamp z y says 2 lt y Breaking down the formula 1Mxyamp X y says X lt y 2 MXZamp X 2 says X lt z 3 szamp z y says 2 lt y 4 MXZamp X zampszamp z y says X lt z and z lt y or X lt z lt y

×

×

### 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

Steve Martinelli UC Los Angeles

#### "There's no way I would have passed my Organic Chemistry class this semester without the notes and study guides I got from StudySoup."

Anthony Lee UC Santa Barbara

#### "I bought an awesome study guide, which helped me get an A in my Math 34B class this quarter!"

Steve Martinelli UC Los Angeles

Forbes

#### "Their 'Elite Notetakers' are making over \$1,200/month in sales by creating high quality content that helps their classmates in a time of need."

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