Buscar
- Filtrar resultados
- Ubicación
- Clasificación
- Incluir datos adjuntos
- https://espanol.libretexts.org/Matematicas/Combinatoria_y_Matematicas_Discretas/Matem%C3%A1ticas_Discretas_(Levin)/3%3A_L%C3%B3gica_Simb%C3%B3lica_y_Pruebas/3.1%3A_L%C3%B3gica_ProposicionalUna proposición es simplemente una declaración. La lógica proposicional estudia las formas en que las declaraciones pueden interactuar entre sí. Es importante recordar que a la lógica proposicional no...Una proposición es simplemente una declaración. La lógica proposicional estudia las formas en que las declaraciones pueden interactuar entre sí. Es importante recordar que a la lógica proposicional no le importa realmente el contenido de las declaraciones. Por ejemplo, en términos de lógica proposicional, las afirmaciones, “si la luna está hecha de queso entonces las pelotas de baloncesto son redondas”, y “si las arañas tienen ocho patas entonces Sam camina cojeando” son exactamente las mismas.
- 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.06%3A_Tautolog%C3%ADas_y_contradiccionesmientras que siP yQ son verdaderos, peroR son falsos, entonces\[\begin{aligned} \bigl( P \& (\lnot Q \lor \lnot R) \bigr) \Rightarrow (P \Rightarrow \lnot Q) & \quad = \quad \bigl( \mathsf...mientras que siP yQ son verdaderos, peroR son falsos, entonces\[\begin{aligned} \bigl( P \& (\lnot Q \lor \lnot R) \bigr) \Rightarrow (P \Rightarrow \lnot Q) & \quad = \quad \bigl( \mathsf{T} \& (\lnot \mathsf{T} \lor \lnot \mathsf{F}) \bigr) \Rightarrow (\mathsf{T} \Rightarrow \lnot \mathsf{T}) \\& \quad = \quad \bigl( \mathsf{T} \& (\mathsf{F} \lor \mathsf{T}) \bigr) \Rightarrow (\mathsf{T} \Rightarrow \mathsf{F}) \\& \quad = \quad \bigl( \mathsf{T} \& \mathsf{T} \bigr) \Rightarro…
- https://espanol.libretexts.org/Matematicas/Logica_Matematica_y_Pruebas/Suave_Introducci%C3%B3n_al_Arte_de_las_Matem%C3%A1ticas_(Campos)/02%3A_L%C3%B3gica_y_cuantificadores/2.03%3A_Equivalencias_l%C3%B3gicasAlgunas declaraciones lógicas son “lo mismo”. Por ejemplo, discutimos el hecho de que un condicional y su contrapositivo tienen el mismo contenido lógico. No obstante, el signo igual (=) ya tiene trab...Algunas declaraciones lógicas son “lo mismo”. Por ejemplo, discutimos el hecho de que un condicional y su contrapositivo tienen el mismo contenido lógico. No obstante, el signo igual (=) ya tiene trabajo; se utiliza para indicar que dos cantidades numéricas son iguales. La definición formal de equivalencia lógica es que dos oraciones compuestas son lógicamente equivalentes si en una tabla de verdad, los valores de verdad de las dos oraciones son iguales en cada fila. Por lo tanto, usamos el símb
- https://espanol.libretexts.org/Humanidades/Filosofia/Introduccion_a_la_logica_y_al_pensamiento_critico_(van_Clave)/02%3A_Metodos_formales_de_evaluacion_de_argumentos/2.10%3A_Tautologias_contradicciones_y_declaraciones_contingentesEn una contradicción, la tabla de la verdad será tal que cada fila de la tabla de la verdad bajo el operador principal será falsa. Primero tuve que determinar la conjunción izquierda (A v B) y luego l...En una contradicción, la tabla de la verdad será tal que cada fila de la tabla de la verdad bajo el operador principal será falsa. Primero tuve que determinar la conjunción izquierda (A v B) y luego la conjunción derecha (~A ⋅ ~B), pero para poder averiguar los valores de verdad de la conjunción derecha (que es en sí misma una conjunción), tuve que determinar las negaciones de A y B.
