Logika s více závěry - Multiple-conclusion logic - Wikipedia

A logika s více závěry je jeden, ve kterém logický důsledek je vztah, ${ displaystyle vdash}$mezi dvěma sady z věty (nebo propozice ). ${ displaystyle Gamma vdash Delta}$ se obvykle interpretuje v tom smyslu, že kdykoli každý prvek ${ displaystyle Gamma}$ je pravda, nějaký prvek z ${ displaystyle Delta}$ je pravda; a kdykoli každý prvek ${ displaystyle Delta}$ je nepravdivý, nějaký prvek z ${ displaystyle Gamma}$ je nepravdivé.

Tuto formu logiky vyvinul v 70. letech 20. století D. J. Shoesmith a Timothy Smiley^[1] ale nebyl široce přijat.

Nějaký logici upřednostňovat vztah následků s více závěry před tradičnějším vztahem s jedním závěrem z důvodu, že tomu tak je asymetrický (v neformálním, nematematickém smyslu) a upřednostňuje pravdu před falešností (nebo tvrzení před popřením).

Viz také

• Sekvenční počet

Reference

Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.