Nothing Special   »   [go: up one dir, main page]
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 103 vistas

    Conectiva Lógica

    Cargado por

    jesus
    Las conectivas lógicas son símbolos utilizados para conectar fórmulas lógicas y determinar el valor de verdad de la fórmula resultante en base a los valores de las fórmulas componentes. Existen conectivas como la negación, conjunción, disyunción y condicional que se definen mediante tablas de verdad y tienen análogos en el lenguaje natural. En total hay 18 conectivas binarias posibles que representan todas las funciones lógicas de dos variables.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PDF, TXT o lea en línea desde Scribd

    Conectiva Lógica

    Cargado por

    jesus
    103 vistas3 páginas
    Las conectivas lógicas son símbolos utilizados para conectar fórmulas lógicas y determinar el valor de verdad de la fórmula resultante en base a los valores de las fórmulas componentes. Existen conectivas como la negación, conjunción, disyunción y condicional que se definen mediante tablas de verdad y tienen análogos en el lenguaje natural. En total hay 18 conectivas binarias posibles que representan todas las funciones lógicas de dos variables.

    Descripción original:

    Título original

    Conectiva lógica

    Derechos de autor

    © Attribution Non-Commercial (BY-NC)

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Las conectivas lógicas son símbolos utilizados para conectar fórmulas lógicas y determinar el valor de verdad de la fórmula resultante en base a los valores de las fórmulas componentes. Existen conectivas como la negación, conjunción, disyunción y condicional que se definen mediante tablas de verdad y tienen análogos en el lenguaje natural. En total hay 18 conectivas binarias posibles que representan todas las funciones lógicas de dos variables.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    103 vistas3 páginas

    Conectiva Lógica

    Cargado por

    jesus
    Las conectivas lógicas son símbolos utilizados para conectar fórmulas lógicas y determinar el valor de verdad de la fórmula resultante en base a los valores de las fórmulas componentes. Existen conectivas como la negación, conjunción, disyunción y condicional que se definen mediante tablas de verdad y tienen análogos en el lenguaje natural. En total hay 18 conectivas binarias posibles que representan todas las funciones lógicas de dos variables.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 3

    Conectiva lgica

    Conectiva lgica
    En lgica, una conectiva lgica, o simplemente conectiva, es un smbolo que se utiliza para conectar dos frmulas, de modo que el valor de verdad de la frmula compuesta dependa del valor de verdad de las frmulas componentes. En programacin se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa. Las conectivas lgicas son, junto con los cuantificadores, las principales constantes lgicas de muchos sistemas lgicos, principalmente la lgica proposicional y la lgica de predicados.

    Conectivas
    Las conectivas son funciones de verdad. Quiere decir que son funciones que toman uno o dos valores de verdad, y devuelven un nico valor de verdad. En consecuencia, cada conectiva lgica puede ser definida mediante una tabla de valores de verdad que indique qu valor devuelve la conectiva para cada combinacin de valores de verdad. A continuacin hay una tabla con las conectivas ms usuales y su definicin mediante tablas de verdad:
    Conectiva Notacin Ejemplo de uso Anlogo natural no Ejemplo de uso en el lenguaje natural No est lloviendo. Tabla de verdad

    Negacin

    Conjuncin

    Est lloviendo y es de noche.

    Disyuncin

    Est lloviendo o es de noche.

    Condicional material

    si... entonces

    Si est lloviendo, entonces es de noche.

    Bicondicional

    si y slo si

    Est lloviendo si y slo si es de noche.

    Negacin conjunta

    ni... ni

    Ni est lloviendo ni es de noche.

    Disyuncin excluyente]

    o bien... o bien O bien est lloviendo, o bien es de noche.

    Conectiva lgica Otras conectivas Dado que las conectivas son funciones de verdad, existirn tantas conectivas como funciones de verdad. Sin embargo, no todas las funciones de verdad tienen anlogos en el lenguaje natural, y en consecuencia, no todas son estudiadas con el mismo inters. A continuacin se incluye una tabla que lista las 18 conectivas binarias posibles.

    Donde: es una tautologa. es la disyuncin. es el condicional material inverso. es el condicional material. es el bicondicional. es la conjuncin. es la negacin alternativa, incompatibilidad, o "NAND". es la disyuncin exclusiva, contravalencia o "XOR". es la negacin del condicional material. es la negacin del condicional inverso. es la negacin conjunta, o "NOR". es una contradiccin.

    Vase tambin
    Clculo Clculo lgico Funcin de verdad Lgica proposicional

    Puerta lgica Tabla de valores de verdad

    Fuentes y contribuyentes del artculo

    Fuentes y contribuyentes del artculo


    Conectiva lgica Fuente: http://es.wikipedia.org/w/index.php?oldid=50298387 Contribuyentes: Ascnder, Cegik, Damifb, Davius, Diegusjaimes, Dodo, Edmenb, Elabra sanchez, Eligna, Equiman, Francisco Mochis, GermanX, Ivan rome, JAGT, Jesuja, Julian Colina, Julian Mendez, Luis Felipe Schenone, MONIMINO, Mary dream, Matdrodes, Memiux, Niceforo, Snakeyes, Superzerocool, Xenoforme, Zufs, 43 ediciones annimas

    Licencia
    Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/

    También podría gustarte