Knudepunkt

fra Wikipedia, den gratis encyklopædi
Spring til navigation Spring til søgning

Et kryds (fra latin iungere "at linke, forbinde") er en logisk forbindelse mellem udsagn inden for den propositionelle logik , dvs. en logisk operator . Kryds kaldes også forbindelsesled, stik, operatører af sætninger, sætningsforbindelser, sætningsforbindelser, propositionelle links, logiske forbindelsesord, forbinder tegn eller funktioner og klassificeres som logiske partikler .

Sprogligt er der ofte ingen skelnen mellem det respektive link i sig selv (f.eks. Konjunktionen ) og det ord eller det sproglige tegn, der kendetegner det (f.eks. Ordet "og" eller tegnet "∧").

I programmeringssprog bruges også propositionelle logikker, men de adskiller sig i væsentlige punkter fra de sædvanlige propositionelle logikker. Der betegnes de hovedsageligt som logiske operatorer .

Sammenkædning af udsagn

I (formel) logik , en erklæring, der er sammensat af andre udsagn ved hjælp af partikler som "og", "eller", "hvis - så" og "det er ikke tilfældet, at" kaldes kompleks eller sammensat erklæring eller som link til udsagn . En erklæring, der ikke er sammensat af andre udsagn, kaldes en atomisk sætning .

For eksempel, hvis Anna ferie har, går hun til havet.

Spørgsmålet om, hvilke af de teoretisk mulige forbindelser der skal bruges til et logisk system, er - naturligvis ud over kravet om funktionel fuldstændighed - af rent pragmatisk karakter. I klassisk propositionel logik (se klassisk logik ) er de følgende kryds mest almindelige (relateret til to udsagn og ):

  • negationen svarer til en negativ
  • den materielle implikation , også kaldet subjunktion eller betinget, , svarer til den tilstrækkelige betingelse "(allerede) hvis P, så Q"
  • den bikonditionelle , også kaldet bisubjunction eller ækvivalens, , svarer til en tilstrækkelig og nødvendig betingelse, "Q if and only if P"
  • forbindelsen , det logiske og: "Både P og Q"
  • adskillelsen , inklusive eller: "Enten P eller Q eller begge dele"

Extensionalitet

En operatør kaldes sandhedsfunktionel eller udvidet, hvis sandhedsværdien af en sammensat sætning dannet af den entydigt bestemmes af sandhedsværdierne i dens undersætninger. Forbindelserne mellem den klassiske propositionelle logik er udvidede i denne forstand. For en mere præcis definition af extensionality se extensionsitetsprincippet .

Sandhedstabeller

Skema: Sandhedstabel for et tocifret kryds mellem en toværdset logik
w w ,
til tryllestav w
w f ,
til tryllestav f
f w ,
til f og w
f f ,
til f og f
" "og" "Er der to udsagn," "Står for forbindelsen som en logisk operation" "For sandhedsværdi," w "for sandhedsværdien" den sande "," f "for sandhedsværdien" den falske ".

De såkaldte sandhedstabeller er en metode til tydeligt at vise kurven for sandhedsværdi for extensional joiners i en logik med et begrænset antal sandhedsværdier. I disse er sandhedsværdien af ​​det overordnede udsagn specificeret i hver linje for et overordnet udsagn sammensat af individuelle udsagn ved hjælp af krydset for hver mulig tildeling af sandhedsværdier til de enkelte udsagn. For et tocifret punkt i en tocifret logik kan en sandhedstabel ligne tabellen til højre:

Mulige kryds

Antallet af udsagn, som (eller som) en operatør forbinder til en ny sætning, kaldes dens arity : En etcifret operator kombinerer med en enkelt sætning for at lave en ny sætning, og tocifrede forbindelser med to sætninger for at lave en ny erklæring og så videre. Generelt kombineres et n-cifret kryds med n-sætninger for at danne et nyt.

Arity skal ikke forveksles med valensen, altså med spørgsmålet om, hvor mange sandhedsværdier der er tilladt (se princippet om bivalens ).

I klassisk logik er det vigtigste encifrede substantiv negationen . Vigtige tocifrede sammenføjninger er konjunktionen og disjunktionen (ofte bruges kun disse to). Klassiske tre- og flercifrede kryds kan også spores tilbage til kombinationer af et- og tocifrede kryds.

Generelt er der for en -værdi -logik, dvs. for en logik med uendeligt mange sandhedsværdier, hvis antal er m, -cifrede sandhedsfunktionelle forbindelser. Så for den toværdige propositionelle logik er der encifrede kryds og tocifrede kryds. Der er allerede til den treværdige forslagslogik enkelt ciffer og tocifrede kryds.

De seksten tocifrede sammenføjninger af den toværdige logik er vist i nedenstående tabel.

