Mathematical logic

Hintikka set

In mathematical logic, a Hintikka set is a set of formulas whose elements satisfy the following properties: 1. * An atom or its conjugate can appear in the set but not both, 2. * If a formula in the set has a principle operator that is "conjuctive-type", then its two operands appear in the set, 3. * If a formula in the set has a principle operator that is "disjuntive-type", then at least one of its two operands appears in the set. The exact meaning of "conjuctive-type" and "disjunctive-type" is defined by the method of semantic tableaux. Hintikka sets arise when attempting to prove completeness of propositional logic using semantic tableaux. They are named after Jaakko Hintikka. (Wikipedia).

Video thumbnail

Set Game

SET is an awesome game that really gets your brain working. Play it! Read more about SET here: http://theothermath.com/index.php/2020/03/27/set/

From playlist Games and puzzles

Video thumbnail

Set Theory (Part 2): ZFC Axioms

Please feel free to leave comments/questions on the video and practice problems below! In this video, I introduce some common axioms in set theory using the Zermelo-Fraenkel w/ choice (ZFC) system. Five out of nine ZFC axioms are covered and the remaining four will be introduced in their

From playlist Set Theory by Mathoma

Video thumbnail

What is a set: Basics of sets and quantifiers in math | Intro to Math Structures VS1.2

I'm sort of going to tell you what a set is while avoiding the ZFC axioms. This video has some exercises dispersed through it and goes through the basics of sets in math. In particular we'll go through basic notation, the union, intersection, set difference, complement, and symmetric diff

From playlist The CHALKboard 2022

Video thumbnail

The perfect number of axioms | Axiomatic Set Theory, Section 1.1

In this video we introduce 6 of the axioms of ZFC set theory. My Twitter: https://twitter.com/KristapsBalodi3 Intro: (0:00) The Axiom of Existence: (2:39) The Axiom of Extensionality: (4:20) The Axiom Schema of Comprehension: (6:15) The Axiom of Pair (12:16) The Axiom of Union (15:15) T

From playlist Axiomatic Set Theory

Video thumbnail

Set Theory (Part 3): Ordered Pairs and Cartesian Products

Please feel free to leave comments/questions on the video and practice problems below! In this video, I cover the Kuratowski definition of ordered pairs in terms of sets. This will allow us to speak of relations and functions in terms of sets as the basic mathematical objects and will ser

From playlist Set Theory by Mathoma

Video thumbnail

Set Notation | Numbers | Maths | FuseSchool

A set, informally, is a collection of things considered to be a single object. Set notation requires the use of curly brackets and the objects within these brackets are called the ‘elements’ of the set. The elements in a set do not need to be in any order, but we will typically see numeric

From playlist MATHS: Numbers

Video thumbnail

Introduction to sets || Set theory Overview - Part 1

A set is the mathematical model for a collection of different things; a set contains elements or members, which can be mathematical objects of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other #sets. The #set with no element is the empty

From playlist Set Theory

Video thumbnail

Introduction to sets || Set theory Overview - Part 2

A set is the mathematical model for a collection of different things; a set contains elements or members, which can be mathematical objects of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other #sets. The #set with no element is the empty

From playlist Set Theory

Video thumbnail

Introduction to Sets and Set Notation

This video defines a set, special sets, and set notation.

From playlist Sets (Discrete Math)

Video thumbnail

Power Set of the Power Set of the Power Set of the Empty Set | Set Theory

The power set of the power set of the power set of the empty set, we'll go over how to find just that in today's set theory video lesson! We'll also go over the power set of the empty set, the power set of the power set of the empty set, and we'll se the power set of the power set of the p

From playlist Set Theory

Video thumbnail

Set Theory (Part 1): Notation and Operations

Please feel free to leave comments/questions on the video and practice problems below! In this video series, we'll explore the basics of set theory. I assume no experience with set theory in the video series and anyone who's "been around town" in math should understand the videos. To make

From playlist Set Theory by Mathoma

Video thumbnail

Hereditarily finite sets

In this video I give an implementation of the power set operation for a crude notion of sets. I then use it to general the hereditarily finite set. I'm motivated both by providing a nice elaboration of a simple model of the ZFC axioms as well as giving a bridge to talk about the AVL-tree d

From playlist Programming

Video thumbnail

What is the Power Set of the Empty Set? | Set Theory

What is the power set of the empty set? We will answer this question in today’s math lesson! We will write the empty set like so: { }. Recall that the power set of a set A is the set containing all subsets of A. So, for example, P({ 1 }) = { { }, { 1 } }. Also, recall that if the cardinali

From playlist Set Theory

Video thumbnail

SUBSETS AND POWER SETS - DISCRETE MATHEMATICS

Today we look at subsets and power sets. This includes the empty set, and the power set of the empty set. Support me on Patreon: http://bit.ly/2EUdAl3 Visit my website: http://bit.ly/1zBPlvm Subscribe on YouTube: http://bit.ly/1vWiRxW *--Playlists--* Discrete Mathematics 1: https://www.y

From playlist Discrete Math 1

Video thumbnail

Find All Subsets of a Set (Example Problems) | Set Theory Exercises

How do you find all subsets of a given set? We go over eight subset example problems in today's lesson, including sets with the empty set, the empty set itself, sets with strange elements like the real numbers and the rationals, and more. We also briefly mention power sets, and the number

From playlist Set Theory

Video thumbnail

Sets (data structure) - Beau teaches JavaScript

See how the set data structure can be implemented. Also learn about the es6 Set object. Code: 🔗 http://codepen.io/beaucarnes/pen/dvGeeq?editors=0012 More information: 🔗 https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Set Beau Carnes on Twitter: https://

From playlist Data Structures and Algorithms - Beau teaches JavaScript

Video thumbnail

What is a closed set ?

I define closed sets, an important notion in topology and analysis. It is defined in terms of limit points, and has a priori nothing to do with open sets. Yet I show the important result that a set is closed if and only if its complement is open. More topology videos can be found on my pla

From playlist Topology

Video thumbnail

Determine Sets Involving Unions, Intersections, and Compliments Using a Venn Diagram

This video explains how to determine a variety of sets involving intersections, unions, and compliments using a Venn diagram.

From playlist Sets (Discrete Math)

Related pages

Jaakko Hintikka