1.

LOGICA MATEMATICA
1. RAZONAMIENTO LOGICO

1. DEDUCTIVO

1. parte de

1. LAS GENERALIDADES A CONCLUSIONES PARTICULARES

2. para que

1. EL ARGUMENTO SEA VALIDO

1. LA CONCLUSION SE DERIVA DE LA PREMISA

2. LA INFORMACION INMERSA EN LA CONCLUSION DEBE ESTAR EN LA PREMISA

3. PARA

1. LA VERACIDAD DEL ARGUMENTO

1. SE REQUIERE DE

1. FORMA CORRECTA DEL ARGUMENTO

2. LA VERDAD DE LA PREMISA

2. INDUCTIVO

1
 1. observa

1. DATOS Y PATRONES

2. realiza

1. CONJETURAS

3. ANALOGICO

1. OBTIENE

1. CONCLUSIONES A TRAVES DE PEMISAS

1. EN LAS QUE SE ESTABLECE

1. LA COMPARACION

2. ANALOGIAS

2. DEMOSTRACIONES

1. DIRECTAS

1. PARA DESMOSTRAR QUE P→Q

1. SE ANALIZAN

1. EN EL ARGUMENTO P

1. DEDUCIENDO

1. Q APARTIR DE P

2. por contraposicion

1. CONCOCIDO COMO: "SUPONGAMOS QUE NO"

2
 1. SE BASA EN LA EQUIVALENCIA EN LAS PROPOSICIONES DIRECTAR Y
CONTRARECIPROCA

3. por contraejemplo

1. SE DEMUESTRA QUE LA PROPOSICION SEA FALSA, SIEMPRE, QUE SE

MUESTRE UN EJEMPLO QUE LO CONFIRME

4. reduccion de lo absurdo

1. SUPONE QUE LA ESTRUCTURA DE RAZONAMIENTO P→Q, NO ES

TAUTOLOGICA. DEBIDO A QUE EL OPERADOR PRINCIPAL DE UN RAZONAMIENTO
ES LA IMPLICACION, LA ESTRUCTURA NO ES TAUTOLOGICA SI EXISTE AL MENOS
UN CASO 1→0

1. SE ANALIZA P Y Q, INTENTANDO LLEGAR UNA CONTRADICCION

3. INFERENCIA LOGICA

1. consiste en

1. ELABORAR UNS CONCLUSION A PARTIR DE PREMISAS

2. reglas

1. MODUS PONENDO PONENS

1. SE REFIERE A

1. DADA LA PROPOSICION CONDICIONAL DE IMPLICACION, SI SE CUMPLE EL

ANTECENDENTE SE CONCLUYEN QUE SE CUMPLE EL CONSECUENTE

2. MODUS TOLLENDO TOLLENS

1. MENCIONA QUE

1. DADA LA PROPOSICION CONDICIONAL DE IMPLICACION, SI SE SUPRIME EL

CONSECUENTE, ES POR QUE FALLA EL ANTECEDENTE

3
 3. LEY DEL SILOGISMO

1. APLICA

1. LA LEY TRANSITIVA DE LA IMPLICACION

1. ES DECIR

1. (P→Q) Y SI (Q→R), SE CONCLUYE QUE (P→R)

4. MODO CONJUNTIVO

1. TAMBIEN LLAMADO

1. LEY DE LA SIMPLIFICACION

2. MENCIONA

1. SI DOS SITUACIONES SE REALIZAN CONJUNTAMENTE, ES EVIDENTE QUE

CADA UNA DE ELLAS VA A REALIZARSE, TANTO EL ANTECENDENTE COMO EL
CONSECUENTE

5. MODO DISYUNTIVO

1. SE REFIERE A

1. AL NEGAR UN MIEMBRO DE LA DISYUNCION, SE AFIRMA EL OTRO

4. CONJUNTOS

1. ES UNA COLECCION O AGRUPACION DE OBJETOS QUE POSEEN

