Предложението е концепция с различни приложения. Тя може да бъде проявление на нещо, така че други индивиди да знаят намерение, конкретизация на предложение или изявление, което може да бъде невярно или вярно.

Има някои твърдения, на които на пръв поглед не можем да предвидим тяхната истинност, тъй като в тяхното съдържание има поне една променлива, чиято стойност е неизвестна. След като я наблюдаваме и анализираме, могат да се извършат необходимите изчисления, за да се намери една от стойностите, които могат да я заменят, за да може най-накрая да се гарантира, че предложението е вярно или невярно.

В някои случаи променливите могат да бъдат заменени с повече от една стойност, които са част от набор, който се нарича домейн на променливата . На свой ред, множеството, което се формира от елементите на тази област, които връщат истинското открито предложение, се нарича решение на множеството на откритото предложение .

Конюктивно математическо предложение

Когато две предложения са свързани чрез символа на връзка (^), ние говорим за конюнктивно предложение, което трябва да отговаря на следното условие : то може да има истинска истинска стойност, ако двата му компонента са верни; от друга страна, ако поне една от тях даде фалшивата стойност, то конюнктивната позиция е невярна.

Тъй като това е връзката между две групи, също така е възможно да се определят онези елементи, които са част от двете области на променливи, които принадлежат към множеството на пресичане на двете математически предложения.

Дизюнктивно математическо предложение

В този случай са свързани и две предложения, но се използва обратният символ, който може да се чете като думата "о", тъй като предлага връзка, характеризираща се със следното изискване: дизъюнктивното предложение може да има само истинска стойност ако двата му компонента са фалшиви, докато е достатъчно, че едно от тях е вярно, така че първото да е вярно.

въвличане

Този тип математическо предложение се нарича условно и се състои от връзка, която се осъществява, ако е вярно следното: то е невярно само когато първото твърдение (наречено antecedent ) е вярно и второто ( последващо ) е невярно; всеки друг случай ще доведе до истинска стойност.