Ver canal RSS

Blogs recientes

  1. Teorema de deducción

    Hoy voy a tratar un teorema importantísimo en lógica y matemáticas conocido como el teorema de deducción.
    Es recomendable haber leído la entrada anterior sobre el sistema deductivo formal  K_L , que es lo que utilizaremos hoy.

    En lógica, al menos lingüísticamente hablando, es bastante diferente deducir una proposición de otra ( \Gamma, \alpha \vdash \beta ), de deducir que esa proposición implique la siguiente  \Gamma \vdash \alpha \rightarrow \beta . Sin embargo, cualquiera puede pensar que hay una relación entre ambas casi de equivalencia, y esto es cierto: es lo que queremos demostrar.

    ¿Cuál sería la ventaja de tener un teorema de éstas carácterísticas? Deducir  \Gamma, \alpha \vdash \beta suele ser extremadamente ...

    Actualizado 12/03/2017 a las 22:45:38 por alexpglez

    Etiquetas: lógica
    Categorías
    Matemáticas
  2. Fórmulas de física en lenguaje Latex 15 - Lógica, Tablas de verdad

    En esta entrega paso las tabla de verdad ( hay muy poco codigo Latex) y las figuras mas reconocidas de las compuertas lógicas básicas y las relaciones y propiedades del álgebra booleana.


    Lógica Booleana en compuertas

    Afirmación SI
    S=A
    Nombre:  verdadero.jpg
Vistas: 1690
Tamaño: 1,7 KB
    A S
    1 1
    0 0
    ...

    Actualizado 09/11/2015 a las 04:41:36 por Richard R Richard

    Categorías
    Tex / Latex , Física , Matemáticas , La web de Física