määriteltävä käsite "lauselogiikan logiikka", sinun täytyy selvästi ymmärtää, mitä on "ilmoitus."
Joten lausunto on ehdotus, sijoittui kieliopillisesti oikein, ja on vääriä tai totta.Tämä käsite on ilmaistava tietty merkitys.Esimerkiksi lause "kanarian linnut ovat" sisältää seuraavat osat: "kanarian" ja "Bird".
Siksi yksi tärkeimmistä alkuperäisen käsitteet logiikkaa ja sanoo.Nämä käsitteet ovat kuvaamaan erityinen tilanne, jossa lausunto on joko jotain tai kieltäminen.
True katsotaan sanoen, jos jäljittää linja todellisuutta tilannetta, kun se on rajaamaan.Itseään "false" ja "true" määrittää totena.
logiikka lausuntoja koostuu yksinkertaisista ja monimutkaisia ilmaisuja.Joten, ajatelkaa lausunto, joka ei sisällä sen koostumus muita ilmaisuja.Ja monimutkainen sisältää ilmaisuja, jotka ovat peräisin yksinkertainen, loogisesti toisiinsa lausuntoja.
klassisen lauselogiikan logiikka voidaan esittää yleistä teoriaa vähennyksen.Se on se osa logiikkaa, jossa kuvataan riipu rakenteesta lauseita loogisten yhteyksien yksinkertaisin ilmauksin.
Puhumattakaan konjunktiot - monimutkainen lausunto, saadaan yhdistämällä kaksi yksinkertaisia lausekkeita käyttämällä sanaa "ja".Totuus yhdessä vahvistaa tarkkuutta kaikki lausumia sen rakenne.Tapauksessa, jossa vähintään yksi sen jäsenistä on väärä, koko yhdessä on merkki "valhe."
yhdessä toimii itse kompleksin muodostamiseksi lausuntoja, jotka perustuvat näihin oletuksiin:
- Ilmaisulla (sekä yksinkertaisia että monimutkaisia) voi olla joko tosi tai epätosi;
- totuuden monimutkaisia ilmauksia riippuu totuuden sisältyvät toteamukset se ja loogista linkkejä se.
Liittyessään kaksi lausumaa sanalla "tai" on jo saanut disjunktio.Jokapäiväisessä elämässä, tämä käsite voidaan tarkastella näkökulmasta kaksi eri merkitystä.Ensinnäkin se on ei-yksinomaisen mielessä, mikä merkitsee pätevyyttä ilmaisun, riippumatta todellisesta ilmentymisen yksi tai kaksi tällaista, ne ovat molemmat.Toiseksi, poistamalla mielessä väittää, että jokin ilmauksista on totta, ja muut - on väärä.
kaavat lauselogiikan logiikka sisältää erikoismerkkejä.Niinpä erottelu symboli V merkitsee sitä, että ilmaisu on totta totuus ainakin yhden lausunnoista, ja väärä, jos molemmat sen jäsenet ovat vääriä.
määritettäessä vaikutusta on julkilausuman sanomalla, että pohja ei voi olla totta väärään tutkimuksessa.Toisin sanoen, tämä käsite merkitsee riippuvuuden totuus tai valheellisuus ilmaus arvosta sen osien ja menetelmiä niiden suhteita.
Huolimatta siitä, että vaikutusta on hyvin hyödyllistä joihinkin tarkoituksiin, se ei ole kovin sopusoinnussa ymmärrystä ilmastoitu yhteyden yleensä.Niinpä monia tärkeitä ominaisuuksia ympäröi laitteen looginen käyttäytyminen sanomalla tätä käsitettä ei voi olla riittävä kuvaus siitä.
logiikka lausuntoja, joilla pyritään puuttumaan tähän keskeinen ongelma, koska erottaminen oikeasta ja väärästä perustelut järjestelmiä ja systematisointi ensin.Saada oikea tulos, sinun on keskityttävä erikoismerkkejä, jotka voivat edustaa muodossa tai toisessa.Näin nimetty kiinnostuksesta, näennäisesti merkityksetön sanoja kuten "ja", "ja" jne.
logiikka lausuntoja on jopa oma kieli, joka koostuu seuraavista osista:
- alkuperäistä merkkiä - muuttujia, vakioita ja looginen tekninen merkkejä;
- kaavoja.
Ymmärtää, mitä on sanottu, on mennä konkreettisia esimerkkejä.Esimerkiksi käyttämällä yhdessä symboli & amp;, disjunktio - \ / tai \ º /.
