Loguica
5.1 lógica computacional
5.1.1 lógica matemática
¿Lógica?
Es la ciencia que trata de los principios válidos del razonamiento y la argumentación. El estudio de la lógica es el esfuerzo por determinar las condiciones que justifican a una persona para concluir las proposiciones dadas, llamadas premisas, a una conclusión que se deriva de aquéllas.
La validez lógica esla relación entre las premisas y la conclusión de tal forma que si las premisas son verdaderas la conclusión es verdadera.
La lógica pretende formalizar las expresiones del conocimiento humano. Y dicho conocimiento lo adquirido mas transmitimos por medio del leguaje y la sabiduría del mismo.
¿Lenguaje?
Es la capacidad de los seres vivos en general de comunicarse, a través de los signos,sonidos, movimientos u otros medios. No obstante, el ser humano esta capacidad sea desarrollado hasta un extraordinario grado de perfección.
Sin embargo el lenguaje no es un atributo exclusivamente del ser humano, ya que los animales tienen la capacidad de comunicarse, y se basan en el uso de señales sonoras, visuales, y olfativas, para señalar a un referente o un significado diferente de dichasseñales. Dentro del lenguaje animal están los gritos de alarma, y diferentes formar de comunicarse entre su misma especie.
¿Qué es lógica?
La lógica, palabra derivada del griego clásico logos (la razón, principio que gobierna al Universo), son las reglas usadas para hacer deducciones creíbles.
Es la ciencia que trata de los principios válidos del razonamiento y la argumentación. El estudiode la lógica es el esfuerzo por determinar las condiciones que justifican a una persona para pasar de unas proposiciones dadas, llamadas premisas, a una conclusión que se deriva de aquéllas. La validez lógica es la relación entre las premisas y la conclusión de tal forma que si las premisas son verdaderas la conclusión es verdadera.
El hombre se distingue de los demás animales por su capacidad derazonamiento y para mejorar dicha capacidad, le fue necesario el uso de una herramienta matemática, siendo esta la lógica matemática o lógica simbólica. Lógica es el conjunto de los métodos y principios usados para distinguir el razonamiento correcto del incorrecto.
Verdad y validez
La validez lógica es la relación entre las premisas y la conclusión de tal forma que si las premisas sonverdaderas la conclusión es verdadera es la que existe en el plano del mero pensamiento, de manera general se dice que algo tiene validez porque y sele reconoce, la cualidad de poseer un valor determinado o bien la capacidad o eficacia para realizar el valor que se supone ha de tener.
El conocimiento en general adquiere un valor de verdad especial cuando es reconocido como verdadero por una comunidad.Funciones de verdad y tablas de verdad, una tabla de verdad o tabla de valores de verdad es una tabla que despliega el valor de verdad de una preposición compuesta, para cada combinación de valores de verdad se pueda asignar a sus componentes.
Ejemplo:
* las manzanas son rojas y amarillas
* el cielo es azul
* las naranjas son amorillas
* el sol quema
* las flores tienenpétalos
Funciones de verdad y tablas de verdad.
A toda proposición A se le asocia un valor de verdad, siendo verdadera o falsa, lo cual se presenta como:
* valor de verdad de A= V(A)= verdadero
* valor de verdad de A=(A)=F=falso
También se acostumbra representarlo por:
* v(A)=1=verdadero o v(A)=0=falso
P | q | pˆq | pˆq | Pq | pq |
0 | 0 | 0 | 0 | 1 | 1 |
0 | 1| 0 | 1 | 1 | 0 |
1 | 0 | 0 | 1 | 0 | 0 |
1 | 1 | 1 | 1 | 1 | 1 |
p | ¬p |
0 | 1 |
1 | 0 |
Ejemplo.
Sea el siguiente enunciado “El coche enciende cuando tiene gasolina en el tanque y tiene corriente la batería”
Sean:
p: El coche enciende.
q: Tiene gasolina el tanque.
r: Tiene corriente la batería.
De tal manera que la representación del enunciado anterior usando...
Regístrate para leer el documento completo.