Macquulka propositional

Si ay u qeexaan ereyga "macquulka propositional", waxaa lagama maarmaan ah in si cad loo fahmo waxa ay tahay "hadal".

Sidaas daraaddeed, bayaanka waa xukun, kaalinta naxwe ahaan sax ah, oo waa been ama run. fikradda Tani waa muujiyaan macne gaar ah. Tusaale ahaan, weedha ah "shimbir Submarine ayaa ah" waxaa ka mid ah qaybaha soo socda: "Submarine" iyo "shimbir".

Taasi waa sababta mid ka mid ah fikradaha hore ee muhiimka ah ee macquulka ah oo la yidhi. fikradaha waa in lagu qeexo xaalad gaar ah, taas oo qoraalka waa mid wax ama diidmada.

Waxaa la arkaa in war qoraal ah oo run ah, haddii xaqiiqada ogan line of xaaladda marka lagu circumscribing. isu By, "been" iyo "run" ogaado runta ah ee weedhaha.

macquulka Propositional ka kooban weedho fudud oo adag. Sidaas, kaliya qabaa hadal in uusan ka mid ah in Halabuurka tibaaxaha ay kale. Iyo in ay adag waxaa ka mid ah weedho in ay yihiin oo ka soo jeeda fudud, statements macquul xiran.

macquulka propositional heer sare ah loo soo bandhigi karo by aragtida guud ee laga jaro. Waa qayb ka mid ah macquulka ah, kaas oo kuu sharaxaya ma ku xiran tahay weedhaha of xiriir macquul tibaaxaha fudud.

In aan ku xuso XIDHAYAASHA ah - qawl adag helay isku laba tibaaxaha fudud oo isticmaalaya erayga "iyo". Runta waxa of lala waxay xaqiijinayaan in statements oo dhan ka mid ah in ay qaab-dhismeedka. In kiiska halkaas oo ugu yaraan mid ka mid ah xubnaha been ah, lala oo dhan waa calaamad ka mid ah "been."

Laftiisa waa lala a si ay u sameeyaan weedhaha adag, kaas oo ku salaysan yihiin fikrado kuwan:

- hadal kasta (oo fudud oo adag) wuxuu noqon karaa mid run ah ama been ah,

- runta ah bilaa micne ah oo adag waxay ku xiran tahay runta ah ee qoraalada ku jira waxa ku jira iyo links macquul ah waxa ku jira.

Marka xira labo qoraal oo isticmaalaya erayga "ama" waxa hore u helay disjunction ah. In nolol maalmeedka, fikradda this waxaa laga daawan karaa marka laga eego ee labo macne oo kala duwan. First, waa dareen non-gaar ah, taas oo macnaheedu runta ah ee ra'yi dhiibashada, iyadoo aan loo eegin muujinta dhabta ah ee mid ka mid ah laba ama waa kuwa labada. Second, baabi'inta dareenka sheegayaa in mid ka mid ah weedhaha waa ku run kan, iyo kuwa kale - waa been.

qaaciidooyinka Propositional ku jira characters gaar ah. Sidaas darteed, calaamad disjunction ku V muujinaysaa in hadal run ah haddii runta ah oo ugu yaraan mid ka mid ah weedhaha, iyo been haddii labada guska been ah.

In go'aaminta nuxurka macnaha waxaa jira caddaynta in statements salka run kuma noqon karto at baaritaan qaldan. In si kale loo dhigo, fikradda waxa ay tilmaamaysaa runta ku tiirsanaanta ama falsity of muujinta qiimaha ka mid ah qaybaha iyo hababka xiriirkooda ay.

In kasta oo xaqiiqda ah in nuxurka macnaha waa arrin waxtar leh ujeeddooyin qaar ka mid ah, ma aha mid aad u waafaqsan fahamka caadiga ah ee isgaarsiinta guud. Sidaas daraaddeed, markii ay ku wareegsan qalab badan oo ka mid ah sifooyinka muhiimka ah ee dhaqanka macquul ah kelmadaha la siiyo fikrad laga yaabaa in aanay sharaxaad ku filan waxaa ka mid ah.

macquulka Propositional loogu talagalay xalinta sida hawl dhexe, sida kala-soocidda wareeggeedii sax ah oo aan sax ahayn sababaynta iyo habaynta ugu horeysay. Si aad u hesho natiijo sax ah, waxaad u baahan tahay in ay diiradda saaraan jilayaasha gaar ah oo matali kara mid ka mid ah ama qaab kale. Sidaa tilmaamay xiisaha erayada darradaas aan qiimo lahayn sida sida "ama", "iyo," iwm

statements Logic xataa wuxuu leeyahay af u gaar ah, oo ka kooban oo ka mid ah arrimaha soo socda:

- shaqsiyadaha asalka - doorsoomayaasha, geysid macquul ah, iyo calaamadaha farsamo;

- qaaciidooyinka.

Waayo, si fiican loo fahmo waxa la yidhi waa in aad si tusaalooyin gaar ah u tagaan. Tusaale ahaan, lala isticmaali astaanta &, disjunction - \ / ama \ / º.