Eine Trivialität sei || 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 => P

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

Discussion Area - Leave a Comment

You must be logged in to post a comment.