• Enunciados y proposiciones
    basicas para demostrar varios argumentos y pueden definirse en reglas de implicación y de equivalencia. R1= permiten derivar una conclusión a partir de otros enunciados que las contienen y son: REGLAS DE EQUIVALENCIA Solamente existe 1 regla que dice que de un enunciado cualquiera se puede...
    938 Palabras 4 Páginas
  • LOG, Y MATEMATICAS
    lógicas siguiendo las reglas estandarizadas de los árboles lógicos. Transforman expresiones lógicas a formas equivalentes. Identifican y aplicar los Principios Fundamentales de la Lógica Formal Determinan la validez de argumentos, utilizando las Reglas de Inferencia Determinan si una proposición...
    11195 Palabras 45 Páginas
  • Inge
    equivalentes © 2007 Julio Villena - 9 Equivalencias lógicas básicas Doble negación Leyes de De Morgan Leyes distributivas Reducción al absurdo © 2007 Julio Villena - 10 Reglas de inferencia Las reglas de inferencia son esquemas básicos de la forma que encadenándolos sirven para hacer...
    732 Palabras 3 Páginas
  • Aplicaciones de la logica
     Introducción La lógica se ha convertido en una materia de gran amplitud y aplicación en diversas Ciencias. Es una disciplina que por medio de reglas y técnicas determina si un argumento es válido. Una de las aplicaciones de la lógica es en las matemáticas, la computación, etc. En las...
    541 Palabras 3 Páginas
  • Logica matematica
    tres pasos de la demostración son las premisas, los pasos 4 y 6 son equivalencias y los pasos 5 y 7 son la aplicación de la regla MPP con las premisas que se encuentran en el paréntesis. Para más equivalencias, ver el Tema 1.9.1 Equivalencias Logicas y Utilizaciones. Una demostración como la...
    9535 Palabras 39 Páginas
  • Libro De Apuntes Y Problemas De Lógica Matemática De Alessandra Gallinari
    deducciones . . . . . . . Equivalencia de fórmulas . . . . . . . . . . . . . . 6.5.1 Sustitución de una variable por un término 6.5.2 Equivalencia de fórmulas . . . . . . . . . . 6.5.3 Equivalencia lógica y reemplazamiento . . Ejercicios...
    35753 Palabras 144 Páginas
  • logica matematica discreta
    equivalencia lógica o reglas de inferencia. Matemática discreta. Lógica 28 Cálculo proposicional ejemplo Consecuencia lógica válida, razonamiento correcto: {p→q, p}⎥= q premisas Consecuencia lógica no válida, razonamiento incorrecto: {p→q, ¬p}⎥≠ ¬q premisas conclusión...
    2163 Palabras 9 Páginas
  • Ingenieria de sistemas
    lógica como ciencia. Aristóteles trato el razonamiento silogístico (reglas del silogismo), el cual fue acogido por los escolásticos (corriente – filosófica de la Edad Media) quienes trataron de formalizarlo mediante numerosos estudios, acabando por saturarla hasta causar su descrédito a partir del...
    5098 Palabras 21 Páginas
  • Mtematicas discretas
    las premisas y las reglas de inferencia o equivalencias lógicas utilizadas, tanto de la lógica de predicados, como de la lógica proposicional. 1. 2. 3. 4. Expresión generalizada ∀( x)(G ( x) → C ( x)) Expresión particular G (t ) { E.U. (1) } G (t ) → C (t ) { M.P.P (3 y 2) C (t ) ∴ El argumento es...
    13312 Palabras 54 Páginas
  • Logica 1
    reglas de inferencia adicionales. Ahora bien, los únicos enunciados compuestos función de verdad. Luego, si se reemplaza una parte cualquiera de un enunciado compuesto por una expresión que es lógicamente equivalente ala parte remplazada el valor de verdad del enunciado que resulta es el mismo que el...
    13315 Palabras 54 Páginas
  • Derecho
    lógicamente equivalente ala parte remplazada el valor de verdad del enunciado que resulta es el mismo que el de el enunciado original . A esto se le llama, algunas veces la regla de remplazo, y otras, la del principio de extencionabilidad. Adoptamos la regla de remplazo con un principio adicional de...
    13593 Palabras 55 Páginas
  • calculo logico
    Cálculo lógico Artículo principal: Cálculo lógico. El cálculo lógico es un sistema de reglas de inferencia o deducir un enunciado a partir de otro u otros. El cálculo lógico requiere un conjunto consistente de axiomas y unas reglas de inferencia y su propósito es poder deducir algorítmicamente...
    1318 Palabras 6 Páginas
  • Leyes de la Logica
    para obtener conclusiones simples. Por otra parte, las conclusiones compuestas, que se basan en dos o más reglas, se obtienen usando el llamado mecanismo de resolución. LEY DE EQUIVALENCIA: Dos fórmulas lógicas son equivalentes si tienen los mismos valores de verdad para todos los posibles valores de...
    483 Palabras 2 Páginas
  • Matematica
    ------------------------------------------------- Cálculo lógico Artículo principal: Cálculo lógico. El cálculo lógico es un sistema de reglas de inferencia o deducir un enunciado a partir de otro u otros. El cálculo lógico requiere un conjunto consistente de axiomas y unas reglas de inferencia...
    1320 Palabras 6 Páginas
  • Logica
    equivalencia lógica o reglas de inferencia. Matemática discreta. Lógica 28 Cálculo proposicional ejemplo Consecuencia lógica válida, razonamiento correcto: {p→q, p}⎥= q premisas Consecuencia lógica no válida, razonamiento incorrecto: {p→q, ¬p}⎥≠ ¬q premisas conclusión...
    2588 Palabras 11 Páginas
  • Logica Matematica
    tablas de verdad, leyes de equivalencia lógica o reglas de inferencia. Matemática discreta. Lógica 28 Cálculo proposicional ejemplo Consecuencia lógica válida, razonamiento correcto: {p→q, p}⎥= q premisas Consecuencia lógica no válida, razonamiento incorrecto: {p→q, ¬p}⎥≠ ¬q...
    2166 Palabras 9 Páginas
  • Reglas De Equivalencia
    3.1 Reglas de equivalencia En esta sección estudiarás y aplicarás algunas reglas de equivalencia de proposiciones lógicas. Es decir, vamos a empezar a aplicar algunas reglas que nos permitirán transformar proposiciones compuestas, pero conservando su semántica, o sea, todas sus interpretaciones, o...
    1589 Palabras 7 Páginas
  • Logica
    , leyes de equivalencia lógica o reglas de inferencia. Matemática discreta. Lógica 28 Cálculo proposicional ejemplo Consecuencia lógica no válida, razonamiento incorrecto: {p→q, ¬p}⎥≠ ¬q premisas p q ►0 0 ►0 1 1 0 1 1 p→q 1 1 0 1 conclusión Consecuencia lógica válida, razonamiento...
    2617 Palabras 11 Páginas
  • Investigacion
    previamente establecidas,2 que puede enmarcarse en uno o varios contextos referenciales diversos,3 obteniéndose en cada uno de ellos un significado como valor de verdad de equivalente.4 5 6 Es la operación lógica utilizada en los motores de inferencia de los Sistemas Expertos. Reglas de inferencia...
    2812 Palabras 12 Páginas
  • Ing.electrico
    2009 - © JVR - 8 Equivalencias lógicas básicas Doble negación Leyes de De Morgan Leyes distributivas Reducción al absurdo IRC 2009 - © JVR - 9 Reglas de inferencia Las reglas de inferencia son esquemas básicos de la forma que encadenándolos sirven para hacer razonamientos deductivos en...
    662 Palabras 3 Páginas