Proposisi dina logika

Judgment - mangrupakeun bentuk pamikiran, tanpa nu eta moal bisa jadi pangaweruh. Judgments nganyatakeun hiji objek sambungan na ciri, maranéhanana mastikeun atawa mungkir ayana kualitas ieu dina barang ieu. Sabenerna, ieu gagasan, bentuk na, nu masihan terang ka urang ngeunaan hubungan objék, naha nu mangrupa judgment ngabogaan tempat husus di logika na pangwangunan ranté analitik.

Ciri tina judgments

Sateuacan urang lumangsungna klasifikasi judgments dina logika, urang kudu manggihan hiji bedana jelas antara judgment sarta konsép.

Konsep - nunjukkeun ayana objék. Konsep - a "poe", "wengi", "isuk", jeung sajabana A judgment sok ngajelaskeun ayana atanapi henteuna ciri - ". Rehe Peuting" "isuk Awal", "Poé Tiis",

Judgments sok dikedalkeun dina wangun kalimat déklaratif, komo deui, samemehna di grammar disebut usulan téh judgment. Usul nu expresses tanda judgment panggero, sarta nilai nawaran - éta hiji bohong atawa bebeneran. Hartina, dina judgments basajan tur kompléks diawaskeun logika jelas: nu usul supaya kufur atanapi mastikeun ayana ciri dina subjek.

Contona, bisa disebutkeun yén "Kabéh planét dina sistim tatasurya revolve sabudeureun sumbu na," na urang tiasa disebutkeun yen "Taya planét sistim tatasurya teu dibereskeun".

rupa judgments

Dina logika aya dua rupa judgments - basajan tur kompléks.

judgments basajan, keur dibagi kana bagéan teu kaci rasa logis, aranjeunna ngandung judgment hiji hijina dina sakabeh leupas. Contona: ". Matematika - ratu élmu" kalimah basajan ieu expresses hiji proposisi unik. jenis kompléks judgments logika denote sababaraha pamanggih béda, aranjeunna diwangun ku kombinasi basajan tina + kompléks basajan atawa judgments kompléks agrégat.

Contona: Lamun mimiti hujan isukan, urang moal balik kaluar ti kota.

Ciri utama hiji proposisi kompleks éta salah sahiji bagian na boga harti béda jeung misah ti bagian kadua proposal.

judgments rumit sarta jenis maranéhna

Dina logika judgments kompléks dijieun kombinasi judgments basajan. Éta téh ngagabung ku ranté logis - inklusif tumpukan, implication na equivalents. Nempatkeun éta saukur, éta kecap "jeung", "atawa", "tapi", "lamun ... lajeng".