Sejam e números reais tais que e são racionais. Das afirmações:

  1. Se é racional ou é racional, então é racional

  2. Se é racional, então é racional

  3. Se é racional, então e são racionais

é(são) sempre verdadeira(s