Eine Implikation ist eine Verknüpfung von Aussage a mit Aussage b, sodass b mindestens dann wahr ist, wenn a wahr ist.
Schreibweise dafür:
- a ⊢ 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: