Konsekvens (logik)
Från Rilpedia
(Omdirigerad från Logisk konsekvens)
Texten från svenska Wikipedia
Konsekvens är ett av de mest centrala begreppen som all logik bygger på.
En logisk konsekvens kan liknas vid ett teorem i ett formellt system. Om man utgår ifrån en uppsättning givna händelser och särskilda bestämda härledningsregler (logik) så kan man förutse vad dessa händelser kommer att resultera i. Detta resultat är den logiska konsekvensen. Ordet konsekvens kan även betyda hota eller anse som att hota. [källa behövs]
