Lause- logiikka

Määriteltävä käsite "lause- logiikan", se on välttämätöntä ymmärtää selkeästi, mitä on "lausunto".

Joten, lausunto on lause, sijoittui kieliopillisesti oikein, ja on vääriä tai totta. Tämä käsite on ilmaistava tietty merkitys. Esimerkiksi ilmaisu "canary lintu on" sisältää seuraavat osat: "kanarian" ja "lintu".

Siksi yksi tärkeimmistä alkuperäisen käsitteitä logiikan ja sanovat. Nämä käsitteet on kuvattava tiettyä tilannetta, jossa selvitys on joko jotain tai kieltämiseen.

Sitä pidetään totena, jos jäljittää linjan todellisuus, kun se ympäröi. Sinänsä "false" ja "true" määrittää esitettyjen väitteiden totuudenmukaisuutta.

Lause- logiikka koostuu yksinkertaisista ja monimutkaisia ilmaisuja. Joten, ajatelkaa lausunto, joka ei sisällä koostumukseltaan muu vastaava ilmaisu. Ja monimutkainen sisältää ilmaisuja, jotka ovat peräisin yksinkertaisesta, loogisesti kytketty lausuntoja.

Klassinen logiikka lausuntoja voidaan esittää yleisen teorian vähennyksen. Se on se osa logiikkaa, joka kuvaa ei riipu lausunnoista looginen yhteys yksinkertaisia ilmaisuja.

Puhumattakaan konjunktiot - vaikea esitys saadaan yhdistämällä kaksi yksinkertaista lausekkeita käyttämällä sanaa "ja". Totuus yhdessä vahvistaa, että kaikki lausunnot Sen rakenteen. Siinä tapauksessa, että ainakin yksi sen jäsenistä vääriä, koko yhdessä on merkki "valhe."

Itsessään on yhdessä muodostaa monimutkaisia lausuntoja, jotka perustuvat näihin oletuksiin:

- mikä tahansa ilmaisu (ja yksinkertainen ja kompleksi) voi olla joko tosi tai epätosi;

- totuus monimutkaisia ilmauksia riippuu totuus sisältyvät toteamukset sen ja loogisen linkkejä siihen.

Kun kytket kaksi lausumaa käyttää sanaa "tai" on jo saanut disjunktio. Jokapäiväisessä elämässä, tämä käsite voidaan tarkastella näkökulmasta kaksi eri merkitystä. Ensimmäinen, se on ei-yksinomaisen mielessä, mikä tarkoittaa, että totuus ilmaisun, riippumatta todellisesta ilmentymisen toinen tai ovat ne, jotka on kaksi. Toiseksi poistaa mielessä todetaan, että yksi ilmenemismuoto on tosi, ja toinen - on väärä.

Propositional kaavat sisältävät erikoismerkkejä. Siten, että disjunktio symboli V osoittaa, että lauseke on tosi, jos totuus ainakin yhden lausuntojen ja vääriä jos molemmat hänen vääriä penis.

Määritettäessä vaikutusta on toteamus, että pohja lausunnot voi olla totta väärään tutkimuksessa. Toisin sanoen, tämä käsite merkitsee riippuvuuden totuus tai valheellisuus ilmentymisen arvon sen komponentteihin ja niiden suhteita.

Huolimatta siitä, että vaikutuksia on varsin hyödyllistä joihinkin tarkoituksiin, se ei ole kovin johdonmukainen Sovinnaisen viestintää yleensä. Joten, kun se ympäröi laitteen monia tärkeitä ominaisuuksia loogisen käyttäytymisen lausumien käsite ei voi olla riittävä kuvaus siitä.

Lause- logiikka, jonka tarkoituksena on ratkaista tällaiset keskeinen tehtävä, koska erottaminen oikean ja väärän piirit päättelyä ja systematization ensin. Saada oikean tuloksen, sinun täytyy keskittyä erikoismerkkejä, jotka voivat edustaa muodossa tai toisessa. Siksi osoitettu kiinnostusta tällaiseen näennäisesti merkityksetön sanoja kuten "tai" "ja" jne

Logiikka lausuntoja jopa oma kieli, joka koostuu seuraavista osista:

- alkuperäisten merkkien - muuttujia, looginen vakioita, ja tekninen symbolit;

- kaavoja.

Jotta ymmärrettäisiin paremmin, mitä on sanottu sinun täytyy mennä erityisiä esimerkkejä. Esimerkiksi yhdessä käyttämään tunnusta ja, disjunktio - \ / tai \ ° /.