Matematicas discretas

Solo disponible en BuenasTareas
  • Páginas : 4 (826 palabras )
  • Descarga(s) : 0
  • Publicado : 11 de febrero de 2012
Leer documento completo
Vista previa del texto
LOGICA


La lógica estudia métodos de razonamiento, específicamente, reglas y técnicas que separan los razonamientos validos de los no validos, en otras palabras se analiza si un razonamiento escorrecto.





En muchas disciplinas se han establecido resultados por razonamientos lógicos, por ejemplo:



En matemáticas para demostrar los teoremas es necesario razonar correctamente enla prueba de ellos.


En las ciencias de la computación deben proporcionarse razonamientos para mostrar que los programas realizan lo que se pretende o lo que deberían hacer.


En las cienciasfísica o naturales, para sacar conclusiones de los experimentos.


En las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas.





1.1 PROPOSICIONESUna afirmación como:





1 + 1 = 3





La cual es verdadera o falsa, pero no ambas cosas a la vez, se llama PROPOSICION O ENUNCIADO.





EJEMPLOS:


Hay un premio Novel deciencias de la computación.


La tierra es el único planeta del Universo que tiene vida.


Teclee control Z para salir del modo insertar


Los únicos enteros positivos que dividen a 7 son el 1 yel propio 7.


Para todo entero positivo n, existe un número primo mayor que n.


f) ¡Ordena tu habitación!


g) Canadá es un país


h) Moscú es la capital de España


1 + 101 = 110j) Cierra la puerta


k) Toronto es una ciudad vieja


l) El hombre llegara a Marte en el año 2010





En general una PROPOSICION se expresa como una afirmación declarativa y no comopregunta, orden o instrucción.





Se utilizan letras minúsculas, como p, q o r para denotar las proposiciones.





Ejemplo:


p: 1 + 1 = 3


Que se lee p es la proposición 1 +1 = 3Al hablar o escribir en forma ordinaria, combinamos las proposiciones mediante CONECTIVOS y formamos PROPOSICIONES COMPUESTAS.





Sean p y q proposiciones





La CONJUNCION...
tracking img