premisAS ARGUMENTOS Y CONCLU


La lógica como aspecto fundamental de la programación.
Es la capacidad de pensar racionalmente acerca de soluciones alternativas y los resultados de aplicarlas, y por lo tanto, de hacerelecciones inteligentes.
Argumentos.
Cuando el razonamiento se expresa con palabras, recibe el nombre de "argumento". Un argumento es un grupo cualquiera de proposiciones o enunciados que forman premisas yconclusiones. Este puede constar de varias premisas pero de una sola conclusión.
Premisas y Conclusión
Las premisas de un argumento son proposiciones afirmadas como fundamento o razones paraaceptar una conclusión. La conclusión es la proposición afirmada que se basa en las otras proposiciones o premisas. Una proposición puede ser premisa en un argumento y conclusión en otro. Por ejemplo:"Todos los hombres son mortales" Aparece como premisa en el siguiente argumento:
"Todos los hombres son mortales"
"Sócrates es un hombre"
"Por lo tanto, Sócrates es mortal ".
Y como conclusión en elsiguiente argumento:
" Todos los animales son mortales"
"Todos los hombres son animales"
"Luego, todos los hombres son mortales"http://www.mailxmail.com/curso-aprende-programar/logica-como-aspecto-fundamental-programacion

Expresiones como "por tanto", "por lo cual", "de ello se deduce", sirven para introducir la conclusión de un argumento, en tanto que "pues" y "porque" se emplean paraintroducir las premisas.
Otro Ejemplo:
"Todos se aburren en la conferencia".
"Ninguno de los que se aburren presta atención".
"Por consiguiente, ninguno de los asistentes está prestandoatención".
Hay dos condiciones que debe satisfacer un argumento para establecer la verdad de su conclusión: Debe ser válido y todas sus premisas deben ser verdaderas.
Enunciado Simple:
Es el que no contieneotro enunciado como parte componente. Ej. "Las rosas son rojas"
Enunciado compuesto:
Es el que se compone de varios enunciados. Ej. "Las rosas son rojas y las violetas son azules".Cuando los...