Set theory and logic

14
The examples here show you how to use WolframAlpha for checking your work and exploring other examples. Set Theory and Logic Examples

TAGS:

description

Illustrates the syntax

Transcript of Set theory and logic

Page 1: Set theory and logic

The examples here show you how to use WolframAlpha for checking your work and exploring other examples.

Set Theory and Logic Examples

Page 2: Set theory and logic

‘venn diagram’ returns several examples for Logic and Set Theory.

http://www.wolframalpha.com/input/?i=venn+diagram&a=*C.venn+diagram-_*ExamplePage-
Page 3: Set theory and logic
Page 4: Set theory and logic

Note that on the previous slide the term ‘venn diagram’ caused the expression to be interpreted as a logical expression!

Page 5: Set theory and logic

One could avoid the musical notes!Note the different returns ‘for p intersection q’and ‘p and q’ on the next slide.

Page 6: Set theory and logic

A wealth of information including a Venn diagram.

Page 7: Set theory and logic

If a logical expression is entered much information is returned including a logic circuit and a Venn diagram as on the next slide

Page 8: Set theory and logic
Page 9: Set theory and logic
Page 10: Set theory and logic
Page 11: Set theory and logic

Use the logical functions such as ‘and’ and ‘or’ with ‘not’.

Page 12: Set theory and logic
Page 13: Set theory and logic
Page 14: Set theory and logic

Chapter 3: Set Theory and Logic - Wikispaces · elements in each set are added, ... 3-2 Chapter 3: Set Theory and Logic . ... Foundations of Mathematics 12 Solutions Manual 3-3 .

Chapter 3: Set Theory and Logic - Wikispaces · elements in each set are added, ... 3-2 Chapter 3: Set Theory and Logic . ... Foundations of Mathematics 12 Solutions Manual 3-3 .

Chapter 1 Logic and Set Theory - Duke Universitypfister.ee.duke.edu/courses/ece586/notes_ch1.pdf · 2 CHAPTER 1. LOGIC AND SET THEORY A rigorous analysis of set theory belongs to

Chapter 1 Logic and Set Theory - Duke Universitypfister.ee.duke.edu/courses/ece586/notes_ch1.pdf · 2 CHAPTER 1. LOGIC AND SET THEORY A rigorous analysis of set theory belongs to

Logic and the set theory - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec7.pdf · 2011-09-28 · Logic and the set theory Lecture 7, 8: Predicate Logic S. Choi Department

Logic and the set theory - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec7.pdf · 2011-09-28 · Logic and the set theory Lecture 7, 8: Predicate Logic S. Choi Department

An Overview of Logic, Proofs, Set Theory, and …...An Overview of Logic, Proofs, Set Theory, and Functions aBa Mbirika and Shanise Walker Contents 1 Numerical Sets and Other Preliminary

An Overview of Logic, Proofs, Set Theory, and …...An Overview of Logic, Proofs, Set Theory, and Functions aBa Mbirika and Shanise Walker Contents 1 Numerical Sets and Other Preliminary

SECOND ORDER LOGIC OR SET THEORY? 1. Introduction 1 2

SECOND ORDER LOGIC OR SET THEORY? 1. Introduction 1 2

MAT1202 SET THEORY: Week 1 · Introduction History of Set Theory 1.1 History of Set Theory Set theory is a branch of mathematical logic that studies sets, which informally are collections

MAT1202 SET THEORY: Week 1 · Introduction History of Set Theory 1.1 History of Set Theory Set theory is a branch of mathematical logic that studies sets, which informally are collections

Logic and the set theory - Lecture 20: The set theory (NS)mathsci.kaist.ac.kr/~schoi/Logiclec20.pdfLogic and the set theory Lecture 20: The set theory (NS) S. Choi Department of Mathematical

Logic and the set theory - Lecture 20: The set theory (NS)mathsci.kaist.ac.kr/~schoi/Logiclec20.pdfLogic and the set theory Lecture 20: The set theory (NS) S. Choi Department of Mathematical

First-order Set Theory Chapter 15 Language, Proof and Logic.

First-order Set Theory Chapter 15 Language, Proof and Logic.

Fuzzy Logic and Fuzzy Set Theory Based Edge Detection ...

Fuzzy Logic and Fuzzy Set Theory Based Edge Detection ...

MODELS OF SET THEORY Contents 1. First order logic and the

MODELS OF SET THEORY Contents 1. First order logic and the

Gödel vis-à-vis Russell: Logic and Set Theory to Philosophymath.bu.edu/people/aki/24+++.pdf · Gödel vis-à-vis Russell: Logic and Set Theory to Philosophy presumably the second

Gödel vis-à-vis Russell: Logic and Set Theory to Philosophymath.bu.edu/people/aki/24+++.pdf · Gödel vis-à-vis Russell: Logic and Set Theory to Philosophy presumably the second

Chapter 3: Set Theory and Logic. 3.1 Types of Sets and Set Notation.

Chapter 3: Set Theory and Logic. 3.1 Types of Sets and Set Notation.

Set Theory for Computer Science - Department of Computer ...gw104/STfCS2010.pdf · Set Theory for Computer Science ... Set Theory is indivisible from Logic where Computer Science

Set Theory for Computer Science - Department of Computer ...gw104/STfCS2010.pdf · Set Theory for Computer Science ... Set Theory is indivisible from Logic where Computer Science

Logic and the set theory - Lecture 11,12: Quantifiers (The ...mathsci.kaist.ac.kr/~schoi/Logiclec11-12.pdf · Logic and the set theory Lecture 11,12: Quantifiers (The set theory)

Logic and the set theory - Lecture 11,12: Quantifiers (The ...mathsci.kaist.ac.kr/~schoi/Logiclec11-12.pdf · Logic and the set theory Lecture 11,12: Quantifiers (The set theory)

logic and set theory

logic and set theory

Vaananen Secon Order Logic or Set Theory

Vaananen Secon Order Logic or Set Theory

Sheaf Logic, Quantum Set Theory and The Interpretation of Quantum Mechanics

Sheaf Logic, Quantum Set Theory and The Interpretation of Quantum Mechanics

Introduction to Logic & Set Theory Martin Russell EE1J2 Discrete Mathematics.

Introduction to Logic & Set Theory Martin Russell EE1J2 Discrete Mathematics.

NOTES ON SET THEORY - euclid.colorado.edueuclid.colorado.edu/~monkd/full.pdf · NOTES ON SET THEORY J. Donald Monk March 6, 2018 TABLE OF CONTENTS LOGIC 1. Sentential logic.....1

NOTES ON SET THEORY - euclid.colorado.edueuclid.colorado.edu/~monkd/full.pdf · NOTES ON SET THEORY J. Donald Monk March 6, 2018 TABLE OF CONTENTS LOGIC 1. Sentential logic.....1

Logic & Set Theory - Philadelphia University · Logic & Set Theory Revision Notes and ... Countable Sets, Cantor-Schroeder-Bernstein Theorem, Uncountable Sets ... The Structure of

Logic & Set Theory - Philadelphia University · Logic & Set Theory Revision Notes and ... Countable Sets, Cantor-Schroeder-Bernstein Theorem, Uncountable Sets ... The Structure of