Buscar

Loading [MathJax]/jax/output/HTML-CSS/jax.js

1.5: Determinar si una afirmación es verdadera
https://espanol.libretexts.org/Matematicas/Logica_Matematica_y_Pruebas/Pruebas_y_conceptos_-_Los_fundamentos_de_la_matem%C3%A1tica_abstracta_(Morris_y_Morris)/01%3A_L%C3%B3gica_Proposicional/1.05%3A_Determinar_si_una_afirmaci%C3%B3n_es_verdadera
Supongamos que $A$ $B$ es verdad, es falso, y $C$ es verdad. ¿Es $(A \lor C) \Rightarrow \lnot (A \Rightarrow B)$ verdad? Tenemos\[\begin{aligned} (A \lor C) \Rightarrow \lnot (A \Rightarrow B) &\...Supongamos que $A$ $B$ es verdad, es falso, y $C$ es verdad. ¿Es $(A \lor C) \Rightarrow \lnot (A \Rightarrow B)$ verdad? Tenemos $\begin{aligned} (A \lor C) \Rightarrow \lnot (A \Rightarrow B) &\quad= \quad (\mathsf{T} \lor \mathsf{T}) \Rightarrow \lnot (\mathsf{T} \Rightarrow \mathsf{F}) \\& \quad= \quad \mathsf{T} \Rightarrow \lnot \mathsf{F} \\& \quad= \quad \mathsf{T} \Rightarrow \mathsf{T} \\& \quad= \quad \mathsf{T} . \end{aligned}$ La aseveración es cierta.

Search