hinreichende Bedingung
In der Aussagenlogik bedeutet A -> B ("wenn A dann B" oder "aus A folgt B"), dass A eine hinreichende Bedingung für B ist.
In der Aussagenlogik bedeutet A -> B ("wenn A dann B" oder "aus A folgt B"), dass A eine hinreichende Bedingung für B ist.