Philosophie Lexikon der Argumente

Suche  
 
Äquivalenz: Relation zwischen Sätzen. Sie liegt vor, wenn zwei in Beziehung gesetzte Aussagen den gleichen Wahrheitswert haben, also beide wahr oder auch beide falsch sind.
 
Autor/Titel Begriff Exzerpt Metadaten
Gentzen, G.
 
Bücher bei Amazon
Äquivalenz 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, dass 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ässt.

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

> Gegenargumente gegen Gentzen
> Gegenargumente zu Äquivalenz



zurück zur Liste | > Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 28.03.2017