Universidad Fermín ToroFacultad De IngenieríaCabudare Estado Lara

AlumnoLuis Briceño C.I: 19.713.885

Se trata de un tema hibrido, cuyo contenido fundamental es de matemáticas, aunque muchas de sus aplicaciones, pertenecen a la ciencia de la

computación. Como consecuencia, la cuidadosa motivación de los temas y revisiones preparatorias de las aplicaciones son estrategias importantes y

necesarias.

Aspecto resaltante en esta unidad es la lógica este se basa de los principios del razonamiento valido y la inferencia, como también de la consistencia, solidez y completitud. Un ejemplo, en la mayoría de los sistemas en la lógica, la ley

de Peirce, (((P→Q)→P)→P) es un teorema. En lógica clásica, puede ser fácilmente verificado con una tabla de verdad. El estudio de las

demostraciones matemáticas es particularmente importante en lógica y tiene aplicaciones en la demostración automática de teoremas y verificación

formal de software.

De esta forma el tener y forjar un nivel lógico sólido, facilitara el estudio de la estructura discreta, tomando en cuanta cuando una proposición es falsa o verdadera, el punto a lo que se refiere una conjugación, manejar de una

forma hábil el afirmar cuando una condición es Verdadera con un 1 y falsa cuando es 0.

Ejemplo claro este con la siguiente tabla. Sean p y q dos proposiciones. La conjunción de p y q es la proposición p Ù q, que se lee "p

y q", y cuyo valor lógico está dado con la tabla o igualdad siguiente:

VL(p^q) = min (VL(p), VL(q)) en otras palabras el menor valor de los números dados. Ejemplo  Si, p: El Negro Primero peleó en Carabobo.  q: Bolívar murió en Colombia.  r: Miranda nació en Coro.

Entonces  1. p ^ q: El Negro Primero peleó en Carabobo y Bolívar murió en Colombia.  Además, VL(p ^ q) = 1, ya que VL(p)= 1 y VL(q)= 1.  2. q ^ r: Bolívar murió en Colombia y Miranda nació en Coro. Además, VL(q ^ r) = 0, ya que VL(q)= 1 y VL(r)= 0.

Estas serian formas de establecer cuando ciertas condiciones son verdaderas o falsas de manera matemática, interesante y a la vez pone a prueba nuestro razonamiento

lógico.Tomando en cuenta la extensión que tiene este tema de la estructura discreta juega

también un papel importante en Leyes del Algebra de Proposiciones, aplicándose en leyes conmutativas, asociativas, de identidad en fin Una de las grandes utilidades de

las leyes dadas anteriormente es que nos permiten simplificar proposiciones. El procedimiento es probar que una proposición es equivalente a otra usando las leyes

del álgebra preposicional, es llamada prueba deductiva.