apibrėžti sąvoką "Teiginių logika", jums reikia aiškiai suprasti, kas yra "pareiškimas".
Taigi teiginys yra pasiūlymas, užėmė gramatiškai teisingas, ir yra klaidinga arba teisinga.Ši sąvoka turi išreikšti tam tikrą prasmę.Pavyzdžiui, frazė "Kanarų paukščiai" apima šiuos komponentus: "Kanarų" ir "paukštis".
Štai kodėl vienas iš svarbiausių pirminių sąvokų logika ir sako.Šios sąvokos yra apibūdinti konkrečią situaciją, kurioje pareiškimas yra arba kažką ar paneigimą.
Tiesa laikoma sakydamas, jei atsekti linija situacijos tikrovė, kai ji yra apribotas.Patys "false" ir "tiesa" apibrėžti tikrą pareiškimą.
logika atskaitomybė susideda iš paprastų ir sudėtingų išraiškų.Taigi, tiesiog manau, pareiškimą, kad neturi įtraukti į savo sudėtį kitų išraiškos.Ir prie komplekso išraiškas, kad yra kilę iš paprastų, logiškai tarpusavyje susijusių pareiškimų.
Klasikinė Teiginių logika gali būti atstovaujamas visuotiniame teorijos atskaitą.Tai, kad logika, kuri aprašoma nepriklauso nuo bausmių Loginių jungčių paprastas išraiškas struktūros dalis.
nekalbant apie jungtukų - sudėtingą pareiškimą, gautas sujungus du paprastus posakius vartoti žodį "ir".Iš kartu tiesa patvirtina visų ataskaitų, įtrauktų į jos struktūrą tikslumą.Ir tuo atveju, kai bent vienas iš jo narių yra klaidingas, visa jungtukas yra ženklas "melo".Pati
konjunkcija tarnauja formuoti sudėtingus ataskaitas, kurios yra grindžiamos šiomis prielaidomis:
- Bet išraišką (tiek paprastų ir sudėtingų) gali būti arba true arba false;
- apie sudėtingus pasakymai tiesa priklauso nuo teiginių jame esančius loginius ryšius jame tiesos.
stojant du pareiškimus su žodžiu "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ė jausmą, o tai reiškia, kad žodžio galiojimą, neatsižvelgiant į tikrąją vieno ar dviejų tokių, jie abu.Antra, panaikinant jausmą teigia, kad viena iš šių frazių yra tiesa, o kita - yra klaidinga.
formulės propozicinės logika yra specialių simbolių.Taigi, Dysjunkcja simboliu V žymi tuo, kad ekspresijos yra teisinga ties bent vienu iš teiginių teisingai ir klaidingas, jei abu jo narių yra klaidingas.
Nustatant poveikio yra teiginys sako, kad pagrindas gali būti tiesa netinkamu tyrimą.Kitaip tariant, tai sąvoka reiškia priklausomybės tiesą ar melagingo iš jo sudedamųjų dalių ir metodų jų santykius vertės išraiška.
Nepaisant to, kad būtų galima numanyti yra gana naudingas tam tikriems tikslams, tai nėra labai atitinka kondicionuotose ryšį apskritai supratimo.Taigi, daugelyje svarbių bruožų supa įrenginio loginė elgesį sakydamas ši sąvoka negali būti tinkamai aprašyti jį.
logika ataskaitų, kuriomis siekiama spręsti šią centrinę problemą, kaip gėrio ir blogio mąstymo schemas atskyrimo ir sisteminti pirmas.Norėdami gauti teisingą rezultatą, turite sutelkti dėmesį į specialiųjų simbolių, kurie gali atstovauti vieną ar kitą formą.Taigi paskirta palūkanų tokiose, atrodytų nereikšmingų žodžių, tokių kaip "ir", "ir" ir tt
logika ataskaitos netgi turi savo kalbą, kuri susideda iš šių elementų:
- originalus simbolių - kintamųjų, konstantų ir logiška techninius požymius;
- formules.
Norėdami suprasti, kas buvo pasakyta, turi eiti į konkrečius pavyzdžius.Pavyzdžiui, naudojant kartu simbolį & amp;, Padalijimas - \ / arba \ ° /.
