Philosophy Lexicon of Arguments

Search  
 
Equivalence: Relation between sentences. It exists if both sides have the same truth value, so that they are both true or both false.
 
Author Item Excerpt Meta data
Gentzen, G.
 
Books on Amazon
Equivalence Berka I 248
Def Äquivalenz/Sequenzenkalkül/Gentzen: zwischen Formeln und Sequenzen: gleiche Formeln sind äquivalent - gleiche Sequenzen sind äquivalent. - Zwei Formeln sind äquivalent, wenn die eine aus der anderen dadurch entsteht, daß man das Zeichen F (das Falsche) überall durch die Formel A & -i A ersetzt.
Def Äquivalenz von Herleitungen: liegt vor, wenn die Endformel bzw. die Endsequenz der einen mit der der anderen äquivalent ist - Def Äquivalenz von Kalkülen: liegt vor, wenn sich jede Herleitung in dem einen Kalkül in eine äquivalente Herleitung in dem anderen Kalkül umwandeln läßt.

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983


> Counter arguments against Gentzen
> Counter arguments in relation to Equivalence



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file
 
Ed. Martin Schulz, access date 2017-04-24