logica proposicional

Lógica Proposicional

Es la que determina si un razonamiento es válido o no. Algunos precursores de la lógica pudieron verificar que esta ciencia casi expresada en su totalidad en palabras nohacía posible una fácil aplicación sobre temas matemáticos cuyo procedimiento y desarrollo se quería comprobar, por lo que se introdujo símbolos que representan las definiciones y reglas dadas por lalógica, creándose por consiguiente la lógica simbólica, llamada lógica matemática.
Proposiciones
Es un producto lógico del pensamiento que se expresa mediante el lenguaje, sea éste un lenguajecomún, cuando adopta la forma de oración gramatical, o simbólico, cuando se expresa por medio de signos o símbolos.
Proposición: Es toda oración o enunciado al que se le puede asignar un ciertovalor (V o F). Si no puede concluir que es verdadero o falso no es proposición
Elementos:
Negación
Este operador lógico cambia el valor de verdad de las proposiciones de verdadero a falso oviceversa. Se simboliza por ¬ y se lee ¨´NO¨´.


Conjunción
Este operador lógico se relaciona con dos proposiciones para formar una tercera proposición que es la conjunción de las dosprimeras. Se representa por el símbolo ^ que se lee ´´´I¨´´. En español la ´´I´´ de proposición se hace generalmente con la conjunción copulativa Y, pero a veces se hace con otras. Por ejemplo ¨´´pero´´Disyunción
Es falsa si lo son sus dos componentes


Condicional
Solamente es falso cuando el antecedente es verdadero y el consecuente es falso. De la verdad no se puede seguir lafalsedad


Bicondicional
Es un operador lógico que relaciona dos proposiciones y se simboliza por “ “ y se lee ´´si y solo si´´.


Tabla de Verdad

Simbología
Un símbolo es larepresentación perceptible de una idea, con rasgos asociados por una convención socialmente aceptada. Es un signo sin semejanza ni contigüidad, que solamente posee un vínculo convencional entre su...