Et logisk udtryk er et udtryk af typen boolean En prebetingelse af en operation er et logisk udtryk,
som skal være opfyldt umiddelbart før operationen kaldes En postbetingelse af en operationer et logisk udtryk,
som skal være opfyldt umiddelbart efter at operation er udført |