Description: Contraposition law for strict ordering in orthoposets. ( chpsscon1 analog.) (Contributed by NM, 5-Nov-2011)