Tuomio logiikassa

Tuomio on yksi ajattelun muodoista, joita ilman kognitiota ei voi tapahtua. Tuomarit ilmaisevat kohteen ja ominaisuuden suhdetta, ne vahvistavat tai kiistävät tämän laatun olemassaolon tietyssä asiassa. Itse asiassa tämä on ajatus, sen muoto, joka kertoo esineiden yhteydestä, ja siksi tuomio pitää erityisen paikkansa logiikassa ja analyyttisten ketjujen rakentamisessa.

Tuomioiden ominaisuudet

Ennen kuin luokittelemme tuomit logiikkaan, meidän on löydettävä selkeä erottelu tuomion ja käsitteen välillä.

Käsite - puhuu esineen läsnäolosta. Käsite on "päivä", "yö", "aamu" jne. Ja tuomiossa kuvataan aina ominaisuuksien läsnäolo tai puuttuminen - "Early Morning", "Cold Day", "Hiljainen yö".

Tuomiot ilmaistaan ​​aina narratiivisin lausein, ja lisäksi kieliopin aikaisemmin lauseiden olemusta kutsuttiin tuomiseksi. Lause, joka ilmaisee tuomiota, kutsutaan merkiksi, ja lauseen hyvin merkitys on valhe tai totuus. Tämä tarkoittaa, että sekä yksinkertaisissa että monimutkaisissa tuomioissa seurataan selkeä logiikka: ehdotus kieltää tai vahvistaa kohteen ominaisen ominaisuuden.

Voimme esimerkiksi sanoa, että "kaikki aurinkokunnan planeetat pyörivät ympäriinsä", ja voimme sanoa, että "mikään aurinkokunnan planeetta ei ole kiinteä."

Tuomiotyypit

Logiassa on kahdenlaisia ​​tuomioita - yksinkertaisia ​​ja monimutkaisia.

Yksinkertaiset tuomiot, jotka jaetaan osiin, eivät voi olla looginen merkitys, vaan ne sisältävät tuomion vain erottamattomasti kokonaisuudessaan. Esimerkiksi: "Matematiikka on tieteiden kuningatar". Tämä yksinkertainen lause ilmaisee yhden ehdotuksen. Monimutkaiset tuomiot vuonna 2003 logiikka tarkoittaa useita erilaisia ​​ajatuksia, ne koostuvat yksinkertaisten, yksinkertaisten tai monimutkaisten tai monimutkaisten tuomioiden yhdistelmistä.

Esimerkiksi: Jos huomenna satoi, emme pääse ulos kaupungista.

Monimutkaisen tuomion pääominaisuus on se, että yksi sen osista on erilainen merkitys ja erillään lauseen toisesta osasta.

Monimutkaiset tuomiot ja niiden lajit

Loogisissa, monimutkaisissa tuomioissa tehdään yksinkertaisten tuomioiden yhdistelmiä. Ne ovat sidoksissa loogisilla ketjuilla - sidoksilla, implikaatiolla ja vastaavuudella. Yksinkertaisin sanoin nämä ovat liittoja "ja", "tai", "mutta", "jos ... että".