Navnet på konnektivet, der i natursproget hedder "ikke".
Hvad er en negation?
100
Et argument, for hvilket det gælder, at der ikke findes en situation i hvilken det er tilfældet, at præmisserne er sande, mens konklusionen er falsk.
Hvad er et gyldigt argument?
100
Et slutningsskema på formen: "Hvis A, så B. A. Derfor B."
Hvad er "Modus (Ponendo) Ponens"?
100
Den logik, som vi indtil videre har beskæftiget os med på logik 1, og som kun benytter sig af sproget "L".
Hvad er "Udsagnslogik"?
100
En operator inden for modallogik, som ligner kuløren "ruder" i et sæt spillekort.
Hvad er "Mulighed"?
200
Navnet på konnektivet, der i natursproget hedder "og".
Hvad er en konjunktion?
200
Et argument, for hvilket det både gælder, at der ikke findes en situation i hvilken det er tilfældet, at præmisserne er sande, mens konklusionen er falsk, samtidig med, at præmisserne rent faktisk ER sande.
Hvad er et holdbart argument?
200
Et slutningsskema på formen: "Hvis A, så B. Ikke B. Derfor ikke A."
Hvad er "Modus (Tollendo) Tollens"?
200
En logik, vi kommer til at beherske på logik 2, og som benytter sig af sproget L_fol, hvor blandt andet eksistenskvantoren (der ligner et spejlvendt E) indgår.
Hvad er "Første ordens prædikatslogik"?
200
En operator inden for modallogik, hvis tegn er et kvadrat.
Hvad er "Nødvendighed"?
300
Navnet på konnektivet, der i natursproget hedder "hvis..., så...".
Hvad er den materielle implikation?
300
Et udsagn, der er sande i alle mulige situationer.
Hvad er en tautologi?
300
Et slutningsskema på formen. "Hvis A, så B. B. Derfor A."
Hvad er "Bekræftelse af antecedenten"?
300
Et metabegreb for logikker, der bryder med ekstensionalitetsprincippet.
Hvad er "Intensionelle logikker"?
300
Et udsagn af typen: " Hvis det havde været tilfældet at..., så...".
Hvad er et "Kontrafaktisk konditionale"?
400
Navnet på konnektivet, der i natursproget hedder "enten... eller..." og som samtidig udelukker muligheden for både/og.
Hvad er den eksklusive disjunktion?
400
Et udsagn, som udtrykker sig om sagsforhold, som er afgørbare, og som således ikke indeholder æstetiske eller normative domme?
Hvad er et deklarativt udsagn?
400
Et slutningsskema på formen. "Enten A eller B. Ikke B. Derfor A."
Hvad er "Modus Tollendo Ponens"?
400
En type modallogik, der opnås hvis man tilføjer operatorer for nødvendighed og mulighed.
Hvad er "Aletisk logik"?
400
Navnet på en operator inden for modallogik, som skrives med et K efter engelsk "know".
Hvad er en "Epistemisk operator"?
500
Navnet på konnektivet, der i natursproget udtrykkes "for alle...".
Hvad er en universalkvantor/alkvantor?
500
En bevisform, som bygger på, at man viser, at alternativet til det man forsøger at bevise vil medføre en absurditet.
Hvad er "Reductio ad absurdum?"
500
Et slutningsskema på formen: "Ikke både A og B. A. Derfor ikke B."
Hvad er Modus Ponendo Tollens"?
500
Et metabegreb for logikker, der bryder med bivalensprincippet, og som "Fuzzy logic" hører under.
Hvad er "Polyvalente logikker"?
500
Navnet på en operator inden for modallogik, som skrives med et B efter engelsk "believe".