Inferensreglerne (også kendt som slutningsregler) er en logisk form eller guide bestående af præmisser (eller hypoteser) og drager en konklusion. Et gyldigt argument er, når konklusionen er sand, når alle overbevisningerne er sande, og et ugyldigt argument kaldes en fejlslutning som bemærket af Monroe Community College.
Hvad er de 9 slutningsregler?
Vilkår i dette sæt (9)
- Modus Ponens (M. P.) -Hvis P så Q. -P. …
- Modus Tollens (M. T.) -Hvis P, så Q. …
- Hypotetisk syllogisme (H. S.) -Hvis P, så Q. …
- Disjunktiv syllogisme (D. S.) -P eller Q. …
- Konjunktion (Konj.) -P. …
- Konstruktivt dilemma (C. D.) -(Hvis P, så Q) og (Hvis R, så S) …
- Simplification (Simpl.) -P og Q. …
- Absorption (abs.) -Hvis P, så Q.
Hvad menes med regler og slutningsteori?
Et gyldigt argument er et, hvor konklusionen følger af præmissernes sandhedsværdier. Regler for slutninger leverer skabelonerne eller retningslinjerne til at konstruere gyldige argumenter ud fra de udsagn, som vi allerede har.
Hvilken slutningsregel bruges?
Introduktion. Inferensregler er syntaktiske transformationsregler, som man kan bruge til at udlede en konklusion ud fra en præmis for at skabe et argument. Et sæt regler kan bruges til at udlede enhver gyldig konklusion, hvis den er komplet, mens man aldrig udleder en ugyldig konklusion, hvis den er sund.
Hvad erkonjunktionsregel for slutning?
I propositionel logik er konjunktionseliminering (også kaldet og elimination, ∧ elimination eller simplifikation) en gyldig umiddelbar slutning, argumentform og slutningsregel, som gør den slutning, at hvis konjunktionen A og B er sand, så er A sand, og B er sand.
