podmienka postačujúca
- kritérium-predpoklad (prvá čas») v implikácii, ak p=>q je pravdivá implikácia, tak p je postačujúca podmienka q ( L715;569).