Logica computacional

5.1 Lógica computacional

5.1.1 Es lo mismo que lógica matemáticas solo que es aplicada al contexto de las ciencias de la computación. Se dice que su uso es fundamenta para varios niveles referente a la computación.
La lógica es una ciencia que estudia los procesos de pensamiento , la estructura y las relaciones con base a esto se obtienen muchas respuestas mas claras, precisas, lalógica hace que se desechen ideas o razones erróneas dando oportunidad a otros pensamientos mas factibles para Haci llegar aun resultado mas creíble. “La lógica es la ciencia de los principios inferencia formalmente valida.”
También estudia la manera de pensar y a través de ellos se formulan métodos científicos no es necesario estudiar la lógica para poder levarla acabo en cotidianadebido a muchas personas la emplean de una manera diferente y de manera en la que no sedan cuenta causando la aplican pero se dice que también es importante estudiarla debido a que ayuda para podrá actuar con mas eficiencia en la practica de las `profesiones que se obtengan.

5.1.1 Validez y Verdad.

El estado verdadero o falso puede tener una proposición se le llama valor e verdado valor lógico de esa proposición. Validez es una propiedad que tiene los argumentos cuando, las premisas implican una conclusión, es decir, si la conclusión es una cosecuencialogica el argumento es valido es como decir las cosas son buenas o malas en vez de validas o invalidas, hay ocasiones en las que los argumentos no tienen que ser exactamente verdaderas
Un enunciado lingüístico(generalmente en la forma gramatical de una oración enunciativa) puede ser considerado como proposición lógica cuando es susceptible de poder ser verdadero o falso. Por ejemplo “Es de noche” puede ser Verdadero o Falso.
O es de día o es de noche.
No es de día.
Por lo tanto, es de noche.
La conjunción de 2 proposiciones es una proposición compuesta que resultaverdadera cundo lo son las 2 proposiciones simples que la constituyen y pasa en caso contrario, es decir, cuando alguna de las 2 es falsa.

2.1 conjuntos

Es fundamental en todos las Ramas de las matemáticas, es una lista o clase de objetos bien definidos.

2.1.1 Funciones Básicas.

Se representaran las proposiciones simples como p, q, r, etc. y definiremos 4operaciones básicas, correspondientes a la negación "no", la conjunción "y", la disyunción "o" y la implicación ("[pic]").

Dada una proposición p, su negación no (p) es aquella proposición que es falsa cuando p es verdadera y, es verdadera cuando p es falsa. La conjunción p y q es aquella proposición que sólo es verdadera, cuando ambas son verdaderas. En cualquier otro caso es falsa.
Ladisyunción p o q es aquella proposición que sólo es falsa, cuando ambas son falsas. En cualquier otro caso es verdadera. La implicación p[pic]q es aquella proposición que sólo es falsa, cuando p es verdadera y q es falsa. En cualquier otro caso es verdadera.
2.1.2 conjuntos finitos y finitos
Los conjuntos A y B. Si es posible establecer una biyección entre sus elementos, se dirá que A y B sonconjuntos coordinadles o equipotentes, y se denotará A~B. Simbólicamente podemos definirlo:
A~B si y sólo si [pic]es una biyección.
Todo conjunto finito presenta ciertas caracteristicas esenciales:
Es posible su ordenación con primero y último elementos;
Todo subconjunto ordenado también tiene primero y último elementos.
Sean A y B conjuntos.
Alconjunto formado por todos los pares ordenados de primera componente en A y segunda componente en B, lo denominamos “producto cartesiano de los conjuntos A y B” y lo notamos A x B. Este conjunto lo notamos por comprensión
[pic]

2.1.2 funciones lógicas.
Las funciones lógicas nos permiten preguntar sobre los valores de otras y actuar sean la respuesta obtenida.

La función SI...