Flera slutsatser logik

En logik med flera slutsatser är en där logisk konsekvens är en relation , ${\displaystyle \vdash } ,$ mellan två uppsättningar meningar (eller propositioner ) . $\Gamma \vdash \Delta$ tolkas vanligtvis som att när varje element i $\Gamma$ är sant, är något element i $\Delta$ sant; och när varje element i $\Delta$ är falskt, är något element i $\Gamma$ falskt.

Denna form av logik utvecklades på 1970-talet av DJ Shoesmith och Timothy Smiley men har inte blivit allmänt adopterad.

Vissa logiker förespråkar en konsekvensrelation med flera slutsatser framför den mer traditionella enstaka slutsatsrelationen på grund av att den senare är asymmetrisk (i informell, icke-matematisk mening) och gynnar sanning framför falskhet (eller påstående framför förnekelse).

Se även

• Sekvensräkning