Logika propositional

Kanggo netepake tembung "propositional logika", iku perlu ngerti cetha apa sing "statement".

Dadi, ing statement iku ukara, Ranked grammatically bener, lan palsu utawa bener. Asosiasi iki kudu nyebut makna tartamtu. Contone, tembung "manuk kenari wis" kalebu ing komponen ing ngisor iki: "kenari" lan "manuk".

Sing kok siji saka konsèp dhisikan tombol logika lan matur. konsep kudu njlèntrèhaké kahanan tartamtu kang statement iku salah siji soko utawa ora ngaku.

Iku dianggep dadi statement bener, yen baris kasunyatan dilacak saka kahanan nalika wis circumscribing. Miturut piyambak, "palsu" lan "bener" nemtokake bebener statements.

logika Propositional kasusun saka ungkapan prasaja lan Komplek. Dadi, mung mikir statement sing ora kalebu ing komposisi ungkapan liyane sawijining. Lan kanggo komplèks kalebu ungkapan sing asalé saka prasaja, statements disambungake logis.

logika propositional klasik bisa dituduhake dening teori umum anggota. Iku sing bagean logika, kang describes ora gumantung ing statements saka sambungan logis ungkapan prasaja.

Ora kanggo sebutno conjunctions - rencana angel dijupuk dening nggabungaken ungkapan prasaja nggunakake tembung "lan". Bebener magepokan ing konfirmasi sing kabeh statements klebu ing sawijining struktur. Ing kasus ngendi paling salah sawijining anggota sing palsu, kabèh magepokan tandha saka "goroh."

Dhewe iku magepokan kanggo mbentuk statements Komplek, kang adhedhasar pemanggih iki:

- sembarang expression (lan prasaja lan Komplek) bisa dadi salah siji bener utawa palsu;

- bebener utterances Komplek gumantung ing bebener statements sing ana ing lan pranala logis ing.

Nalika nyambungake rong statements nggunakake tembung "utawa" wis dijupuk disjunction ing. Ing saben dinten gesang, konsep iki bisa dideleng saka perspektif loro makna. Kawitan, punika raos non-eksklusif, kang tegese bebener expression, preduli saka expression bener salah siji saka loro utawa wong sing loro. Kapindho, mbusak pangertèn nengenaken bilih salah siji saka ungkapan bener, lan liyane - iku palsu.

rumus Propositional ngandhut khusus. Mangkono, ing simbol disjunction V nuduhake sing expression bener yen bebener ing paling ora siji saka statements, lan palsu yen loro dheweke penis palsu.

Ing nentokake akibat ana tuntutan sing statements basa ora bisa dadi bener ing diselidiki salah. Ing tembung liyane, konsep iki gawe katut bebener katergantungan utawa falsity saka expression saka cahya saka sawijining komponen lan cara saka hubungan sing.

Senadyan ing Kasunyatan bilih akibat iku cukup migunani kanggo sawetara tujuan, iku ora tau konsisten karo pangerten conventional komunikasi ing umum. Dadi, nalika iku ngubengi piranti akeh fitur penting saka prilaku logis saka statements diwenehi konsep uga ora dadi gambaran sing ora nyukupi ing iku.

logika Propositional ngarahke ing mecahaken tugas tengah kuwi, minangka misahake bener lan salah pertimbangan sirkuit lan systematization pisanan. Kanggo asil tengen, sampeyan kudu fokus ing karakter khusus sing bisa makili siji utawa wangun liyane. Empu dituduhake kapentingan ing tembung ketoke sepele kuwi kayata "utawa", "lan," etc.

statements Logic malah wis basa dhewe, dumadi saka unsur ing ngisor iki:

- karakter asli - variabel, ajeg logis, lan simbol teknis;

- rumus.

Kanggo pangerten luwih saka apa wis ngandika sampeyan kudu pindhah menyang conto tartamtu. Contone, magepokan nggunakake simbol &, disjunction - \ / utawa \ º /.