Eine Implikation (v. lat.: implicare verwickeln) bezeichnet
- bildungsspr. die Einbeziehung einer Sache in eine andere
- logisch die Verknüpfung von Aussage a mit Aussage b, sodass b mindestens dann wahr ist, wenn a wahr ist.
Schreibweise dafür:
- a ⊢ b
Sprechweise dafür:
- Wenn a, dann b
Eine Implikation selbst ist ein Boole'scher Ausdruck. So bedeutet
- (a ⊢ b) ⊢ c
Wenn gilt, dass, wenn a wahr ist, dann b wahr ist, dann ist c wahr.
Siehe auch: