Diagrama de Flujo

INTRODUCCION
Se denomina aseveración a una afirmación en lo que respecta a un tema específico. Una aseveración puede ser evaluada en términos de verdad o falsedad, circunstancia que la hace susceptible de ser relacionada con otras aseveraciones de modo lógico. Desde la lógica aristotélica, una aseveración recibe el nombre de premisa, mientras que desde la lógica proposicional recibe el nombre deproposición. En el habla cotidiana estamos continuamente emitiendo aseveraciones en lo que respecta a distintos tópicos, circunstancia que se fundamenta en el hecho de intercambiar información.

Formas de veracidad de una aseveracion
-La forma no cambia.
-Siempre existen dos espacios y una relación entre éstos
El valor de verdad de una aseveración depende de los conceptos utilizados.
Laspalabras comunes que se clocan al inicio de las aseveraciones se llaman cuantificadores. Los cuantificadores permiten concretar el significado de las aseveraciones. Se ocupan las palabras: todos, ninguno, alguno, no todos.
Los cuantificadores "todos" y "ningún" originan aseveraciones que se cumplen para todos y cada uno de los elementos del conjuntos, y "algunos" y "no todos" se refieren aciertos elementos de la clase o del conjunto.
Los cuantificadores permiten:
-Precisar el significado de las aseveraciones.
-Precisar el lengguaje.
-Ser más concretos en nuestros planteamientos.
-Pensar con más claridad.

CUANTIFICADORES
Las expresiones: Todo hombre es mortal. Algunos hombres son sabios.

Pueden traducirse respectivamente como: Para todo x, si x es hombre entonces x esmortal. Existe un x, tal que x es hombre y x es sabio.

Otros giros utilizados para la expresión "para todo x", son: Todo x Cualquiera x Cada x
que se simbolizan por ""x" y se llama cuantificador universal.


Otros giros utilizados para la expresión "Existe un x" son: Hay x Existe x, tal que Algún x Algunos x Que se simbolizan por "$x" y se llama cuantificador existencial.

Existen tresformas de convertir una función proposicional Px en una proposición a saber:
⦁ Haciendo la sustitución de las variables por un término específico.
⦁ Anteponiendo la expresión "para todo x" o cuantificador universal.
⦁ Anteponiendo la expresión "existe almenos un x" o cuantificador existencial.
El enunciado "existe almenos un x tal que Px" se representa como:
($x)(Px) El enunciado "para todox, Px" se representa como:
("x)(Px).

Al anteponer a la función proposicional Px un cuantificador, se dice que la variable x ha pasado a ser una variable ligada.
Una proposición de la forma ("x)(Px) es verdadera cuando todas la sustituciones de la variable x por términos específicos del conjunto de referencia convierten a Px en enunciado verdadero.
Un enunciado de la forma ($x)(Px) esverdadero cuando al menos un caso de sustitución de la variable x por un término específico del conjunto de referencia, convierte a Px en un enunciado verdadero.
Las proposiciones universales pueden aparecer negadas, como en el enunciado: "No todos son mecánicos". En este caso la simbolización será Ø ("x)(Mx) donde Mx es la función proposicional "x es mecánico" que toma valores dentro del conjunto dereferencia formado por los hombres.

Las palabras "ningún", "ninguno", "nada", "nadie" corresponden también a enunciados universales con negaciones, pero de una manera distinta a las proposiciones anteriores. La proposición "ninguno es mecánico" no equivale a la proposición "no todos son mecánicos" sino a la expresión "para todo x, x no es mecánico" que se simboliza (" x)(Ø M x.


Lasproposiciones anteriores pueden estar negadas, como por ejemplo "no es cierto que hay fantasmas" la cual se simboliza como Ø ($ x)(Fx) donde Fx simboliza la expresión "x es un fantasma". Análogamente a lo que ocurre con los cuantificadores universales, las proposiciones existenciales puede tener negaciones internas como "algo no es mortal" la cual se simboliza como ($ x) (Ø Mx) donde Mx simboliza la...