Esta proposición compuesta de denota por formula_14 y se lee p implica q.