logisk betingelse