Diferencia entre revisiones de «Cálculo Proposicional»
(Página creada con '{{Desarrollo}}{{Materia}} '''La lógica proposicional '''es la más antigua y simple de las formas de lógica, permite representar y manipular aserciones sobre el mundo ...') |
(Etiqueta: nuestro-nuestra) |
||
| Línea 1: | Línea 1: | ||
| − | {{Desarrollo}}{{Materia}} | + | {{Desarrollo}}{{Materia|nombre=Cálculo profesional|imagen=|campo a que pertenece=|principales exponentes=}} |
'''La lógica proposicional '''es la más antigua y simple de las formas de lógica, permite representar y manipular aserciones sobre el mundo que nos rodea, a través del razonamiento, primeramente evaluando sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales<span style="font-weight: bold;">. </span>Es diseñada para analizar ciertos tipos de argumentos''', '''en ella las fórmulas representan [[Proposiciones|proposiciones]] y las conectivas lógicas son [[Operaciones|operaciones]] | '''La lógica proposicional '''es la más antigua y simple de las formas de lógica, permite representar y manipular aserciones sobre el mundo que nos rodea, a través del razonamiento, primeramente evaluando sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales<span style="font-weight: bold;">. </span>Es diseñada para analizar ciertos tipos de argumentos''', '''en ella las fórmulas representan [[Proposiciones|proposiciones]] y las conectivas lógicas son [[Operaciones|operaciones]] | ||
| Línea 5: | Línea 5: | ||
Según L.García, 1990''', ''' la '''Lógica proposicional '''estudia las operaciones proposicionales y la deducción proposicional<span style="font-weight: bold;">.</span><br> | Según L.García, 1990''', ''' la '''Lógica proposicional '''estudia las operaciones proposicionales y la deducción proposicional<span style="font-weight: bold;">.</span><br> | ||
| − | + | A la lógica proposicional también se el denomina '''cálculo proposicional''' y se define como la ciencia que trata de los principios válidos del razonamiento y la argumentación. El estudio de lógica es el esfuerzo por determinar las condiciones que justifican a una persona para pasar de una proposición dada, llamadas premisas, a una conclusión que se deriva de aquéllas.<br> | |
| − | + | == Proposición <br> == | |
| − | + | Una proposición es un ordenamiento resultado de nuestra actividad pensante donde expresamos, bien la posibilidad de la ocurrencia de un hecho, o la necesidad de una acción, o una orden, un deber, una interrogante, etc. <br>Puede decirse que una proposición es una frase declarativa o juicio al que, podemos asignarle un valor verdadero ya sea cierto o falso. Por ejemplo la frase “El programa es de [[Soft|Soft]]”, es una proposición, a priori no puede decirse si esta proposición tiene un valor cierto o falso, pero si se parte de un contexto en que se establece unívocamente de qué programa se está hablando y además se conoce que efectivamente éste es de Soft, puede afirmarse que la proposición es cierta. <br>Esta proposición por su estructura simple es denominada elemental, pero existen juicios que poseen una complejidad mayor, por ejemplo la proposición “Adobe Photoshop es un programa de Soft y de Diseño”, está compuesta por los elementos “Adobe Photoshop es un programa de Soft” y “[[Adobe Photoshop|Adobe Photoshop]] es un programa de Diseño” los cuales se vinculan mediante “y”, la veracidad de este juicio compuesto está determinada por la veracidad de las dos proposiciones elementales que lo componen.<br>En la lógica proposicional se estudian las proposiciones, los operadores que permiten construir proposiciones compuestas a partir de proposiciones simples, la manera de obtener el valor verdadero de un juicio compuesto a partir de los valores de las proposiciones que lo forman y de los operadores que vinculan a estos, así como el modo de representar las proposiciones a través de [[fórmulas matemáticas|fórmulas matemáticas]].<br>Es importante tener en cuenta que no toda expresión lingüística es una proposición, por ejemplo, las preguntas o las órdenes no pueden considerase como tal pues no se le puede asignar un valor veritativo en ningún contexto.<br><br> | |
| − | + | == Enlaces externos<br> == | |
| − | http://www.monografias.com/trabajos16/calculo-proposicional/calculo-proposicional.shtml<br> | + | '''<span style="font-weight: bold;" />'''http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional<br> |
| + | |||
| + | http://www.monografias.com/trabajos/iartificial/pagina4_1.htm<br> | ||
| + | |||
| + | http://es.wikipedia.org/wiki/C%C3%A1lculo_proposicional_de_Frege<br> | ||
| + | |||
| + | http://www.monografias.com/trabajos16/calculo-proposicional/calculo-proposicional.shtml<br> | ||
[[Category:Pedagogía]] | [[Category:Pedagogía]] | ||
Revisión del 11:47 14 mar 2011
| ||
La lógica proposicional es la más antigua y simple de las formas de lógica, permite representar y manipular aserciones sobre el mundo que nos rodea, a través del razonamiento, primeramente evaluando sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales. Es diseñada para analizar ciertos tipos de argumentos, en ella las fórmulas representan proposiciones y las conectivas lógicas son operaciones
Según L.García, 1990, la Lógica proposicional estudia las operaciones proposicionales y la deducción proposicional.
A la lógica proposicional también se el denomina cálculo proposicional y se define como la ciencia que trata de los principios válidos del razonamiento y la argumentación. El estudio de lógica es el esfuerzo por determinar las condiciones que justifican a una persona para pasar de una proposición dada, llamadas premisas, a una conclusión que se deriva de aquéllas.
Proposición
Una proposición es un ordenamiento resultado de nuestra actividad pensante donde expresamos, bien la posibilidad de la ocurrencia de un hecho, o la necesidad de una acción, o una orden, un deber, una interrogante, etc.
Puede decirse que una proposición es una frase declarativa o juicio al que, podemos asignarle un valor verdadero ya sea cierto o falso. Por ejemplo la frase “El programa es de Soft”, es una proposición, a priori no puede decirse si esta proposición tiene un valor cierto o falso, pero si se parte de un contexto en que se establece unívocamente de qué programa se está hablando y además se conoce que efectivamente éste es de Soft, puede afirmarse que la proposición es cierta.
Esta proposición por su estructura simple es denominada elemental, pero existen juicios que poseen una complejidad mayor, por ejemplo la proposición “Adobe Photoshop es un programa de Soft y de Diseño”, está compuesta por los elementos “Adobe Photoshop es un programa de Soft” y “Adobe Photoshop es un programa de Diseño” los cuales se vinculan mediante “y”, la veracidad de este juicio compuesto está determinada por la veracidad de las dos proposiciones elementales que lo componen.
En la lógica proposicional se estudian las proposiciones, los operadores que permiten construir proposiciones compuestas a partir de proposiciones simples, la manera de obtener el valor verdadero de un juicio compuesto a partir de los valores de las proposiciones que lo forman y de los operadores que vinculan a estos, así como el modo de representar las proposiciones a través de fórmulas matemáticas.
Es importante tener en cuenta que no toda expresión lingüística es una proposición, por ejemplo, las preguntas o las órdenes no pueden considerase como tal pues no se le puede asignar un valor veritativo en ningún contexto.
Enlaces externos
<span style="font-weight: bold;" />http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional
http://www.monografias.com/trabajos/iartificial/pagina4_1.htm
http://es.wikipedia.org/wiki/C%C3%A1lculo_proposicional_de_Frege
http://www.monografias.com/trabajos16/calculo-proposicional/calculo-proposicional.shtml
