DOCENTE:

ROGELIO PADILLA

ALUMNA:

ALEXANDRA CAYABAMBA

LA LÓGICA ESTUDIA LA FORMA DEL RAZONAMIENTO, ES UNA DISCIPLINA

QUE POR MEDIO DE REGLAS Y TÉCNICAS DETERMINA SI UN ARGUMENTO ES

VÁLIDO PARA DETERMINAR SI UN RAZONAMIENTO ES VÁLIDO O NO, YA

QUE UNA FRASE PUEDE TENER DIFERENTES INTERPRETACIONES, SIN EMBARGO

LA LÓGICA PERMITE SABER EL SIGNIFICADO CORRECTO.

EL ORDEN EN QUE SE PRESENTA EL DOCUMENTO ES EL SIGUIENTE:

PRIMERAMENTE SE ESTABLECE LA IMPORTANCIA DE LA LÓGICA

MATEMÁTICA, DESPUÉS DEFINIMOS EL CONCEPTO DE PROPOSICIÓN. SE

ESTABLECE EL SIGNIFICADO Y UTILIDAD DE CONECTIVOS LÓGICOS PARA

FORMAR PROPOSICIONES COMPUESTAS. MÁS TARDE ABORDAMOS LAS

PROPOSICIONES CONDICIONALES Y BICONDICIONALES.

LOS OPERADORES SUELEN INTERPRETARSE COMO FUNCIONES,EN ESTE CASO SE VAN A REPRESENTAR CON LOS SIGIENTES :

VERDADERO : SE VA A REPRESENTAR CON EL

NUMERO 1

FALSO: SE VA A REPRESENTAR CON EL

NUMERO 0

LAS PROPOSICONES SE DIVIDEN EN :

* CONJUNCION

*DISYUNCION

*CONDICIONAL

*BICONDICIONAL

REGLAS

CONJUNCION

CUANDO LAPROPOSICION ESVERDADERATIENE VALOR DE1 Y LAS DEMASSON FALSAS 0.

DISYUNCION

CUANDO LA PROPOSICION ES FALSA ES 0 Y LAS DEMAS SON VERDADERA 1 .

BICONDICIONAL

CUANDO LA PROPOSICIONSEA VERDADERAS 1 YFALSAS EL RESULTADOSERA VERDADERO 1 Y LOSDEMAS FALSO 0.

CONDICIONAL

CUANDO LA PROPOSICION SEA VERDADERA 1 Y LA OTRA ES FALSA 0 EL RESULTADO SERA FALSO 0 Y LO DEMAS SERA VERDADERO 1.

En realidad toda la lógica está contenida en las tablas de verdad, en ellas senos manifesta todo lo que implican las relaciones sintácticas entre las diversasproposiciones.

No obstante la sencillez del algoritmo, aparecen dos dificultades.

La gran cantidad de operaciones que hay que hacer para una proposicióncon más de 4 variables.Esta dificultad ha sido magníficamente superada por la rapidez de losordenadores, y no presenta dificultad alguna.

Que únicamente será aplicable a un esquema de inferencia, o argumentocuando la proposición condicionada, como conclusión, sea previamente

conocida, al menos como hipótesis, hasta comprobar que su tabla de verdadmanifiesta una tautología.Por ello se construye un cálculo 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 cálculo algunas tautologías como tales leyeslógicas, (pues garantizan, por su carácter tautológico, el valor V).