Logik for burhøns og senatorer

Et flertal i senatet i USA har besluttet at det er helt efter bogen at fortsætte rigsretssagen mod den forhenværende præsident Donald Trump.

Striden handlede om hvordan ordet: ”og” skulle fortolkes.

Ifølge forfatningen har en rigsretssag til formål at:
A) fjerne nogen fra deres offentlige embede
OG
B) forhindre dem i at vælges til et offentligt embede igen.

Formel logik har sine egne symboler og termer, og de fleste af logikkens konnektiver kan oversættes nogenlunde direkte til eller fra hverdagsproget.

Ordet: ”eller” kan bruges i to forskellige betydninger, og hver betydning har sit eget logiske konnektiv.
Enten bruges ordet inkluderende eller også bruges det ekskluderende.
I ovenstående sætning bruges ordet: ”eller” i den ekskluderende betydning, og den brug af ordet: ”eller” kan gøres tydelig ved også at bruge ordet ”enten”.
Altså A eller B, men ikke både A og B.

Hvis du er skrupsulten og eksempelvis godt kunne ønske dig et æble eller en bøf, så er det ikke udelukket at du også godt kunne ønske dig et æble OG en bøf.
Altså A, B eller begge dele.
Den inkluderende brug af ordet: ”eller” kan gøres tydelig ved i stedet at skrive ”og/eller”, men i talesprog vil den betydning næsten altid være underforstået.

Ordet: ”eller” er således upraktisk i en formel lovtekst, hvis det ikke klart er angivet i hvilken af de to betydninger ordet er brugt.

Ordet: ”og” er derimod ganske entydigt, og modsvares kun af ét konnektiv indenfor formel logik.

Som en meget sjælden undtagelse kan ordet: ”og” bruges i en betydning, hvor ordet: ”eventuelt” er underforstået dvs. A og evt. B også.

Men man skal vist være burhøne eller politiker for at bruge ordet: ”og” i følgende betydning:
Evt. A og helt sikkert B.

Rigsretssagen er altså godt gakket allerede, men processen skal nok nå at blive endnu mere sindssyg.

2 Kommentarer

  1. Jeg tolker det således:
    OG betyder at begge betingelse skal opfyldes.

    Logik. Hvis begge indgange er høje i en andgate, så er udgangen høj. Logikken gælder også her
    Altså begge resultater dækkes af ordet og. (Den der og den der.)

    Eller. Hvis den ene er høj i en indgang i andgate, så er udgangen lav.
    Altså det ene resultat dækkes af ordet eller. (Den der eller den der, men hvilken.)

    Indput | Out.put
    A | B | F
    0 | 0 | 0
    0 | 1 | 0
    1 | 0 | 0
    1 | 1 | 1

    det er den eneste måde jeg kan forklare min forståelse af det hele.

Leave a Reply

Din email adresse vil ikke blive vist offentligt.


*


This site uses Akismet to reduce spam. Learn how your comment data is processed.