Eine Implikation (von
lat. implicare, „einwickeln“) bezeichnet:bildungssprachlich die Einbeziehung einer Sache in eine andere; ein mitgemeinter, aber nicht
explizit ausgedrückter Bedeutungsinhalt.In der
Logik die
Verknüpfung von
Aussagen a und b, zu einer Aussage der Form „wenn a, dann b“. Es werden eine Reihe sehr unterschiedlicher Aussageverknüpfungen als Implikation bezeichnet, der Begriff ist daher mehrdeutig. Zum einen gibt es verschiedene
objektsprachliche Implikationen, also Aussageverknüpfungen, die der
künstlichen (formalen) Sprache der Logik selbst angehören. Die wichtigste von ihnen ist die materiale Implikation (nach einigen Normen auch
Subjunktion), daneben gibt es die intuitionistische Implikation (ebenfalls
Subjunktion) und die strikte Implikation. Von diesen zu unterscheiden ist die
metasprachliche Implikation, die also nicht der formalen Sprache selbst angehört, sondern ein Mittel ist, um über diese Sprache Aussagen zu treffen. Die metasprachliche Implikation ist auch als
Ableitbarkeitsbegriff bekannt. Außerdem gibt es die Implikation als Operator in manchen
Programmiersprachen.
Mehr unter Wikipedia.org...
adj. adv. 暗示的。含蓄的。隐含的。暗含的。
implicit
Free Download Now!