CARACTERISTICAS O PROPIEDAD EN COMUN DEFINIDA

2.

1. DESCRICION

1. COMPRENSION

4
 1. PARA REFERIRNOS A ALGUNA CARACTERÍSTICA DE LOS ELEMENTOS

2. EXTENSION O TABULACION

1. SE ENLISTAN TODOS LOS ELEMENTOS

3. DIAGRAMAS DE VENN

1. PARA PRESENTACIONES GRAFICAS

5. PROPOSICIONES

1. SON

1. ORACION QUE NIEGA O AFIRMA ALGO, PERO NUNCA AMBAS

2. LOS ELEMENTOS FUNDA- MENTALES DE LA LOGICA

3. UNIDADES SEMANTICAS

2. TIPOS

1. SIMPLES

1. FORMADA POR

1. UN SOLO ENUNCIADO

2. COMPUESTAS

1. FORMADA POR

1. DOS O MAS PROPOSICIONES POR CONECTIVOS LOGICOS

3. CALCULO PROPOSICIONAL

1. CONECTIVOS LOGICOS

5
1. TIPOS

1. CONJUNCION

1. se dice que

1. es verdadero, solo cuando ambas proposiciones son verdaderas

2. simbolo

1. # (se lee "y")

3. ejemplo

1. "p # q" = "p y q"

2. DISYUNCION

1. es

1. es verdadero, cuando alguna de las proposiciones es verdadera

2. simbolo

1. # (se lee "o")

3. ejemplo

1. "p # q" = "p o q"

4. disyuncion inclusiva

1. existe la posibilidad de que ambas preimsas se cumplan

3. IMPLICACION (CONDICIONAL)

1. se describe como:

6
 1. p representa la premisa y q la comclusion

2. simbolo

1. → (SE LEE "SI.... ENTONCES")

3. ejemplo

1. "P → Q" = "SI P, ENTONCES Q"

4. tambien doominado

1. ENUNCIACION HIPOTETICA

5. tipos

1. reciproca

1. b→a

2. inversa

1. ¬a→¬b

3. contrareciproca

1. ¬b→¬a

4. doble implicacion (bicondicional)

1. es

1. UTILIZADA EN PROPOSICIONES COMPUESTAS POR 2 PREMISAS SIMPLES

1. EN LAS CUALES

1. EL VALOR DE VERDAD, COMO PORPOSICON COMPUESTA ES VERDADERO, SI

AMBAS PROPOSIONES SIMPLES TIENE UN VALOR DE VERDAD

7
2. simbolo

1. ↔ ( se lee " si solo si ")

3. ejemplo

1. "p ↔ q" = "p si solo si q"

5. negacion

1. será

1. verdadera cuando es falsa, y falsa cuando es verdadera

2. simbolo

1. ¬ (se lee "no a")

2. tablas de verdad

1. sirven para

1. presentar o resumir los posibles valores de verdad de una proposicion

1. al realizar operaciones logicas

2. cantidad de combinaciones

1. depende de la cantidad de proposiones presentes

3. valor de verdad

1. se refiere a si laq premisa es falsa o verdadera (veracidad)

1. se le asocia con

1. verdadero

8
 1. 1, V

2. T, True

2. falso

1. 0, F

2. False

4. se

1. construye basado en los valores correspondientes de cada proposicion

involucrada

5. tipos de resultados

1. tautologia

1. todas las combinaciones de valores son verdaderas

2. contradiccion

1. todas las combinaciones de valores son falsas

3. contingencia

1. todas las combinaciones son falsas verdaderasy verdaderas

9
2. Apéndice

Texto flotante
1. operacion logica que parte de los juicios, analizando su validez y la
posibilidad de verdad o falsedad de otro juicio

2. a→b

3. Universidad Autónoma del Carmen Ingenieria Geofisíca Matricula:

200146

4. MATERIA: RAZONAMIENTO LOGICO

10
11