Predlog je koncept z različnimi uporabami. To je lahko manifestacija nečesa, tako da drugi posamezniki poznajo namen, konkretizacijo predloga ali izjavo, ki je lahko napačna ali resnična.

Obstajajo nekatere izjave, ki jih na prvi pogled ne moremo predvideti, saj je v njihovi vsebini vsaj ena spremenljivka, katere vrednost ni znana. Po opazovanju in analiziranju je mogoče izvesti potrebne izračune, da bi našli eno od vrednosti, ki jo lahko zamenja, da bi lahko končno lahko zagotovili, da je predlog resničen ali neresničen.

V nekaterih primerih lahko spremenljivke nadomestimo z več kot eno vrednostjo, ki so del niza, ki se imenuje domena spremenljivke . Zaporedje, ki ga tvorijo elementi te domene, ki vrnejo pravi odprti predlog, imenujemo reševalni sklop odprtega predloga .

Povezovalni matematični predlog

Ko sta dva simbola združena s simbolom veznika (^), govorimo o konjunktivnem predlogu, ki mora izpolnjevati naslednji pogoj : lahko ima samo resnično vrednost, če sta njegovi dve komponenti resnični; po drugi strani pa, če vsaj ena od njih daje napačno vrednost, potem je konjunktivna trditev napačna.

Ker gre za razmerje med dvema nizoma, je mogoče določiti tudi tiste elemente, ki so del obeh področij spremenljivk, ki pripadajo presečnemu nizu obeh matematičnih predpostavk.

Disjunktivni matematični predlog

V tem primeru sta povezana tudi dva predloga, vendar se uporablja nasprotni simbol, ki ga lahko beremo kot besedo "o", ker predlaga odnos, za katerega je značilna naslednja zahteva: disjunktivni predlog ima lahko samo resnično vrednost. če sta njeni dve komponenti napačni, vendar je dovolj, da je ena od njih resnična, tako da je prva resnična.

Posledice

Ta tip matematičnega predloga se imenuje tudi pogojno in je sestavljen iz povezave, ki se zgodi, če je resnično naslednje: napačna je le, ko je prvi predlog (imenovan antecedent ) resničen in drugi ( posledični ) napačen; kateri koli drugi primer bo imel za posledico resnično vrednost.