Pengadilan ing logika. Apa ana pangadilan, ing jinis pengadilan

pangadilan punika wangun saka pikiran, nengenaken utawa lali apa-apa bab anane obyek, pranala antarane wong-wong mau lan sifat, sarta hubungan ing antarané obyèk.

Conto statements: "Ing Volga mili menyang Segara Kaspia," "AS Pushkin wrote geguritan "Ing Bronze Horseman", "macan Siberian kadhaftar ing Red Book," etc.

Struktur pangadilan

Paukuman kalebu unsur ing ngisor iki: subyek, predikat, lan ligamentum quantifier.

1. Subject (lat subjektum -. «Ndasari») - sing, minangka nyatakake ing pangadilan, sawijining subyek ( «S»).
2. The predikat (Latin praedicatum -. «Said") - bayangan saka tag obyek, apa wis ngandika ing subyek saka paukuman ( "P").
3. Gerakan - rasio antarane subyek ( «S») lan predikat ( "P"). Nemtokake ngarsane / anané saka topik properti ditulis minangka predikat a. Mungkin iku katut, lan dituduhake dening "mlayu" utawa tembung "a" ( "ora"), "wis", "duwe", "zat", lan liya-liyane.
4. Quantifier (tembung quantifier) nemtokake orane katrangan saka konsep, kanggo kang subyek saka paukuman. Iku wis ngadeg ing ngarepe subyek, nanging uga ora teka ing pangadilan. Dilambangaké tembung kayata "kabeh", "akeh", "sawetara", "ora", "ora", lan liya-liyane.

statements bener lan palsu

Paukuman iku bener ing kasus ngendi ana apa pratondo, situs lan sesambetan item disetujoni / rek ing pangadilan, bener. Contone: "Kabeh swallows - manuk", "9 luwih saka 2" lan ing ..

Yen statement sing ing paukuman, ana sing ora, kita dealing karo rencana palsu 'srengenge revolves ngubengi bumi, "" A kilo saka wesi abot saka kilogram saka katun "lan paukuman tengen sing basis nalar bener ..

Nanging, saliyane logika loro-rego, kang paukuman bisa dadi salah siji bener utawa palsu, ana uga sing logika multi-dimensi. Miturut syarat-syarat sawijining, pangadilan uga isih durung cetha. Utamané nyangkut mangsa pengadilan individu, "Besok mengkono / ora kelakon sing perang laut" (Aristoteles, "Ing interpretasi"). Yen kita nganggep yen iki rencana bener, ing perang segara sesuk ora bisa kelakon. Mulane, iku perlu kanggo wis kelakon. Utawa kosok balene: ngakoni yen pangadilan ing wayahe saiki iku palsu, kita mangkono apa Leave perlu sesuk kang perang segara.

Pengadilan ing jinis statement

Minangka dikenal, jinis statements tigang jinis sentences: declarative, agitation lan pitakonan. Contone, ukara ing "Aku elinga wayahe apik" nuduhake jinis narasi. Sampeyan saranake kanggo suggest sing paukuman kuwi uga bakal narasi. Kaca kiye isine informasi tartamtu, miturut acara tartamtu.

Ing siji, ukara interrogative ngandhut pitakonan, njaluk jawaban kanggo: "Apa ora ditahan mangsa kanggo kula," Ing wektu sing padha ngandika apa-apa lan ora lali. Patut, pratelan sing paukuman kuwi pitakonan salah. ukara Interrogative, ing asas, ora ngemot pangadilan wae amarga pitakonan ora bisa dibedakaké ing basis saka bebener / falsity.

jinis nyurung saka ukara iki kawangun ing cilik endi ana sawetara nyurung kanggo tumindak, nyuwun ban: ". Ngadega, O Nabi, lan gangbang blowjob, lan rawuh kanggo" Kanthi gati kanggo paukuman, ing mratelakake panemume, sawetara peneliti, lagi ora ana ing usulan-usulan saka jinis iki. Wong sing pracaya iku macem-macem pengadilan pengandaian.

kualitas pangadilan

Ing syarat-syarat kualitas, paukuman lan bisa dadi salah siji akur (S P), lan negatif (S ora P). Ing cilik saka paukuman akur, liwat subyek predikat ditempelake menyang property tartamtu (-wa). Contone: ". Leonardo da Vinci - Italia pelukis, arsitek, pemahat, ilmuwan, naturalis lan panemu lan penulis, wakil paling gedhé saka Renaissance seni"

Ing pangadilan negatif, ing tangan liyane, bisa dijupuk langsung saka subyek: ". Teori pigura 25th James Vicary wis konfirmasi eksperimen"

watak jumlah

Pengadilan ing logika uga umum (hubungane kabeh obyek saka kelas iki), pribadi (sawetara) lan unit (yen ngomong bab subyek, ana mung siji). Contone, bisa ndhukung yen rencana kayata "Ing wengi kabeh cats abu" bakal deleng umum katon, amarga mengaruhi kabeh anggota saka cat (subyek saka paukuman). Disetujoni saka "Sawetara snakes ora poisonous" - conto pangadilan pribadi. Ing siji, pangadilan "Dnieper Apik ing kalem cuaca" punika unit a, awit kita ngomong bab siji kali tartamtu, ana ing wangun tunggal.

pengadilan prasaja lan Komplek

Gumantung ing struktur, paukuman lan bisa dadi saka jinis prasaja utawa komplèks. Struktur pangadilan prasaja kalebu rong konsep interconnected (SP): «Book - sumber kawruh". Ana uga angger-angger karo siji konsep - nalika kaloro mung: "Sampeyan iki njupuk peteng» (P).

wangun rumit iki kawangun dening gabung saperangan pangadilan prasaja.

Klasifikasi pengadilan prasaja

pengadilan prasaja ing logika uga saka wangun-wangun: attributive, pangadilan karo sesambetan, eksistensial, pengandaian.

Atribut (property-paukuman) dikirim kanggo disetujoni / ngaku saka subyek ing tartamtu (kawicaksanan) aktivitas. pengadilan iki wangun wonten lan ora ditakokake, "sistem gemeter mamalia kasusun saka otak otak, sumsum balung mburi lan syaraf dalan metu."

Ing pengadilan nganggo mawang hubungan tartamtu antarane obyek. Padha bisa duwe context spatio-Temporal, Indonésia, lan sapiturute Contone :. "kanca lawas luwih saka loro anyar", "Hidrogen karbon dioksida korek dening 22 kaping."

Eksistensial pangadilan - tuntutan iki saka orane / nonexistence saka subyek (loro materi lan becik): "Ana nabi ing negara dhewe", "Bulan punika satelit bumi."

Modal rencana - wangun disetujoni, kang klebu ing ngarsane operator pengandaian tartamtu (kudu apik / ala, mbuktekaken dikenal / dingerteni, iku pareng, aku pracaya, lan liya-liyane.). Contone:

• "Rusia perlu kanggo tumindak pembaharuan pendidikan" (alethic modality - kamungkinan, pendjalok soko).
• "Saben uwong nduweni hak keamanan wong" (modality deontic - aturan moral saka tumindak sosial).
• "Nglirwakaké saka properti negara ndadékaké kanggo mundhut sawijining" (axiologic modality - related kanggo bahan lan nilai moral).
• "We pracaya ing kesucian Panjenengan" (epistemic modality - linuwih kawruh).

pengadilan Komplek lan jinis connectives logis

Minangka wis kasebut, ing pengadilan Komplek kalebu sawetara prasaja. Minangka sambungan logis antarane wong-wong mau sing cara kayata:

• Magepokan (a ʌ b - nyambungake pengadilan). Pengadilan-conjuncts duwe Bunch saka "lan", "Implementasi saka hak-hak lan kabebasan-kabebasan wong lan warga ora bakal nglanggar hak lan kabebasan-kabebasan uwong liyane."
• Disjunction (avb - misahake pengadilan). Minangka unsur anggota saka ing paukuman-klausa digunakake minangka Binder - magepokan "utawa". Contone: "penggugat nduweni hak kanggo nambah utawa nyuda ukuran pratelan."
• Sarehne (a → b - paukuman-efek). Yen posting wis diparengake ing struktur rumit pangadilan lan Akibate, iku bisa ndhukung sing paukuman kuwi hubungane kanggo implicative. Minangka Binder digunakake ing wangun saka hubungan kayata "yen ... banjur". Contone: "Yen liwat dirijen kanggo kantun saiki listrik, kabel heats munggah," "Apa kowe arep dadi seneng - seneng".
• Padanan (a ≡ b - pangadilan memper). Iku njupuk Panggonan ing cilik endi nilai-nilai lan b iku padha (salah siji bener utawa loro palsu): "Man digawe kanggo rasa seneng, kaya manuk mabur."
• Negation (¬a, A - paukuman-bantahan). Saben sumber digandhengake karo statement senyawa statement sing nolak asli. Kanthi nggunakake "ora" Bunch. Patut, yen statement asli minangka nderek: "Bull The ditanggepi cahya abang," (a) - ora ngaku bakal muni kaya: "Bull ora nanggapi kanggo cahya abang" (¬A).