Inversion (Logik)

Inversion (Logik)

Bei der logischen Inversion geht es um die umgekehrte Regel einer Kalkülregel.

Sei R eine definierende Regel eines Kalküls, P sei ihre Prämisse und K die Konklusion. Dann lautet die inverse Regel:

K \Rightarrow P


Für eine gültige Inversion muss bewiesen werden, dass die inverse Regel gültig ist.


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Invers — Inversion (von lateinisch Inversio, die Umkehrung), steht allgemein für die Umkehr einer Sache. Inversion hat folgende Bedeutungen in Mathematik und Naturwissenschaften: die Umkehr des Gradienten einer bestimmten physikalischen Größe, z. B. der… …   Deutsch Wikipedia

  • 2-Tier-Architektur — Aufrufschema in einer Schichtenarchitektur Eine Schichtenarchitektur oder Schichtenmodell ist ein häufig angewandtes Strukturierungsprinzip für die Architektur von Softwaresystemen. Dabei werden einzelne Aspekte des Softwaresystems konzeptionell… …   Deutsch Wikipedia

  • 3-Tier — Aufrufschema in einer Schichtenarchitektur Eine Schichtenarchitektur oder Schichtenmodell ist ein häufig angewandtes Strukturierungsprinzip für die Architektur von Softwaresystemen. Dabei werden einzelne Aspekte des Softwaresystems konzeptionell… …   Deutsch Wikipedia

  • 3-Tier-Architektur — Aufrufschema in einer Schichtenarchitektur Eine Schichtenarchitektur oder Schichtenmodell ist ein häufig angewandtes Strukturierungsprinzip für die Architektur von Softwaresystemen. Dabei werden einzelne Aspekte des Softwaresystems konzeptionell… …   Deutsch Wikipedia

  • Drei-Schichten-Architektur — Aufrufschema in einer Schichtenarchitektur Eine Schichtenarchitektur oder Schichtenmodell ist ein häufig angewandtes Strukturierungsprinzip für die Architektur von Softwaresystemen. Dabei werden einzelne Aspekte des Softwaresystems konzeptionell… …   Deutsch Wikipedia

  • Drei-Tier-Architektur — Aufrufschema in einer Schichtenarchitektur Eine Schichtenarchitektur oder Schichtenmodell ist ein häufig angewandtes Strukturierungsprinzip für die Architektur von Softwaresystemen. Dabei werden einzelne Aspekte des Softwaresystems konzeptionell… …   Deutsch Wikipedia

  • Dreischichtige Architektur — Aufrufschema in einer Schichtenarchitektur Eine Schichtenarchitektur oder Schichtenmodell ist ein häufig angewandtes Strukturierungsprinzip für die Architektur von Softwaresystemen. Dabei werden einzelne Aspekte des Softwaresystems konzeptionell… …   Deutsch Wikipedia

  • Fünf-Schichten-Architektur — Aufrufschema in einer Schichtenarchitektur Eine Schichtenarchitektur oder Schichtenmodell ist ein häufig angewandtes Strukturierungsprinzip für die Architektur von Softwaresystemen. Dabei werden einzelne Aspekte des Softwaresystems konzeptionell… …   Deutsch Wikipedia

  • Layers (Architekturmuster) — Aufrufschema in einer Schichtenarchitektur Eine Schichtenarchitektur oder Schichtenmodell ist ein häufig angewandtes Strukturierungsprinzip für die Architektur von Softwaresystemen. Dabei werden einzelne Aspekte des Softwaresystems konzeptionell… …   Deutsch Wikipedia

  • Mehrschicht-Architektur — Aufrufschema in einer Schichtenarchitektur Eine Schichtenarchitektur oder Schichtenmodell ist ein häufig angewandtes Strukturierungsprinzip für die Architektur von Softwaresystemen. Dabei werden einzelne Aspekte des Softwaresystems konzeptionell… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”