Teiginių logika

Apibrėžti sąvoką "Teiginių logika", būtina aiškiai suvokti, kas yra "pareiškimas".

Taigi, teiginys yra sakinys, užėmė gramatiškai teisingas, ir klaidingas ar tiesa. Ši sąvoka turi išreikšti tam tikrą prasmę. Pavyzdžiui, frazė "kanarėlė paukštis turi" apima šiuos komponentus: "kanarėlę" ir "paukštis".

Štai kodėl vienas svarbiausių pradinių koncepcijų logika ir sakote. Šios sąvokos turi aprašyti konkrečią situaciją, kurioje pareiškimas yra arba kažką ar paneigimą.

Ji yra laikoma tikra teiginys, jei atsekti linija situacijos tikrovė, kai jis apibrėžiant. Patys, "klaidinga" ir "tiesa" nustatyti teiginių tiesą.

Teiginių logika susideda iš paprastų ir sudėtingų išraiškos. Taigi, tiesiog manau, pareiškimą, kad neturi įtraukti į savo sudėtį kitų išraiškos. Ir prie komplekso išraiškas, kurios kilęs iš paprastų, logiškai susijusių pareiškimų.

Klasikinė Teiginių logika gali būti atstovaujamas visuotiniame teorijos atskaitą. Tai, kad logikos, kuriame aprašoma ne priklauso nuo loginio ryšio paprastų išraiškų ataskaitų dalis.

Jau nekalbant apie jungtukų - sunku pasiūlymas gaunamas du paprastus posakius vartoti žodį "ir". Jungtuko tiesa patvirtina, kad visi teiginiai įtraukti į jos struktūrą. Tuo atveju, kai bent viena iš jos narių klaidingą, visa konjunkcija yra ženklas "melas".

Pati yra konjunkcija suformuoti sudėtingus pareiškimus, kurie, remiantis šiomis prielaidomis:

- bet išraiška (ir paprasta ir kompleksas) gali būti arba teisingas ar klaidingas;

- Komplekso pasakymai tiesa priklauso nuo teiginių, esančių jo ir loginius ryšius jame tiesos.

Jungdami dviejų atskaitomybę naudodamas žodį "arba" jau gavo disjunkciją. Kasdieniame gyvenime, ši sąvoka gali būti peržiūrėtas iš dviejų skirtingų prasmių požiūriu. Pirma, tai yra neišimtinė jausmas, o tai reiškia, kad žodžio tiesą, nepriklausomai nuo tikrosios saviraiškos vienos iš dviejų ar jie tuos iš dviejų. Antra, panaikinant jausmą teigia, kad viena iš išraiškų yra tiesa, o kita - yra klaidinga.

Teiginių formulės sudėtyje specialių simbolių. Taigi, Padalijimas simboliu V rodo, kad pasakymas yra true, jei bent vienas iš teiginių, ir false, jei abu jos klaidinga varpos tiesa.

Nustatant poveikio yra teiginys, kad bazinė pareiškimai negali būti tiesa netinkamu tyrimą. Kitaip tariant, ši sąvoka reiškia priklausomybės tiesą ar melagingo iš jos komponentų ir metodų jų santykių vertės išraiška.

Nepaisant to, kad išvada yra gana naudingas tam tikriems tikslams, tai nėra labai dera su tradiciniais suprasti bendravimo apskritai. Taigi, kai ji supa prietaisą daugelis svarbių funkcijų loginės elgesio iš pateiktų pareiškimų koncepcija negali būti tinkamai aprašyti jį.

Teiginių logika, kuria siekiama spręsti tokį pagrindinė užduotis, kaip teisingai ir neteisingai grandinėms argumentais ir sisteminimo pirmą atskyrimo. Gauti tinkamą rezultatą, reikia sutelkti dėmesį į specialiųjų ženklų, kad gali atstovauti vieną ar kitą formą. Taigi nurodyta interesą į tokį, atrodytų, nereikšmingų žodžių, tokių kaip "arba", "ir", ir tt

Loginiai pareiškimai net turi savo kalbą, kurią sudaro šie elementai:

- originalus simbolių - kintamieji, loginių konstantos, ir techniniai simboliai;

- formulės.

Siekiant geriau suprasti, kas buvo pasakyta, jūs turite eiti į konkrečius pavyzdžius. Pavyzdžiui, jungtukas naudoti simbolį &, Padalijimas - \ / arba \ ° /.