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... [continua]

Leer Ensayo Completo

Cite este ensayo

APA

(2011, 04). Historia de la mecanografia. BuenasTareas.com. Recuperado 04, 2011, de http://www.buenastareas.com/ensayos/Historia-De-La-Mecanografia/1876406.html

MLA

"Historia de la mecanografia" BuenasTareas.com. 04 2011. 2011. 04 2011 <http://www.buenastareas.com/ensayos/Historia-De-La-Mecanografia/1876406.html>.

MLA 7

"Historia de la mecanografia." BuenasTareas.com. BuenasTareas.com, 04 2011. Web. 04 2011. <http://www.buenastareas.com/ensayos/Historia-De-La-Mecanografia/1876406.html>.

CHICAGO

"Historia de la mecanografia." BuenasTareas.com. 04, 2011. consultado el 04, 2011. http://www.buenastareas.com/ensayos/Historia-De-La-Mecanografia/1876406.html.