Proposición semidecente