Resultados 1 al 1 de 1

Tema: Recomendaciones Lógica Matemática

  1. #1
    Fecha de Ingreso
    19 ago, 21
    Mensajes
    967

    Recomendaciones Lógica Matemática

    Si nos piden ver si dos sentencias son equivalentes en Lógica Modal, primero escribirlas cada una por separado utilizando ¬, ♦, .



    Después simplificarlas haciendo uso de las equivalencias comentadas y de la supresión de la doble negación y por último ver si
    coinciden. Ojo, el orden de los símbolos en general no es conmutativo, no es lo mismo:


    es posible que sea necesario que p ≡ ♦ (¬♦¬) ≡ ♦ ¬♦¬
    que
    es necesario que sea posible p ≡ (¬♦¬)♦ ≡ ¬♦¬♦


    Las Tablas de verdad son muy importantes a la hora de pasar la lógica a las máquinas. Su sencillez es su mejor cualidad, y la gran
    combinatoria de casos que pueden aparecer, cuando el número de literales es grande, es su inconveniente, que cada vez es menor por
    la gran potencia que van teniendo los ordenadores.


    Si se definen una sentencias para trabajar con ellas en preguntas posteriores es conveniente pasarlas a forma clausulada, ya que
    aunque en el primer o segundo ejercicio no os hagan falta, seguro que a lo largo del examen las necesitáis.


    Cada vez que nos encontremos con la igualdad, debemos sustituirla por un predicado diádico, p. ej. R, y añadir los axiomas de la
    igualdad (pag. 174 del libro). Se trata el signo ‘=’ como una relación de equivalencia, y se escribe Rxy en lugar de x = y, lo que
    facilita el cálculo.

  2.  

Etiquetas para este Tema

Permisos de Publicación

  • No puedes crear nuevos temas
  • No puedes responder temas
  • No puedes subir archivos adjuntos
  • No puedes editar tus mensajes
  •