Множество е:

Множество, което не съдържа нито един елемент, се нарича:

Множествата, чийто елементи са числа и наричаме числови множества, се означават с:

Двучленна релация е:

Вярно ли е, че:

Ако a принадлежи на I, b принадлежи на I, то а/b принадлежи на I.

Вярно ли е, че:

Ако a принадлежи на Q, b принадлежи на I, то ab принадлежи на I.

Вярно ли е, че:

Ако a принадлежи на Q, b принадлежи на I, то a-b принадлежи на I.

Релация се означава с буквите:

Релацията ρ, дефинирана в множеството А, се нарича релация на строга наредба, ако притежава свойствата:

Подмножеството на А, което съдържа всички елементи, имащи съответен елемент от В, се нарича:

Множество от стойности на функцията се означава с:

Какви свойства притежават алгебричните операции:

Едно множество е крайно, когато:

Кои свойства притежава релацията равномощност на множествата?

Едно множество е изброимо, когато:

Мисъл, за която може да се каже дали е вярна или невярна, се нарича:

Дизюнкцията е:

Конюнкцията на двете съждения е вярна, когато:

Общовалиден, неизпълним, неутрален могат да бъдат:

Символът за еквивалентност е:

Символът на релация е:

Всяка функция f, дефинирана в множеството D и приемаща стойност от множеството на съжденията S, се нарича:

Кои логически операции са въведени за съждителните функции?

Основни видове математически твърдения са аксиомите и теоремите.

Операцията, при която по две дадени числа се намира техния сбор, се нарича:

Операцията, при която по две дадени естествени числа a и b, се намира тяхното частно, се нарича:

Естественото число, което дели едновременно няколко естествени числа, се нарича:

Всяко естествено число, което се дели без остатък на няколко естествени числа, се нарича:

Делимото се получава като: