MathType
WirisQuizzes
Learning Lemur
CalcMe
MathPlayer
Store FAQ
VPAT for the electronic documentation
MathFlow
BF FAQ
Miscellaneous
Wiris Integrations

Logic and sets

Reading time: 1min

You can verify whether a statement is true or false. Use it to test identities, for example. There are logical (Boolean) operators which you can use to combine statements. You can make statements about sets. There are two types of them:

finite sets: a list of elements inside curly brackets, such as {1,2,3}.
standard number sets: represented by standard symbols, for example, R.

You can make operations with the finite sets but not with the others. You can also work with intervals and do operations with them.

Intervals
	The interval (a,b), that is all the numbers x between a and b: a<x<b.
	The interval (a,b], that is all the numbers x between a and b including b: a<x≤b.
	The interval [a,b), that is all the numbers x between a and b including a: a≤x<b.
	The interval [a,b], that is all the numbers x between a and b including both a and b: a≤x≤b.

The main operations you can perform are described below.

Logic and sets
Actions
	Verify
Buttons about logic
	Equal to
	Not equal to
	Less-than sign
	Greater-than sign
	Less than or equal to
	Greater than or equal to
	Logical and
	Logical or
Buttons about sets
	List
	Element of
	Contains as member
	Union
	Intersection
	Set minus
	Natural numbers
	Integer numbers
	Rational numbers
	Real numbers
	Complex numbers

Logic and sets

Related Articles