Tabel over de tocifrede stik i en toværdig logik
Navne Sandhedsværdier Symboler formel
w w
w f
f w
f f
Modsigelse f f f f
sammenhæng w f f f
Indlægssektion, kun P f w f f ,
Uafhængighed, identitet af P w w f f
Pre-sektion, kun Q f f w f ,
Postpendenz, identitet af Q w f w f
Kontravalens , eksklusiv disjunktion, XOR f w w f , , , ,
Adskillelse , tillæg w w w f
Peirce -funktion , NOR, nihilition, afvisning f f f w ,
Bicondition , Bijunktion , ækvivalens w f f w ,
Postnon afhængighed, negation af Q f w f w
Replikation w w f w ,
Prenonpendens, negation af P f f w w
Subjunktion , implikation , betinget w f w w ,
Sheffer -funktion , NAND , eksklusion f w w w , ,
tautologi w w w w

Reducerbarhed og funktionel fuldstændighed

Det er muligt at udtrykke individuelle links gennem andre; for eksempel kan være konjunktionen gennem disjunktion og negation som eller betinget ved adskillelse at udtrykke. Generelt kaldes et sæt forbindelser i forhold til et logisk system funktionelt komplet eller semantisk komplet, hvis alle andre forbindelser i det logiske system kan udtrykkes ved hjælp af det pågældende forbindelsesmiddel. For den klassiske propositionelle logik er for eksempel sæt af forbindelser , og funktionelt komplet. Det betyder, at alle forbindelser i klassisk propositionel logik kan spores tilbage til negation og konjunktion, til negation og disjunction eller til negation og betinget. Ofte brugte sæt af sammenføjninger er , , .

Faktisk er det muligt at repræsentere alle links ved hjælp af et enkelt link, nemlig med Sheffer -funktionen (NAND), men også med Peirce -funktionen (NOR).

Sheffer operatører

Hvis alle andre sammenføjninger kan udtrykkes med kun én sammenføjning, det vil sige uden tilføjelse af andre sammenføjninger, kaldes denne sammenføjning Sheffer -operatøren eller Sheffer -funktionen (efter Henry Maurice Sheffer ). For den klassiske propositionelle logik er der præcis to Sheffer -operatører : Shefferstrich , også kaldet NAND ( eller ) og Peirce -operatøren , også kaldet NOR .

Intensive operatører

Logiske operatorer, hvor sandhedsværdien af ​​en sætning dannet ud fra dem ikke entydigt bestemmes af sandhedsværdierne i deres underklausuler, kaldes forsætlige sammenføjninger . Intensional er f.eks. B. de etcifrede modaloperatører "det er nødvendigt" og "det er muligt" (se modal logik ): Det faktum, at en erklæring er sand, betyder ikke, at denne erklæring også er nødvendig. At en erklæring er forkert betyder ikke, at den er umulig. Derfor kan metoderne ikke behandles sandhedsfunktionelt.

Til fortolkningen af ​​intensionsforbindelser har man brug for mere komplekse modeller end de udvidede sandhedstabeller. Den første betydelige formelle semantik for intensionssamlinger er sandsynligvis Kripke -semantikken, der oprindeligt blev udviklet af Saul Aaron Kripke til fortolkning af modal logik (se modal logik ). Kripke semantik er også velegnet til fortolkning af intuitionistisk logik.

Eksempler

Sandhedstabel for konjunktionen
i toværdig klassisk logik
Sandhedstabel for adskillelsen
i toværdig klassisk logik
Sandhedstabel for den materielle betydning
i toværdig klassisk logik
Sandhedstabel for konjunkturisten
i den treværdige logik Ł3
af Jan Łukasiewicz (1920)
rigtigt rigtigt rigtigt
rigtigt ikke korrekt ikke korrekt
ikke korrekt rigtigt ikke korrekt
ikke korrekt ikke korrekt ikke korrekt
rigtigt rigtigt rigtigt
rigtigt ikke korrekt rigtigt
ikke korrekt rigtigt rigtigt
ikke korrekt ikke korrekt ikke korrekt
rigtigt rigtigt rigtigt
rigtigt ikke korrekt ikke korrekt
ikke korrekt rigtigt rigtigt
ikke korrekt ikke korrekt rigtigt
1 1 1
1 ½ ½
1 0 0
½ 1 ½
½ ½ ½
½ 0 0
0 1 0
0 ½ 0
0 0 0
Sandhedstabel for konjunkturisten
i den treværdige logik B3
af Dimitri Anatoljewitsch Bočvar (1938)
I den dialogiske logik
1 1 1
1 ½ ½
1 0 0
½ 1 ½
½ ½ ½
½ 0 ½
0 1 0
0 ½ ½
0 0 0
modstander Forsvarer
Den konjunktive påstand angribes i henhold til den konjunktive regel: Den foregående hævdes.
Som forsvar bruges følgende kaldes, kan dette gøres ved at overtage den forrige linje skal forsvares. Afhængigt af regelsættet kan udsagnet først fremsættes at blive angrebet.

Weblinks

Wikibooks: Math for non -freaks: Junktor - lærings- og undervisningsmateriale
Wiktionary: Junktor - forklaringer på betydninger, ordoprindelse , synonymer, oversættelser

litteratur