Matemticas para la computacin 1. 2. 3. 4.

Lgica Matemtica Relaciones Teora de grafos Sistemas numricos

LGICA MATEMTICA Se llama proposicin lgica a una afirmacin o un enunciado declarativo al cual se puede asignar un valor de verdad: verdadero o falso, pero no los dos a la vez. SISTEMA NUMRICO BINARIO EXPRESIONES BOOLEANAS Deben su nombre a George Boole, pueden ser caracterizadas por verdaderas o falsas ARGUMENTOS: formas comunes de matemticas utilizados como una forma de establecer razonamientos para llegar a la verdad. Conjunto de premisas, condiciones dadas junto con una conclusin. Y decimos que un argumento es vlido si la conclusin es verdadera siempre que las premisas lo son. PROPOSICIN: La proposicin es el significado de una oracin declarativa. ENUNCIADO: Es la expresin oral o escrita de una proposicin. En otras palabras el enunciado es una oracin declarativa (Afirmativa o negativa). PROPOSICIN LGICA: Es una expresin que puede ser falsa o verdadera pero no ambas. PROPOSICIN ABIERTA: Es una expresin que contiene una o ms variables y al sustituir la variables por valores especficos se obtienes una proposicin lgica. TAUTOLOGA: sentencia verdadera CONTRADICCIN: Sentencia falsa INDETERMINACIN: Sentencia que no es ni verdadera ni falsa FRASES: Todas las sentencias que no cumplen con las definiciones anteriores EXPRESIONES BOOLEANAS: proposiciones logias y proposiciones abiertas. LGICA SIMBLICA: Se define mediante cuatro caractersticas: formalismo, simbolizacin, clculo y axiomatizacin FORMALISMO: Consiste en atender solo al estructura del pensamiento, a sus conexiones y reglas de inferencia. SIMBOLIZACIN: usa smbolos semejantes a los de matemticas, con lo cual se puede uniformar u homologar en distintos casos. CALCULO: Transforma proposiciones y encuentra el valor de verdad de las combinaciones de estas. AXIOMATIZACIN: Consiste en sealar explcitamente los axiomas que se van a admitir por su evidencia inmediata, y sin demostracin, sistematiza conjuntos de proposiciones sealando los axiomas de los cuales dependen. LENGUAJE PROPOSICIONAL TABLAS DE VERDAD: Las tablas de verdad son unos graficaos que nos muestran visualmente los valores veritativos que va teniendo una proposicin molecular de acuerdo con las combinaciones de los valores de sus proposiciones atmicas.

TABLA DE VERDAD PARA CUATRO VARIABLES P 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 V V V V V V V V F F F F F F F F Q V V V V F F F F V V V V F F F F R V V F F V V F F V V F F V V F F S V F V F V F V F V F V F V F V F Al evaluar las condiciones lgicas con el uso de tablas de verdad en la columna correspondiente al resultado se observaba que regularmente se obtenan resultados tanto falsos como verdaderos a lo cual se denomina CONTINGENCIA (casualidad/eventualidad) TAUTOLOGA es una expresin lgica que es verdadera para todos los posibles valores de verdad de sus componentes atmicos. Una expresin lgica es una TAUTOLOGA si es verdadera para todas las asignaciones posibles Grassman y Tremblay (1997). Una expresin logia es una CONTRADICCIN si es falsa para todas las asignaciones posibles Grassman y Tremblay (1997).

2V3 4

14 5 p(q v r) V V V F V V V V 1 2 3 4 5 6 7 8

1^2
4

43
5 (p^q)r V F F V F V F V

P 1 2 3 4 5 6 7 8 V V V V F F F F

Q V V F F V V F F

R V F V F V F V F

Qvr V V V F V V V F

P V V V V F F F F

Q V V F F V V F F

R V F V F V F V F

P ^Q V V F F F F F F