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).