Az igazság táblázat egy praktikus kis logikai eszköz, amely megjelenik nem csak a matematika, hanem a számítástechnika és a filozófia, így egy félelmetes interdiszciplináris eszköz. A jelölés attól függően változhat, hogy milyen tudományágban dolgozik, de az alapfogalmak ugyanazok.
Ez az alapozó felkészíti Önt a szimbolikus logika megértéséhez szükséges ismeretekkel. Kezdjük a közös operátorok meghatározásával, majd a következő bejegyzésben megmutatom, hogyan kell egy bonyolultabb logikai nyilatkozatot boncolni.,
→ további matematikai oktatóanyagok, nézd meg Math Hacks a YouTube-on! ←
a logikai Algebra az algebra egy ága, amely magában foglalja a boolokat, vagy igaz és hamis értékeket. Általában t vagy 1-nek, true-nak és f vagy 0-nak, hamisnak jelölik őket. Ezzel az egyszerű rendszerrel komplex állításokat emészthető logikai képletekké alakíthatunk.
Unary operátorok
Unary operátorok a legegyszerűbb műveletek, mivel egyetlen igaz vagy hamis értékre alkalmazhatók.
Identity
az identitás a mi triviális esetünk. Azt állítja, hogy az igaz igaz, a hamis pedig hamis.,
tagadás
a tagadás operátort általában tilde ( ~ ) vagy szimbólum képviseli. Tagadja, vagy vált, valami igazság értéke.
ezt a kapcsolatot egy igazságtáblázatban mutathatjuk meg. Az igazságtáblázat az információk szervezésének egyik módja az összes lehetséges forgatókönyv felsorolására.
az első oszlopot P-nek nevezzük. A második oszlopban az operátort p-re alkalmazzuk, ebben az esetben ~p (olvassa el: nem p). Tehát, mint látható, ha a feltevést kezdődik, mint igaz, és mi tagadja meg, kapunk hamis, és fordítva.,
Logikai Igaz Logikai Hamis
Ezek elég furcsa műveletek. Logikai igaz mindig eredményez igaz és logikai hamis mindig eredményez hamis nem számít a feltevést. Ezeket a műveleteket gyakran “mindig igaznak” és “mindig hamisnak”nevezik.,
Binary Operators
Binary operators require two propositions., A P-t és a q-t fogjuk használni mintapéldányként.
és
az és az operátor (szimbolikusan: ∧) más néven logikai összefüggés megköveteli mind a P, mind a q igazságát, hogy az eredmény igaz legyen. Minden más eset hamis. Ez logikusan ugyanaz, mint a két készlet metszéspontja a Venn diagramban.