Logikoje serija simbolių paprastai yra naudojama išreikšti loginius vaizdus. Kadangi logikai yra susipažinę su šiais simboliais, jie nėra aiškinami kiekvieną kartą juos panaudojus. Todėl logikos studentams lentelė apačioje pateikia daug bendrų simbolių kartu su jų pavadinimais, tarimu bei susijusia su matematika sritimi. Be to, trečiame stulpelyje yra pateiktas neformalus aprašymas, o ketvirtajame stulpelyje yra nurodomas trumpas pavyzdys.
Žinokite, jog už logikos ribų kai kurie simboliai turi tą pačią reikšmę, o tas pats simbolis, priklausomai nuo konteksto, gali turėti skirtingą reikšmę.
Pagrindiniai logikos simboliai
Simbolis | Pavadinimas | Paaiškinimas | Pavyzdžiai | Unikodo Reikšme | HTML Žymė | LaTeX simbolis |
---|---|---|---|---|---|---|
Turėtų būti skaitoma | ||||||
Kategorija | ||||||
⇒ → ⊃ | Implikacija | A ⇒ B reiškia, kad jei A teisinga tada B taip pat teisinga; jei A yra neteisinga, tai niekas nėra pasakyta apie B. → gali reikšti tą patį, kaip ⇒ . ⊃ gali reikšti tą patį, kaip ⇒ . | x = 2 ⇒ x2 = 4 yra teisinga, bet x2 = 4 ⇒ x = 2 yra neteisinga (nes x gali būti −2). | U+21D2 U+2192 U+2283 | ⇒ → ⊃ | |
jei...,tai | ||||||
Teiginių logika, Heyting algebra | ||||||
⇔ ≡ ↔ | Ekvivalencija | A ⇔ B reiškia, kad jei ir tik, jei A yra teisingas, tai B yra teisingas. | x + 5 = y +2 ⇔ x + 3 = y | U+21D4 U+2261 U+2194 | ⇔ ≡ ↔ | |
jei ir tik jei ..., tai | ||||||
Teiginių logika | ||||||
¬ ˜ ! | Neigimas | Teiginys ¬A yra teisingas, jei ir tik jei A yra neteisingas. | ¬(¬A) ⇔ A x ≠ y ⇔ ¬(x = y) | U+00AC U+02DC | ¬ ˜ ~ | |
netiesa, kad... , ne... | ||||||
Teiginių logika | ||||||
∧ • & | Konjunkcija | Teiginys A ∧ B yra teisingas jei A ir B yra abu teisingi; kitaip jis neteisingas. | n < 4 ∧ n >2 ⇔ n = 3 kai n yra natūralusis skaičius. | U+2227 U+0026 | ∧ & | \& |
...ir... | ||||||
Teiginių logika | ||||||
∨ + | Disjunkcija | Teiginys A ∨ B yra teisingas jei A arba B (arba abu) yra teisingi; jei abu neteisingi, teiginys neteisingas. | n ≥ 4 ∨ n ≤ 2 ⇔ n ≠ 3 kai n yra natūralusis skaičius. | U+2228 | ∨ | |
...arba... | ||||||
Teiginių logika | ||||||
⊕ ⊻ | Griežtoji disjunkcija | Teiginys A ⊕ B yra teisingas, kai arba A arba B yra teisingas, bet abu nėra teisingi. A ⊻ B reškia tą patį. | (¬A) ⊕ A yra visada teisinga, A ⊕ A yra visada neteisinga. | U+2295 U+22BB | ⊕ | |
arba ... arba ... | ||||||
Teiginių logika, Būlio algebra | ||||||
⊤ T 1 | Tautologija | Teiginys ⊤ yra besąlygiškai teisingas. | A ⇒ ⊤ yra visada teisingas. | U+22A4 | T | |
VIRŠUS(angl. Top) | ||||||
Teiginių logika, Būlio algebra | ||||||
⊥ F 0 | Teiginys ⊥ yra besąlygiškai neteisingas. | ⊥ ⇒ A yra visada teisingas. | U+22A5 | ⊥ F | ||
APAČIA(angl. Bottom) | ||||||
Teiginių logika, Būlio algebra | ||||||
∀ | Bendrumo kvantorius | ∀ x: P(x) reiškia, kad P(x) yra teisingas visiems x. | ∀ n ∈ N: n2 ≥ n. | U+2200 | ∀ | |
kiekvienas | ||||||
Predikatų logika | ||||||
∃ | Egzistavimo kvantorius | ∃ x: P(x) reiškia, kad yra bent vienas x su kuriuo P(x) yra teisinga. | ∃ n ∈ N: n yra lyginis. | U+2203 | ∃ | |
yra toks | ||||||
pirmos eilės logika | ||||||
∃! | Vienaties kvantorius | ∃! x: P(x) reiškia, kad yra tik vienas x su kuriuo P(x) yra teisinga. | ∃! n ∈ N: n + 5 = 2n. | U+2203 U+0021 | ∃ ! | |
egzistuoja tiktais vienas | ||||||
Pirmos eilės logika | ||||||
:= ≡ :⇔ | Apibrėžimas | x := y arba x ≡ y reiškia, kad x yra apibrėžtas, kaip dar vienas y vardas. P :⇔ Q reiškia, kad P yra loginis Q ekvivalentas . | cosh x := (1/2)(exp x + exp (−x)) A XOR B :⇔ (A ∨ B) ∧ ¬(A ∧ B) | U+2254 (U+003A U+003D) U+2261 U+003A U+229C | := : ≡ ⇔ | |
yra apibrėžta kaip | ||||||
visur | ||||||
( ) | Grupavimas pagal pirmumą | Pirmiausia turi būti atlikta operaciją viduje skliaustų. | (8/4)/2 = 2/2 = 1, but 8/(4/2) = 8/2 = 4. | U+0028 U+0029 | ( ) | |
Visur | ||||||
⊢ | Išvados darymas | x ⊢ y reiškia, kad y yra išvesta iš x. | A → B ⊢ ¬B → ¬A | U+22A2 | ||
išvesta iš | ||||||
Teiginių logika, pirmos eilės logika |
Sudėtingesni ir rečiau vartojami logikos simboliai
Šie simboliai klasifikuojami pagal jų Unikodo vertę:
- , pasenęs būdas išreikšti IR , dar šiuo metu naudojamas naudojamas ir elektronikos pramonėje ; pavyzdžiui –„ A •B“ reiškia tapatį kaip ir „A ir B“
- •: Vidurio taškas su virš ja esančia linija (naudojantis HTML stiliumi ). Pasenęs būdas išreikšti NE IR , pavyzdžiui "A•B" reiškia tapatį kaip ir "A ir ne B" ar "A|B" ar "¬(A & B)". Taip pat žiūrėti kodą .
- , ), naudojama kaip suptrumpinimas standartiniams skaitmenims.Pavyzdžiui , naudojantis HTML stiliumi "4̅" yra trumpinys standartiniam skaitmeniui „SSSS0".
- Viršutinė linija yra taip pat retai naudojamas formatas išreikšti , pavyzdžiui "AVB" yra tas pats kaip Gödel numeris „(AVB)".
- Viršutinė linija yra taip pat pasenęs būdas išreikšti neigimą, dar šiuo metu naudojamas naudojamas ir elektronikos pramonėje; pavyzdžiui "AVB" " reiškia tapatį kaip ir „¬(AVB)".
- ar : lygus neigiamai konjukcijos operacijai , kasdieninėje kalboje išreiškiama kaip „ ne abu“.
- : Pavyzdžiui , papildymas A rinkinio yra viskas kitas , kad yra aplink , t.y., neįeina į A rinkinį.
- : pašalinti egzistuojantį kvantorių. Reiškia tapatį kaip ir "¬∃"
- : Pavyzdžiui , 1) visi žmonės mirtingi 2) Sokratas yra žmogus 3) ∴ Sokratas yra mirtingas.
- : yra (kažko)
- : yra tiesa (kažko)
- : negated ⊢, the sign for "does not prove", for example T ⊬ P says "P is not a theorem of T"
- : : nėra tiesa (kažko)
- : kitas NE IR ženklas, taip pat gali būti pakeistas ženklu ∧
- : : kitas NE ARBA ženklas, taip pat gali būti pakeistas ženklu V
- : modalus ženklas skirtas "tai yra įmanoma, kad", "tai nebūtinai ne" arba retai "tai nėra įrodoma ne" (beveik visoje modalinėje logikoje jis yra apibrėžtas kaip "¬ ◻ ¬")
- : dažnai naudojamas ad-hoc (lot. ad hoc – šiam tikslui) ženklams.
- arba {{unichar|2193|NUKREIPTA ŽEMYN RODYKLĖ|NOR]]. Webb-ženklas arba Peirce rodyklė,ženklas
skirtas NE ARBA. Sudėtingiau, "⊥" taip pat yra paneigimo arba absurdo ženklas.
- IR : kampo kabutės, taip pat dar vadinamos "Quine kabutėmis"; standartinis simbolis naudojamas žymint Gödel numerį; pavyzdžiui, "⌜G⌝" žymi Gödel numerį – G. (Tipografinė pastaba: nors kabutės universaliojo kodavimo sistemoje (231C ir 231D) atrodo kaip „pora“, jos nėra simetriškos kai kuriuose šriftuose. O kai kuriuose šriftuose (pavyzdžiui, Arial) jos yra simetriškos tik tam tikruose šrifto dydžiuose. Kitaip kabutės gali būti pakeistos kaip ⌈ ir ⌉ (U+2308 ir U+2309) arba naudojant neigimo simbolį ir atvirkščią neigimo simbolį ⌐ ¬ viršutinio indekso režime. )
- arba : modalinis operatorius "tai yra būtina" (modalinėje logikoje), arba "tai yra įrodymas" (įrodymo logikoje), "tai yra privaloma" (deontinėje logikoje), arba "tai yra manoma" (doksastinėje logikoje).
Atkreipkite dėmesį, kad šie operatoriaus ženkalai retai yra įdiegti gamykliniuose šriftuose. Jei norite juos naudoti savo internetiniuose puslapiuose, jūs visada turite įsidiegti būtinus šriftus, tada puslapio lankytojas galės matyti internetinį puslapį be įdiegtų šriftų savo kompiuteryje.
- : modalinis operatorius niekada nebuvo
- : : modalinio operatoriaus niekada nebus
- : modalinis operatorius visada buvo
- : modal operator for will always be
- : kartais naudojama "santykiams", taip pat naudojama žymint įvairius ad hoc santykius (pavyzdžiui, žymint "liudininkus" kontekste) Žiūrėti čia paveikslėlius apie glyph.
vikipedija, wiki, lietuvos, knyga, knygos, biblioteka, straipsnis, skaityti, atsisiųsti, nemokamai atsisiųsti, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, pictu , mobilusis, telefonas, android, iOS, apple, mobile telefl, samsung, iPhone, xiomi, xiaomi, redmi, honor, oppo, Nokia, Sonya, mi, pc, web, kompiuteris