Historia de la mecanografia
Páginas: 3 (550 palabras)
Publicado: 4 de abril de 2011
Lógica proposicional
De Wikipedia, la enciclopedia libre
Saltar a navegación, búsqueda
En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos.En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de formar otras fórmulas de mayor complejidad.[1] Como otrossistemas lógicos, la lógica proposicional intenta esclarecer nuestra comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza
Conectivas lógicas
Artículo principal:Conectiva lógica
A continuación hay una tabla que despliega todas las conectivas lógicas que ocupan a la lógica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los símbolos que seutilizan para representarlas.
Conectiva | Expresión en el
lenguaje natural | Ejemplo | Símbolo en
este artículo | Símbolos
alternativos |
Negación | no | No está lloviendo. | | |
Conjunción |y | Está lloviendo y está nublado. | | . |
Disyunción | o | Está lloviendo o está soleado. | | |
Condicional material | si... entonces | Si está soleado, entonces es de día. | | |Bicondicional | si y sólo si | Está nublado si y sólo si hay nubes visibles. | | |
Negación conjunta | ni... ni | Ni está soleado ni está nublado. | | |
Disyunción excluyente | o bien... o bien | Obien está soleado, o bien está nublado. | | |
En la lógica proposicional, las conectivas lógicas son tratados como funciones de verdad. Es decir, como funciones que toman conjuntos de valores deverdad y devuelven valores de verdad. Por ejemplo, la conectiva lógica no es una función que si toma el valor de verdad V, devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto, si seaplica la función no a una letra que represente una proposición falsa, el resultado será algo verdadero. Si es falso que «está lloviendo», entonces será verdadero que «no está lloviendo».
El significado...
De Wikipedia, la enciclopedia libre
Saltar a navegación, búsqueda
En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos.En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de formar otras fórmulas de mayor complejidad.[1] Como otrossistemas lógicos, la lógica proposicional intenta esclarecer nuestra comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza
Conectivas lógicas
Artículo principal:Conectiva lógica
A continuación hay una tabla que despliega todas las conectivas lógicas que ocupan a la lógica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los símbolos que seutilizan para representarlas.
Conectiva | Expresión en el
lenguaje natural | Ejemplo | Símbolo en
este artículo | Símbolos
alternativos |
Negación | no | No está lloviendo. | | |
Conjunción |y | Está lloviendo y está nublado. | | . |
Disyunción | o | Está lloviendo o está soleado. | | |
Condicional material | si... entonces | Si está soleado, entonces es de día. | | |Bicondicional | si y sólo si | Está nublado si y sólo si hay nubes visibles. | | |
Negación conjunta | ni... ni | Ni está soleado ni está nublado. | | |
Disyunción excluyente | o bien... o bien | Obien está soleado, o bien está nublado. | | |
En la lógica proposicional, las conectivas lógicas son tratados como funciones de verdad. Es decir, como funciones que toman conjuntos de valores deverdad y devuelven valores de verdad. Por ejemplo, la conectiva lógica no es una función que si toma el valor de verdad V, devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto, si seaplica la función no a una letra que represente una proposición falsa, el resultado será algo verdadero. Si es falso que «está lloviendo», entonces será verdadero que «no está lloviendo».
El significado...
Leer documento completo
Regístrate para leer el documento completo.