《大唐荣耀2》被吐槽“伪季播剧” 观众不买账
- Konnektiv omdirigerar hit, inom lingvistiken anv?nds detta uttryck s?rskilt om konjunktioner och subjunktioner.
|
|---|
| Logisk operator (Logisk grind) |
|
| Se ?ven |
En logisk operator ?r ett konnektiv inom satslogiken, vilket anv?nds f?r att sammanfoga tv? eller flera satser.
En sats som inneh?ller s?dana operatorer s?gs vara sammansatt. Av de enkla satserna "det regnar" och "jag ?r inomhus" kan man exempelvis skapa de sammansatta satserna "det regnar och jag ?r inomhus" samt "om det regnar, s? ?r jag inomhus".
De olika operatorerna definieras med hj?lp av sanningsv?rdetabeller.
Klassiska operatorer
[redigera | redigera wikitext]Traditionellt anv?nder man inom sats- och predikatlogik operatorerna
- Negation (?), "icke", "NOT", en un?r operator.
- Konjunktion (∧), "och", "AND".
- (Inklusiv) disjunktion (∨), "eller", "OR".
- Exklusiv disjunktion (X), "antingen-eller", "XOR".
- Materiell implikation (→), "om-s?", "IF-THEN".
- Ekvivalens (?), "om-och-endast-om", "omm", "IFF-THEN".
Inom kretslogik f?rekommer dessutom
Primitiva operatorer
[redigera | redigera wikitext]I den klassiska logiken ?r inte alla dessa operatorer primitiva, det vill s?ga n?dv?ndiga f?r att bygga upp ett formellt logiskt system. Det ?r tillr?ckligt med ett mindre antal operatorer f?r att definiera de ?vriga. Med exempelvis endast konnektiven negation och konjunktion kan alla de ?vriga uttryckas.
| operator | kan definieras som |
| A ∨ B | ?(?A ∧ ?B) |
| A → B | ?(A ∧ ?B) |
| A ? B | (?(A ∧ ?B) ∧ ?(?A ∧ B)) |
Henry M. Sheffer och Charles Peirce har till och med visat att det endast beh?vs en logisk operator f?r att definiera de klassiska operatorerna, n?mligen NAND eller NOR, vilket utnyttjas vid s? kallad NAND-logik och NOR-logik (se logiska grindar). Med hj?lp av samtliga de ?vriga operatorerna kan man g?ra satserna mer f?rst?eliga och n?rmare vanligt spr?kbruk.
| operator | kan definieras som | eller som |
| ?A | (A nand A) | A nor A |
| A ∨ B | (A nand A) nand (B nand B) | (A nor B) nor (A nor B) |
| A ∧ B | (A nand B) nand (A nand B) | (A nor A) nor (B nor B) |
| A → B | (A nand B) nand A | ((A nor B) nor B) nor ((A nor B) nor B) |
K?llor
[redigera | redigera wikitext]- Karl-Johan B?ckstr?m, Diskret matematik, Studentlitteratur, Lund 1986.
- Raymond M Smullyanm First-Order Logic, Springet-Verlag, Berlin Heidelberg, New York, 1968.
- Elliott Mendelson, Elementary Logic, Oxford University Press, 1965.
- G?ran Hermerén, Satslogik, Studentlitteratur, Lund 1967.