Logicas matematicas alexa

  • Published on
    13-Jul-2015

  • View
    268

  • Download
    0

Embed Size (px)

Transcript

LOGICAS MATEMATICAS

LOGICAS MATEMATICAS

DOCENTE:ROGELIO PADILLAALUMNA: ALEXANDRA CAYABAMBA

CONCEPTOLA LGICA ESTUDIA LA FORMA DEL RAZONAMIENTO, ES UNA DISCIPLINA QUE POR MEDIO DE REGLAS Y TCNICAS DETERMINA SI UN ARGUMENTO ES VLIDO PARA DETERMINAR SI UN RAZONAMIENTO ES VLIDO O NO, YA QUE UNA FRASE PUEDE TENER DIFERENTES INTERPRETACIONES, SIN EMBARGO LA LGICA PERMITE SABER EL SIGNIFICADO CORRECTO.EL ORDEN EN QUE SE PRESENTA EL DOCUMENTO ES EL SIGUIENTE: PRIMERAMENTE SE ESTABLECE LA IMPORTANCIA DE LA LGICA MATEMTICA, DESPUS DEFINIMOS EL CONCEPTO DE PROPOSICIN. SE ESTABLECE EL SIGNIFICADO Y UTILIDAD DE CONECTIVOS LGICOS PARA FORMAR PROPOSICIONES COMPUESTAS. MS TARDE ABORDAMOS LAS PROPOSICIONES CONDICIONALES Y BICONDICIONALES.

OPERADORES LOGICOS

PROPOSICIONES

LAS PROPOSICONES SE DIVIDEN EN :

* CONJUNCION *DISYUNCION

*CONDICIONAL

*BICONDICIONAL

TABLAS DE VERDADEn realidad toda la lgica est contenida en las tablas de verdad, en ellas se nos manifesta todo lo que implican las relaciones sintcticas entre las diversas proposiciones.

No obstante la sencillez del algoritmo, aparecen dos dificultades.

La gran cantidad de operaciones que hay que hacer para una proposicin con ms de 4 variables.Esta dificultad ha sido magnficamente superada por la rapidez de los ordenadores, y no presenta dificultad alguna.

Que nicamente ser aplicable a un esquema de inferencia, o argumento cuando la proposicin condicionada, como conclusin, sea previamente conocida, al menos como hiptesis, hasta comprobar que su tabla de verdad manifiesta una tautologa.Por ello se construye un clculo mediante cadenas deductivas:

Las proposiciones que constituyen el antecedente del esquema de inferencia, se toman como premisas de un argumento.

Se establecen como reglas de clculo algunas tautologas como tales leyes lgicas, (pues garantizan, por su carcter tautolgico, el valor V).EJEMPLOS DE LA TABLA DE VERDAD

TABLA DE DISYUNCIONTABLA DE CONJUNCION

TABLA CONDICIONAL

TABLA BICONDICIONAL

APLICACION DE REGLAS