totuus-taulukko on kätevä pieni looginen laite, joka osoittaa, ei ainoastaan matematiikan vaan myös Tietokone Tiede ja Filosofia, joten se mahtava tieteidenvälistä työkalu. Notaatio voi vaihdella riippuen siitä, millä kurilla työskentelet, mutta peruskäsitteet ovat samat.
tämä pohjamaali varustaa sinut tiedolla, jota tarvitset symbolisen logiikan ymmärtämiseen. Aloitamme määrittelemällä yhteiset operaattorit ja seuraavassa postauksessa näytän, miten leikkaamme monimutkaisemman logiikkalausunnon.,
→ lisää matematiikan oppaita, katso Math Hacks YouTubesta! ←
Boolen Algebra on algebran haara, johon liittyy booleja eli tosi-ja vääriä arvoja. Ne merkitään tyypillisesti t tai 1 true ja F tai 0 false. Käyttämällä tätä yksinkertaista järjestelmää voimme keittää monimutkaisia lausekkeita sulaviksi loogisiksi kaavoiksi.
Unaarisia Operaattoreita
Unaarisia operaattoreita ovat yksinkertaisin toimintaa, koska niitä voidaan soveltaa yhden arvon Tosi tai Epätosi.
Identiteetti
identiteetti on triviaali asia. Sen mukaan totuus on totta ja väärä on väärä.,
negaatio
negaatio-operaattoria edustaa yleisesti tilde (~) tai symboli. Se tekee tyhjäksi tai vaihtaa jonkin totuusarvon.
voimme näyttää tämän suhteen totuustaulukossa. Totuustaulukko on tapa järjestää tietoa kaikkien mahdollisten skenaarioiden listaamiseksi.
nimetään proposition ensimmäinen sarake p. Toisessa sarakkeessa sovelletaan operaattori p, tässä tapauksessa se on ~p (lue: ei p). Joten kuten näette, jos meidän lähtökohta alkaa todeksi ja me kumota sen, saamme vääriä, ja päinvastoin.,
Looginen Totta ja Looginen False
Nämä ovat jotenkin outoa toimintaa. Loogista, totta johtaa aina Totta ja looginen aina vääriä tuloksia Väärä ei ole väliä, lähtökohta. Näitä operaatioita kutsutaan usein” aina tosiksi ”ja”aina vääriksi”.,
Binary Operators
Binary operators require two propositions., Käytämme P: tä ja q: ta näytteidemme ehdotuksina.
JA
JA operaattori (symbolisesti: ∧) tunnetaan myös nimellä looginen yhdessä vaatii sekä p ja q on Tosi, jotta tulos olisi Totta. Kaikki muut tapaukset johtavat vääriin. Tämä on loogisesti sama kuin kahden joukon leikkaus Venn-diagrammissa.