Dómur er ein af formum hugsunar, án þess að vitund getur ekki átt sér stað. Dómar tjá sambandi hlutar og einkennandi, þeir staðfesta eða afneita tilvist þessa eiginleika í tilteknu hlutverki. Reyndar er þetta hugsunin, form hennar, sem segir okkur um tengingu á hlutum, og þess vegna er dómur með sérstökum stað í rökfræði og byggingu greiningartækja.
Einkenni dóma
Áður en við höldum áfram að flokka dóma í rökfræði, þurfum við að finna skýran greinarmun á dómgreind og hugmynd.
Hugmyndin - talar um viðveru hlutar. Hugmyndin er "dagur", "nótt", "morgun" o.fl. Og dómurinn lýsir alltaf nærveru eða fjarveru einkenna - "Early Morning", "Cold Day", "Quiet Night".
Dómstólar eru alltaf settar fram í formi frásagnar setningar, auk þess sem fyrr í málfræði var kjarna setninganna kallað dóm. Setning sem tjáir dóm er kallað tákn og mjög merking setningar er lygi eða sannleikur. Það er í báðum einföldum og flóknum dóma, er skýr rökfræði fylgst: Tillagan neitar eða staðfestir viðveru einkenna hlutarins.
Til dæmis getum við sagt að "Öll pláneturnar í sólkerfinu snúast um ása þeirra" og við getum sagt að "Ekkert pláss sólkerfisins er óbreytt."
Tegundir dóma
Í rökfræði eru tvær tegundir dóma - einföld og flókin.
Einföld dómar, skipt í hluta geta ekki verið rökrétt merking, þau innihalda aðeins dóm í óaðskiljanlegu heild. Til dæmis: "Stærðfræði er drottning vísinda". Þessi einfalda setning gefur til kynna eitt tillögu. Flóknar gerðir dóma í
Til dæmis: Ef það rignir á morgun, munum við ekki fara út úr bænum.
Helstu einkenni flókinnar dómgreindar eru að eitt af hlutum hennar hefur aðra merkingu og sérstaklega frá seinni hluta setningarinnar.
Flóknar dómar og gerðir þeirra
Í rökfræði eru flóknar dómar gerðar með samsetningu einfaldra dóma. Þeir eru tengdir með rökréttum keðjum - conjunctions, implication and equivalence. Í einföldum orðum eru þetta stéttarfélög "og", "eða", "en", "ef ... það".