Buscar
- Filtrar resultados
- Ubicación
- Clasificación
- Incluir datos adjuntos
- 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.02%3A_Implicaci%C3%B3nSupongamos que una madre le hace la siguiente declaración a su hijo: “Si terminas tus arvejas, obtendrás postre”. Esta es una oración compuesta compuesta por las dos frases más simples P = “Acabas tus...Supongamos que una madre le hace la siguiente declaración a su hijo: “Si terminas tus arvejas, obtendrás postre”. Esta es una oración compuesta compuesta por las dos frases más simples P = “Acabas tus guisantes” y D = “Te darán postre”. Es un ejemplo de un tipo de oración compuesta llamada condicional. Los condicionales son declaraciones tipo sif-then. En el lenguaje ordinario se suele eliminar la palabra “entonces” (como es el caso de nuestro ejemplo anterior).
- https://espanol.libretexts.org/Matematicas/Matematicas_Aplicadas/Matematicas_para_estudiantes_de_arte_liberal_(Diaz)/04%3A_Logica/4.03%3A_Tablas_de_la_VerdadDebido a que las declaraciones booleanas complejas pueden llegar a ser difíciles de pensar, podemos crear una tabla de verdad para hacer un seguimiento de qué valores de verdad para las declaraciones ...Debido a que las declaraciones booleanas complejas pueden llegar a ser difíciles de pensar, podemos crear una tabla de verdad para hacer un seguimiento de qué valores de verdad para las declaraciones simples hacen que la declaración compleja sea verdadera y falsa. Una tabla de verdad muestra cuál es el valor de verdad resultante de una declaración compleja para todos los posibles valores de verdad para declaraciones simples.
- https://espanol.libretexts.org/Humanidades/Filosofia/Metodos_Fundamentales_de_Logica_(Knachel)/3%3A_Logica_deductiva_I_-_Logica_aristotelica/3.4%3A_Operaciones_sobre_sentencias_categ%C3%B3ricasContinuamos nuestra exploración de la porción del lenguaje natural a la que se restringe la lógica de Aristóteles: las oraciones de forma estándar que expresan proposiciones categóricas. Para familiar...Continuamos nuestra exploración de la porción del lenguaje natural a la que se restringe la lógica de Aristóteles: las oraciones de forma estándar que expresan proposiciones categóricas. Para familiarizarnos más íntimamente con estos, veremos cómo responden cuando realizamos diversas operaciones sobre ellos, cuando los manipulamos de diversas maneras. Examinaremos tres operaciones: conversión, obversión y contraposición. Cada una de estas altera de alguna manera las oraciones de forma estándar.
- https://espanol.libretexts.org/Quimica/Qu%C3%ADmica_F%C3%ADsica_y_Te%C3%B3rica/Libro%3A_Termodin%C3%A1mica_y_Equilibrio_Qu%C3%ADmico_(Ellgen)/01%3A_Introducci%C3%B3n_-_Antecedentes_y_una_mirada_al_futuro/1.10%3A_Algunas_ideas_desde_la_l%C3%B3gica_formalLa lógica formal trata de las relaciones entre proposiciones, donde una proposición es cualquier declaración de (presunto) hecho. Cualquier proposición puede expresarse como una oración ordinaria en i...La lógica formal trata de las relaciones entre proposiciones, donde una proposición es cualquier declaración de (presunto) hecho. Cualquier proposición puede expresarse como una oración ordinaria en inglés, aunque puede ser más conveniente usar símbolos matemáticos o alguna otra notación.