Esta proposición compuesta se denota por formula_18 y se lee p si y solo si q.