5.4: Actividades

Última actualización
Guardar como PDF

Page ID: 118372

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

Actividad\(\PageIndex{1}\)

Escribir un argumento en inglés que tenga forma de modus ponens donde al menos una premisa es falsa, y la conclusión es verdadera.

¿Su argumento contradice el hecho de que todo argumento de modus ponens es válido?
Escribir un argumento en inglés que tenga forma modus tollens donde al menos una premisas es falsa y la conclusión es falsa. ¿Su argumento contradice el hecho de que todo argumento de modus tollens es válido?
Escribir un argumento en inglés que tenga forma silogística donde todas las premisas sean verdaderas. ¿Tu conclusión es verdadera o falsa?

Actividad\(\PageIndex{2}\)

Demostrar que modus tollens es válido sin usar una tabla de verdad. En su lugar, use los siguientes hechos:

modus ponens es válido; y
un condicional es equivalente a su contrapositivo.

Actividad\(\PageIndex{3}\)

Discutir por qué un argumento que es válido equivale a sus premisas que lógicamente implica su conclusión.

Actividad\(\PageIndex{4}\)

La definición de argumento válido es la siguiente.

Siempre que todas las premisas son verdaderas, la conclusión también es cierta.

Crear una definición equivalente que sea la contrapositiva de la definición anterior.

Actividad\(\PageIndex{5}\)

Mostrar que el siguiente argumento es válido sin usar una tabla de verdad. En cambio, argumenta que el argumento cumple con la definición equivalente para argumento válido que creaste en Activity\(\PageIndex{4}\).

\(\begin{aligned} &p \rightarrow \neg q \\ &r \rightarrow (p \land q) \\ & \hline \neg r \end{aligned}\)