Logika propositional

Pikeun nangtukeun istilah "propositional logika", perlu ngartos jelas naon a "pernyataan".

Ku kituna, pernyataan éta téh kalimah a, rengking grammatically bener, tur aya palsu atawa bener. Pamanggih ieu kudu nganyatakeun harti nu tangtu. Contona, frase "manuk Kanaria ngabogaan" kaasup komponén di handap: "Kanaria" jeung "manuk".

Éta pisan sababna naha salah sahiji konsep awal konci logika na nu nyebutkeun. konsep ieu kudu ngajelaskeun kaayaan spésifik nu pernyataan kasebut boh hal atawa panolakan.

Hal ieu dianggap mangrupa pernyataan leres, upami garis kanyataanana disusud tina kaayaan keur circumscribing. Ku sorangan, "palsu" jeung "leres" nangtukeun bebeneran tina pernyataan.

logika Propositional diwangun ku ungkapan basajan tur kompléks. Ku kituna, ngan pikir pernyataan yén teu kaasup dina komposisi ungkapan sejen na. Jeung ka komplek kaasup ungkapan nu diturunkeun ti basajan, pernyataan disambungkeun logis.

logika propositional klasik bisa digambarkeun ku tiori umum tina deduksi. Éta nu bagian tina logika, nu ngajelaskeun teu gumantung kana pernyataan ti sambungan logis tina ungkapan basajan.

Teu nyabit konjungsi - a dalil hésé diala ku ngagabungkeun dua ungkapan basajan maké kecap "jeung". Kabeneran ditéang nu mastikeun yén sakabéh pernyataan kaasup dina struktur na. Bisi nu mana sahenteuna salah sahiji anggotana anu palsu, sakabeh ditéang téh tanda "bohong."

Sorangan mangrupakeun ditéang pikeun ngabentuk pernyataan kompléks, nu dumasar kana asumsi ieu:

- sagala ekspresi (jeung basajan tur kompléks) tiasa boh leres atanapi palsu;

- bebeneran tina utterances kompléks gumantung kana bebeneran tina pernyataan ngandung eta jeung Tumbu logis dina eta.

Nalika ngahubungkeun dua pernyataan ngagunakeun kecap "atawa" anu geus ditangtukeun disjunction nu. Dina kahirupan sapopoe, konsep ieu bisa ditempo ti sudut pandang dua hartos béda. Kahiji, éta rasa non-ekslusif, nu hartina kabeneran babasan, paduli babasan sabenerna salah sahiji dua atanapi aranjeunna pamadegan nu dua. Kadua, ngaleungitkeun kayaan negeskeun yén salah sahiji ungkapan bener, sarta séjén - nyaeta palsu.

Rumusna Propositional ngandung karakter husus. Ku kituna, dina simbol disjunction V nunjukkeun yén babasan téh leres lamun kabeneran sahenteuna salah sahiji pernyataan, sarta palsu lamun duanana nya sirit palsu.

Dina nangtukeun implication nu aya dina Cindekna yén pernyataan basa teu kaci leres di panalungtikan salah. Dina basa sejen, konsep ieu ngakibatkeun bebeneran gumantungna atanapi falsity sahiji ekspresi tina nilai komponén sarta métode hubungan maranéhanana.

Najan kanyataan yén implication anu cukup mangpaat pikeun sababaraha tujuan, teu pisan konsisten jeung pamahaman konvensional komunikasi sacara umum. Ku kituna, nalika eta lingku alat loba fitur penting laku logis tina pernyataan dibikeun konsép bisa jadi hiji pedaran nyukupan ngeunaan eta.

logika Propositional aimed dina ngarengsekeun tugas sentral misalna, salaku separation tina bener jeung salah penalaran sirkuit na systematization munggaran. Pikeun meunangkeun hasil katuhu, anjeun kudu fokus dina karakter husus nu bisa ngawakilan salah sahiji atawa formulir sejen. Mangkana dituduhkeun minat kecap sahingga bisa hirup kalawan kalindih sapertos sapertos "atanapi", "sarta" jsb

pernyataan logika malah boga basa sorangan, nu diwangun ku unsur handap:

- Hurup aslina - variabel, konstanta logis, jeung simbul teknis;

- rumus.

Pikeun pamahaman hadé tina naon geus ngadawuh anjeun kudu buka conto husus. Contona, ditéang nu nganggo simbol &, disjunction - \ / atanapi \ º /.