LÓGICA COMPUTACIONAL I

1-)QUE ES UNA ASEVERACIÓN:

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 de proposició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.

La ciencia es una disciplina que se compone de aseveraciones que pueden contrastarse empíricamente. Esto significa que manifiestan supuesto conocimiento sobre el mundo que nos rodea, conocimiento que se encuentra continuamente en cuestionamiento por la experiencia. Kant establecía la diferencia entre enunciados “a priori” y enunciados “a posteriori” para dar cuenta de distintos tipos de aseveraciones, unas que corresponde incorporar al ámbito de la ciencia y otras que no. Así, definirá que los enunciados “a priori” serán aquellos que son redundantes por tener contenida la explicación ya contenida en el concepto que se utiliza; por ejemplo “un triángulo tiene tres lados”. Estos carecen de importancia en el ámbito científico por lo expuesto, porque carecen de un aporte de información nueva. Por otro lado, los enunciados denominados “a posteriori”, sí cumplen esta condición, esto es, son capaces de realizar un aporte de información y es por ello que es posible incorporarlos al ámbito científico. Así, por ejemplo, el enunciado o aseveración “el sol es un globo de helio” incorpora información al concepto de sol, independientemente de su veracidad o falsedad, que luego será debatida.

En el caso de la lógica, como ya se sugirió, una aseveración puede ser nombrada bajo formas distintas dependiendo del marco conceptual. Así, en el caso de la lógica aristotélica, podrá hacerse alusión a enunciados universales o enunciados particulares de los cuales suele deducirse otra aseveración. En lógica proposicional, las aseveraciones se denominan proposiciones y se relacionan mediante relaciones de condición, disyunción, adición, negación, etc.

2-)COMO SE CLASIFICAN LAS ASEVERACIONES:

Todas las anunciadas son afirmaciones a cerca situación que vincula o relacionan las clases  por lo tanto pueden llamar aseveración  

-Aseveración Universal:Se refiere a todas los elementos,objecto,situaciones o características que se mencionan en las aseveraciones 

-Aseveración Particular:Se refiere a algunos elementos objectos,situaciones o características, que se mencionan en la aseveración

-Aseveración Positiva:Son las aseveraciones que usan como cuantificadores las palabras"todos","todas","algún","algunos" o "algunas"

-Aseveración Negativa:Son las aseveraciones que usan como cuantificadores las palabras "ningún","ninguna"

-Universal Positiva:Todos los hombres son amables,Todas las mujeres son inocentes 

-Universal Negativa:Ningún animal come carne,ningún niño saca 10 en los exámenes

-Particular y Positiva:Algunos niños dicen la verdad,algunas niñas se comportan bien en clase

-Aseveración Verdaderas:Son las aseveraciones en las cuales la relación o vinculo se indica en la misma se corresponde con la realidad 

-Aseveración Falsas:Son las aseveraciones en las cuales la relación o vinculo que se indica en la misma no se corresponde con la realidad 

Elementos De Una Aseveración 

     ↓

      2 conceptos 

                 ↙               ↘          

Todos los humanos son seres vivos

    ↑                                  ↖                  

           1 Cuantificador                   1 Verbo                         

3-)CARACTERÍSTICAS Y TIPOS DE ASEVERACIONES: 

LECCIÓN 15: Aseveraciones universales y particulares LECCIÓN 15: Aseveraciones universales y particulares consideremos los siguientes enunciados:Todos los niños están estudiando
Todos los adultos son responsables Ninguna mujer es mentirosa Ningún animal es inteligente Algunos animales son mansos Algunas aves vuelan Todos los enunciados son afirmaciones a cerca de situaciones que vinculan o relacionan dos clases por lo tanto se pueden llamar aseveraciones. Las palabras como "todos", "todas","ningún","ninguna","algunos "o "algunas" nos permiten medir o ponderar la cantidad de elementos que satisfacen la relación de la aseveración por tal razón las llamamos "cuantificadores". Aseveraciones universales: se refieren a todos los elementos, objetos, situaciones o características que se mencionan en la aseverción. Aseveraciones particulares: se refieren a algunos elementos, objetos, situaciones o características, que se mencionan en la aseveración. PALABRAS CLAVES EN ASEVERACIONES UNIVERSALES Y PARTICULARES Aseveraciones universales llevan una de las siguientes palabras "todos", "todas","ningún","ninguna". Aseveraciones particulares llevan una de las siguientes palabras "algún", "algunos ", "alguna" o "algunas". EJEMPLO DE APLICACIÓN Práctica. elabora una aseveración universal o particular, para cada uno de los pares de palabras dadas a continuación (gallina- ave) Todas las gallinas son aves. (computadora-portátil) algunas computadoras son portátiles. (negros- África) Algunos negros son de África (perro-raza) algunos perros son de raza (gato-leche) todos los gatos toman leche (país- continente) todos los países pertenecen a un continente Aseveraciones positivas son las aseveraciones que usan como cuantificadores las palabras "todos", "todas" "algún", "algunos ", "alguna" o "algunas" Aseveraciones negativas son las aseveraciones que usan como cuantificadores las palabras "ningún","ninguna". EJEMPLO DE APLICACIÓN Práctica. elabora dos aseveraciones de cada uno de los tipos que se indican a continuación UNIVERSAL Y POSITIVA todos los hombres son amables todas las mujeres son inocentes UNIVERSAL Y NEGATIVA ningún animal come carne ningún niño saca 10 en los exámenes PARTICULAR Y POSITIVA algunos niños dicen la verdad algunas niñas se comportan bien en clases Aseveraciones verdaderas son las aseveraciones en las cuales la relación o vínculo que se indica en la misma se corresponde con la realidad Aseveraciones falsas son las aseveraciones en las cuales la relación o vínculo que se indica en la misma no se corresponde con la realidad