Logica

3872 palabras 16 páginas
Pregunta 5 Equivalencia lógica
En lógica, declaraciones p y q sea lógicamente equivalente si tienen el mismo contenido lógico.
Sintácticamente, p y q sea equivalente si cada uno puede ser probado del otro. Semántico, p y q sea equivalente si tienen igual valor de verdad en cada modelo.
La equivalencia lógica se confunde a menudo con equivalencia material. El anterior es una declaración en metalenguaje, demandando algo sobre declaraciones p y q en lengua de objeto. Pero la equivalencia material de p y q (escrito a menudo “p ↔ q“) está sí mismo otra declaración en la lengua de objeto. Hay una relación, sin embargo; p y q sea sintácticamente equivalente si y solamente si p ↔ q es a teorema, mientras que p y q está semántico el equivalente
…ver más…
Algebraico, la negación lógica corresponde a complemento en a Álgebra boleana (para la lógica clásica) o a Álgebra de Heyting (para la lógica intuicionista).
Características
* distributivity: ~~ * linear: En Álgebra boleana, una función linear es una tales que:
Si existe a0, a1, ... , an {0.1} tales que f (b1, ... , bn) = a0 ⊕ (a1 b1) ⊕ ... ⊕ (an bn), para todo el b1, ... , bn {0,1}.
Otra manera de expresar esto es que cada variable diferencia siempre en el verdad-valor de la operación o nunca diferencia. La negación es operador lógico linear. * uno mismo dual: En Álgebra boleana una función dual del uno mismo es una tales que:
Si f (a1, ... , an) = ~f (~a1, ... , ~an) para toda la a1, ... , an {0,1}. La negación es operador lógico dual del uno mismo.
Informática
Como en matemáticas, la negación se utiliza adentro informática para construir declaraciones lógicas. ¡si (! (== t de r)) { … declaraciones ejecutadas cuando r no iguala t… }
“!” significa lógico no adentro B, C, e idiomas con A.c. - sintaxis inspirado por ejemplo C++, Java, Javascript, Perl, y PHP. “NO” es el operador usado adentro ALGOL 60, BASIC, e idiomas con un sintaxis ALGOL-inspirado por ejemplo PASCAL, Ada, y Eiffel. Algunas idiomas (C++, Perl, etc.) proporcionan a más de un operador para la negación. Pocas idiomas, como Ratfor, ¬ del uso para la negación. Algunas

Documentos relacionados

  • Lógica
    719 palabras | 3 páginas
  • Logica
    1909 palabras | 8 páginas
  • Logica
    2381 palabras | 10 páginas
  • Logica
    676 palabras | 3 páginas
  • Logica
    1595 palabras | 7 páginas
  • logica
    7100 palabras | 29 páginas
  • logica
    922 palabras | 4 páginas
  • Logica
    8419 palabras | 34 páginas
  • Logica
    724 palabras | 3 páginas
  • logica
    627 palabras | 3 páginas