Si una declaración es verdadera, entonces escriba una prueba formal de esa declaración, y si es falsa, entonces proporcione un contraejemplo que demuestre que es falsa. (a) Por cada enteroa, si ex...Si una declaración es verdadera, entonces escriba una prueba formal de esa declaración, y si es falsa, entonces proporcione un contraejemplo que demuestre que es falsa. (a) Por cada enteroa, si existe un enteron tal quea divide (8n+7) ya divide (4n+1), entoncesa divide 5.
El primero es la falacia de lo inverso o la negación del antecedente:p⇒q¯p∴ Esto en efecto prueba lo ...El primero es la falacia de lo inverso o la negación del antecedente:\begin{array}{cl} & p \Rightarrow q \\ & \overline{p} \\ \hline \therefore & \overline{q} \end{array} Esto en efecto prueba lo inverso\overline{p}\Rightarrow \overline{q}, que sabemos que no es lógicamente equivalente a la implicación original. Demostrar que sin es un múltiplo de 3, entonces tambiénn^2 es un múltiplo de 3. Demostrar que si non es un múltiplo de 3, entonces tampocon^2 es un múltiplo de 3.
