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 d...