cisco

Solo disponible en BuenasTareas
  • Páginas : 4 (758 palabras )
  • Descarga(s) : 0
  • Publicado : 27 de enero de 2015
Leer documento completo
Vista previa del texto
PROGRAMACIÓN AVANZADA DE SISTEMAS
Ruben Reyes Gonzalez
TAREA 3

AXIOMAS:
Axiomático es algo evidente, incuestionable, indiscutible, innegable, irrefutable, irrebatible, seguro, probado, claro,es algo relativo a los axiomas, que no es falso ni dudoso. Axiomático posee un significado en diversas ciencias, como la lógica, las matemáticas, la ingeniería, todos ellos con teorías sobre losaxiomas.
En lógica, existe el sistema axiomático, que es una forma de teoría deductiva, construida a partir de condiciones iniciales que se van desarrollando por reglas de definición. En matemáticas,existe también un sistema axiomático, que es un conjunto de axiomas que pueden ser utilizados para la derivación lógica de teoremas, mediante deducciones.

Para que todos los procedimientos matemáticosusados sean válidos se debe partir de una base que respalde cada procedimiento, cada paso lógico usado, y debe, en consecuencia, demostrarse cada afirmación no trivial. Son estas demostraciones lospilares fundamentales de toda rama de las matemáticas, ya que sin ellos puede ponerse en duda la veracidad de cualquier afirmación.
Las afirmaciones a las que se hace referencia se llaman axiomas.Serán, por lo tanto, afirmaciones que se aceptan como verdaderas debido a su trivialidad, pudiendo en ocasiones ser demostradas cuando no lo son.
El otro tipo de afirmaciones a las que se hace referenciadiciendo: "afirmación no trivial", son los teoremas, que son ya, afirmaciones no tan triviales y muchas veces poco intuitivas. Estas afirmaciones deben ser demostradas usando los axiomas u otrosteoremas ya demostrados. Una consecuencia inmediata de un teorema se llamará corolario.
Hay tres tipos de axiomas:
Los axiomas algebraicos
Los axiomas de orden
El axioma topológico.



MODUSPONENS:

En lógica proposicional, modus ponendo ponens (en latín significa "la forma en que se afirma afirmando", generalmente abreviado MP o modus ponens ) o eliminación del implica es una forma...
tracking img