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).
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
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
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
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
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
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
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
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
Introduction to Sets and Set Notation
This video defines a set, special sets, and set notation.
From playlist Sets (Discrete Math)
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
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
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
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
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
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
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
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
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)