SlideShare una empresa de Scribd logo
1 de 5
Guayaquil, 13 de diciembre de 2012

Trabajo de Matemáticas.
Perteneciente: Jhonny Antonio Concha Ramírez
Tutor: Master Margarita Martínez
Tema a tratar: Razonamientos.

Creación de la Clase.

Objetivo: Reconocer la estructura de un razonamiento y establecer su validez
empleando tablas de verdad y leyes de algebra de proposiciones.

INTRODUCCIÓN:

        Indagación previa de lo que es lógica de matemática por medio de dinámica.

Al razonamiento también se lo conoce como inferencia lógica o argumento.

Sé que se está de hablando de razonamiento cuando nos da como consecuente una
conclusión, que será reconocido por los términos como “por lo tanto”, “luego”, en
consecuencia”, “de ahí que”, etc.


Definición: Dadas dos o más proposiciones P1, P2, ..., Pn, llamadas hipótesis, y una
proposición Q, llamada conclusión, llamaremos razonamiento a la relación entre
ellas, denotada por:

P1, P2, ..., Pn   Q,

(que leeremos "si P1 y P2 y ... y Pnpor lo tanto Q"), y diremos que la misma es válida,
si Q resulta verdadera cada vez que las hipótesis sean verdaderas.

O lo que es lo mismo :P1    P2   P3 …… PnC

Ejemplos:

1. Vicente viajará al norte del país o se quedará en la capital. Por lo tanto, Si Vicente viaja
   al norte del país entonces no se quedará en la capital.

2. Si Juan gana el concurso de poesía entonces obtendrá una beca. Juan ganó el
   concurso de poesía. Luego Juan obtendrá una beca.

La conclusión se puede distinguir de sus premisas porque generalmente van precedidas
por alguno de los términos como “por lo tanto”, “luego”, en consecuencia”, “de ahí que”,
etc. y las premisas podemos distinguirlas casi siempre por los signos de puntuación como
el punto seguido o por el sentido que tiene el enunciado.


CUERPO:
Validez de un razonamiento: Un razonamiento es válido cuando la forma proposicional
que representa su estructura lógica es tautológica. Si dicha forma proposicional es una
contradicción o contingencia, entonces el razonamiento no es válido, en cuyo caso se
denominara falacia.

MÉTODOS PARA DETERMINAR LA VALIDEZ DE UNA INFERENCIA LÓGICA

Analizar la validez o invalidez de una inferencia consiste en decidir si la fórmula de la
inferencia es válida o no, para esto conocemos dos métodos:

1. POR LA TABLA DE VALORES

Se sugiere seguir los siguientes pasos:

a. Simbolizar las premisas y la conclusión:
b. Obtener la formula inferencial
c. Aplicar la tabla de valores. Si el resultado es tautológico, la conjunción de premisas
   implica a la conclusión, y por tanto la inferencia es válida, pero si el resultado no es
   tautológico, la inferencia no es válida.

Ejemplos:

1. Vicente viajará al norte del país o se quedará en la capital. Por lo tanto, Si Vicente viaja
    al norte del país entonces no se quedará en la capital.
a. Simbolizamos:

         p    q
      _____________
     p    q

      b. Obtenemos la formula inferencial:

(p    q)     (p     q)

 c. Elaboramos la tabla de valores:


                    p          q          (p       q)         (p        q)
                    V          V               V         F          F
                    V          F                    V        VV
                    F          V                    V        VV
                    F          F               F         V          V

El esquema no es tautológico, luego la premisa no implica a la conclusión y la inferencia
no es válida,

2. Si Juan gana el concurso de poesía entonces obtendrá una beca. Juan ganó el
   concurso de poesía. Luego Juan obtendrá una beca.

a. Simbolizando tenemos:
p   q
        p
     __________
     q

b. Obtenemos la formula inferencial:

           [( p        q)        p ]   q

c. Elaboramos la tabla de valores:


                            p          q   [( p       q)       p ]       q
                            V          V              V         VV
                            V          F          F        F         V
                            F          V          V        F         V
                            F          F          V        F         V


El esquema es tautológico, luego la conjunción de premisas implica a la conclusión y la
inferencia es válida.

2. POR EL MÉTODO ABREVIADO

Es un procedimiento que evita estar construyendo la tabla de valores de verdad para
determinar la validez de la inferencia.

Este método consiste en suponer la conjunción de premisas verdaderas y la conclusión
falsa, única posibilidad que invalidad la implicación.

P1    P2     P3    …… Pn           C

V      VVV             F

Ejemplo:

1. Vicente viajará al norte del país o se quedará en la capital. Por lo tanto, Si Vicente viaja
    al norte del país entonces no se quedará en la capital.

a. Simbolizamos:
       p     q
    _____________
   p     q

b. Obtenemos la formula inferencial:

(p     q)         (p        q)

c.     Suponemos valores, a las premisas verdaderas y la conclusión falsa
(p     q)    (p       q)

V              F
Como cada una de las variables (p, q), cumplen una sola función veritativa, decidimos
que la inferencia no es válida. Esto es, se ha demostrado que la premisa es verdadera y
la conclusión es falsa.

2. Si Juan gana el concurso de poesía entonces obtendrá una beca. Juan ganó el
   concurso de poesía. Luego Juan obtendrá una beca.

     a. Simbolizando tenemos:

       p   q
       p
      __________
   q
   b. Obtenemos la formula inferencial:
  [(p   q) p]     q

     c. Suponemos valores, a las premisas verdaderas y la conclusión falsa:
          [(p  q)     p]     q

            V       V    F
     d. Comprobamos:
               [( p   q)           p ]       q

                  F        F
                      V        V         F

Como la variable p tiene dos valores: verdadero y falso a la vez. Por lo tanto, hay
implicación y la inferencia es válida.



CONCLUSIÓN:

Validez y verdad.

La validez se refiere a la forma de pensamiento, mientras que la verdad se obtiene del
análisis del contenido del pensamiento. En todo razonamiento o inferencia hay que
distinguir su validez de su verdad.

El razonamiento o la inferencia son válidos cuando la conjunción de premisas implica a la
conclusión; y, si esto no sucede, la inferencia es inválida.

La validez o invalidez de una inferencia depende únicamente de su forma lógica, y la
forma lógica depende de la función que desempeñan las conectivas en la estructura del
enunciado inferencial.
Si una inferencia válida tiene su premisa o conjunto de premisas verdaderas, entonces se
puede asegurar que la conclusión es necesariamente verdadera; pero si la premisas o
conjunto de premisas no son verdaderas, así la inferencia sea válida, lógicamente no se
puede saber la verdad o falsedad de la conclusión. Entonces, el único caso que se puede
saber la verdad de la conclusión es cuando la inferencia es válida y tiene premisas
verdaderas.

Tautología.

Es una proposición que siempre es verdadera, independientemente del valor lógico de las
proposiciones simples que la componen..

Se puede decir también que un esquema es un tautológico cuando los valores de verdad
del operador principal son todos verdaderos.

Contingentes

Cuando en su resultado hay por lo menos una verdad y una falsedad

Contradicción

Es cuando en el resultado todos los valores de verdad son falsos o Un esquema A es una
contradicción si “no A” ( A), es una contradicción cuando todos los valores del operador
de mayor jerarquía son falsos.

Indeterminación: es la sentencia que ni es verdadera ni falsa.

Función veritativa (Wahtheitsfunktion) : Las proposiciones funcionan como funciones
que pueden asumir dos posibles valores de verdad. Toda proposición puede ser
verdadera o falsa. En consecuencia, toda proposición es una función veritativa.

Bibliografía:

Fundamentos de matemáticas para bachillerato, Espol, ICM.

Archivo   PDF,      Matemática Discreta, Lógica Matemática, UNIVERSIDAD
TECNOLÓGICANACIONAL, FACULTAD REGIONAL CÓRDOBA, Carrera de Ingeniería
en Sistemas de Información.

Módulo 2 de la universidad nacional de Loja, desarrollo del pensamiento lógico, Master
Jorge Armijos O, Loja-Ecuador, 2010.

Más contenido relacionado

La actualidad más candente

Sesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesSesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesWilderd Cabanillas Campos
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]Henry Villalba
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaflakitacm
 
Leyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosLeyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosAlejo Tephros
 
Valores de verdad
Valores de verdadValores de verdad
Valores de verdaddesousat
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNPacheco Huarotto, Luis
 
Proyecto final-calculo-aplicado-a-la-fisica-1
Proyecto final-calculo-aplicado-a-la-fisica-1Proyecto final-calculo-aplicado-a-la-fisica-1
Proyecto final-calculo-aplicado-a-la-fisica-1SofiaRodrguezEspinoz
 
Esquemas moleculares
Esquemas molecularesEsquemas moleculares
Esquemas molecularessandovix
 
Matemática 9 año EGB
Matemática 9 año EGBMatemática 9 año EGB
Matemática 9 año EGBEDISON
 

La actualidad más candente (20)

Sesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesSesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposiciones
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 
Razonamiento logico
Razonamiento logicoRazonamiento logico
Razonamiento logico
 
Inferencia logica
Inferencia logicaInferencia logica
Inferencia logica
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativa
 
Lógico mat. c 3 equivalencia lógica.
Lógico mat. c 3 equivalencia lógica.Lógico mat. c 3 equivalencia lógica.
Lógico mat. c 3 equivalencia lógica.
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Leyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosLeyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntos
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
OPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: PrácticaOPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: Práctica
 
Modus Tollendo y Modus Ponendo
Modus Tollendo y Modus PonendoModus Tollendo y Modus Ponendo
Modus Tollendo y Modus Ponendo
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
Valores de verdad
Valores de verdadValores de verdad
Valores de verdad
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Proyecto final-calculo-aplicado-a-la-fisica-1
Proyecto final-calculo-aplicado-a-la-fisica-1Proyecto final-calculo-aplicado-a-la-fisica-1
Proyecto final-calculo-aplicado-a-la-fisica-1
 
Esquemas moleculares
Esquemas molecularesEsquemas moleculares
Esquemas moleculares
 
Matemática 9 año EGB
Matemática 9 año EGBMatemática 9 año EGB
Matemática 9 año EGB
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 

Similar a Logica matematica razonamiento

Similar a Logica matematica razonamiento (20)

Segundactividalber
SegundactividalberSegundactividalber
Segundactividalber
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Proposiciones valeska
Proposiciones valeskaProposiciones valeska
Proposiciones valeska
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
 
Logica
LogicaLogica
Logica
 
Archivo slideshare
Archivo slideshareArchivo slideshare
Archivo slideshare
 
unidad 1 de estructuras
unidad 1 de estructurasunidad 1 de estructuras
unidad 1 de estructuras
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168
 
Lógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalLógica y Cálculo Proposicional
Lógica y Cálculo Proposicional
 
Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203Trabajo colaborativo-dos-grupo-203
Trabajo colaborativo-dos-grupo-203
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
proposiciones
proposicionesproposiciones
proposiciones
 
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretas
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretas
 
Tautologías
TautologíasTautologías
Tautologías
 
T logica
T logicaT logica
T logica
 
La logica formal
La logica formalLa logica formal
La logica formal
 

Más de Nadita Bermudez Zuleta

Las máscaras que usamos. sesión nº 3 ficha nº5
Las máscaras que usamos. sesión nº 3 ficha nº5Las máscaras que usamos. sesión nº 3 ficha nº5
Las máscaras que usamos. sesión nº 3 ficha nº5Nadita Bermudez Zuleta
 
1. sesión 2, resignificación histórica
1. sesión 2, resignificación histórica1. sesión 2, resignificación histórica
1. sesión 2, resignificación históricaNadita Bermudez Zuleta
 
1. sesión 2, resignificación histórica
1. sesión 2, resignificación histórica1. sesión 2, resignificación histórica
1. sesión 2, resignificación históricaNadita Bermudez Zuleta
 
Plan de clase inecuaciones ing. juan carlos nolivos
Plan de clase inecuaciones ing. juan carlos nolivosPlan de clase inecuaciones ing. juan carlos nolivos
Plan de clase inecuaciones ing. juan carlos nolivosNadita Bermudez Zuleta
 
Plan de clase inecuaciones ing. juan carlos nolivos
Plan de clase inecuaciones ing. juan carlos nolivosPlan de clase inecuaciones ing. juan carlos nolivos
Plan de clase inecuaciones ing. juan carlos nolivosNadita Bermudez Zuleta
 
Protocolo de plan de clase razonamiento con predicados jhonny concha
Protocolo de plan de clase   razonamiento con predicados  jhonny conchaProtocolo de plan de clase   razonamiento con predicados  jhonny concha
Protocolo de plan de clase razonamiento con predicados jhonny conchaNadita Bermudez Zuleta
 
Introducción al conocimiento científico
Introducción al conocimiento científicoIntroducción al conocimiento científico
Introducción al conocimiento científicoNadita Bermudez Zuleta
 

Más de Nadita Bermudez Zuleta (16)

Las máscaras que usamos. sesión nº 3 ficha nº5
Las máscaras que usamos. sesión nº 3 ficha nº5Las máscaras que usamos. sesión nº 3 ficha nº5
Las máscaras que usamos. sesión nº 3 ficha nº5
 
1. sesión 2, resignificación histórica
1. sesión 2, resignificación histórica1. sesión 2, resignificación histórica
1. sesión 2, resignificación histórica
 
Somos como nos comunicamos sesión 1
Somos como nos comunicamos sesión 1Somos como nos comunicamos sesión 1
Somos como nos comunicamos sesión 1
 
Insertar
InsertarInsertar
Insertar
 
1. sesión 2, resignificación histórica
1. sesión 2, resignificación histórica1. sesión 2, resignificación histórica
1. sesión 2, resignificación histórica
 
Horario
HorarioHorario
Horario
 
Plan 4
Plan 4Plan 4
Plan 4
 
Plan de clase binomio ivan quinteros
Plan de clase binomio ivan quinterosPlan de clase binomio ivan quinteros
Plan de clase binomio ivan quinteros
 
Plan de clase inecuaciones ing. juan carlos nolivos
Plan de clase inecuaciones ing. juan carlos nolivosPlan de clase inecuaciones ing. juan carlos nolivos
Plan de clase inecuaciones ing. juan carlos nolivos
 
Plan de clase binomio ivan quinteros
Plan de clase binomio ivan quinterosPlan de clase binomio ivan quinteros
Plan de clase binomio ivan quinteros
 
Plan de clase inecuaciones ing. juan carlos nolivos
Plan de clase inecuaciones ing. juan carlos nolivosPlan de clase inecuaciones ing. juan carlos nolivos
Plan de clase inecuaciones ing. juan carlos nolivos
 
Tipos de funciones (clase modelo)
Tipos   de  funciones (clase modelo)Tipos   de  funciones (clase modelo)
Tipos de funciones (clase modelo)
 
Protocolo de plan de clase razonamiento con predicados jhonny concha
Protocolo de plan de clase   razonamiento con predicados  jhonny conchaProtocolo de plan de clase   razonamiento con predicados  jhonny concha
Protocolo de plan de clase razonamiento con predicados jhonny concha
 
Protocolo de plan de clase ing pinos
Protocolo de plan de clase ing pinosProtocolo de plan de clase ing pinos
Protocolo de plan de clase ing pinos
 
Relacion de orden de numeros enteros
Relacion de orden de numeros enterosRelacion de orden de numeros enteros
Relacion de orden de numeros enteros
 
Introducción al conocimiento científico
Introducción al conocimiento científicoIntroducción al conocimiento científico
Introducción al conocimiento científico
 

Logica matematica razonamiento

  • 1. Guayaquil, 13 de diciembre de 2012 Trabajo de Matemáticas. Perteneciente: Jhonny Antonio Concha Ramírez Tutor: Master Margarita Martínez Tema a tratar: Razonamientos. Creación de la Clase. Objetivo: Reconocer la estructura de un razonamiento y establecer su validez empleando tablas de verdad y leyes de algebra de proposiciones. INTRODUCCIÓN: Indagación previa de lo que es lógica de matemática por medio de dinámica. Al razonamiento también se lo conoce como inferencia lógica o argumento. Sé que se está de hablando de razonamiento cuando nos da como consecuente una conclusión, que será reconocido por los términos como “por lo tanto”, “luego”, en consecuencia”, “de ahí que”, etc. Definición: Dadas dos o más proposiciones P1, P2, ..., Pn, llamadas hipótesis, y una proposición Q, llamada conclusión, llamaremos razonamiento a la relación entre ellas, denotada por: P1, P2, ..., Pn Q, (que leeremos "si P1 y P2 y ... y Pnpor lo tanto Q"), y diremos que la misma es válida, si Q resulta verdadera cada vez que las hipótesis sean verdaderas. O lo que es lo mismo :P1 P2 P3 …… PnC Ejemplos: 1. Vicente viajará al norte del país o se quedará en la capital. Por lo tanto, Si Vicente viaja al norte del país entonces no se quedará en la capital. 2. Si Juan gana el concurso de poesía entonces obtendrá una beca. Juan ganó el concurso de poesía. Luego Juan obtendrá una beca. La conclusión se puede distinguir de sus premisas porque generalmente van precedidas por alguno de los términos como “por lo tanto”, “luego”, en consecuencia”, “de ahí que”, etc. y las premisas podemos distinguirlas casi siempre por los signos de puntuación como el punto seguido o por el sentido que tiene el enunciado. CUERPO:
  • 2. Validez de un razonamiento: Un razonamiento es válido cuando la forma proposicional que representa su estructura lógica es tautológica. Si dicha forma proposicional es una contradicción o contingencia, entonces el razonamiento no es válido, en cuyo caso se denominara falacia. MÉTODOS PARA DETERMINAR LA VALIDEZ DE UNA INFERENCIA LÓGICA Analizar la validez o invalidez de una inferencia consiste en decidir si la fórmula de la inferencia es válida o no, para esto conocemos dos métodos: 1. POR LA TABLA DE VALORES Se sugiere seguir los siguientes pasos: a. Simbolizar las premisas y la conclusión: b. Obtener la formula inferencial c. Aplicar la tabla de valores. Si el resultado es tautológico, la conjunción de premisas implica a la conclusión, y por tanto la inferencia es válida, pero si el resultado no es tautológico, la inferencia no es válida. Ejemplos: 1. Vicente viajará al norte del país o se quedará en la capital. Por lo tanto, Si Vicente viaja al norte del país entonces no se quedará en la capital. a. Simbolizamos: p q _____________ p q b. Obtenemos la formula inferencial: (p q) (p q) c. Elaboramos la tabla de valores: p q (p q) (p q) V V V F F V F V VV F V V VV F F F V V El esquema no es tautológico, luego la premisa no implica a la conclusión y la inferencia no es válida, 2. Si Juan gana el concurso de poesía entonces obtendrá una beca. Juan ganó el concurso de poesía. Luego Juan obtendrá una beca. a. Simbolizando tenemos:
  • 3. p q p __________ q b. Obtenemos la formula inferencial: [( p q) p ] q c. Elaboramos la tabla de valores: p q [( p q) p ] q V V V VV V F F F V F V V F V F F V F V El esquema es tautológico, luego la conjunción de premisas implica a la conclusión y la inferencia es válida. 2. POR EL MÉTODO ABREVIADO Es un procedimiento que evita estar construyendo la tabla de valores de verdad para determinar la validez de la inferencia. Este método consiste en suponer la conjunción de premisas verdaderas y la conclusión falsa, única posibilidad que invalidad la implicación. P1 P2 P3 …… Pn C V VVV F Ejemplo: 1. Vicente viajará al norte del país o se quedará en la capital. Por lo tanto, Si Vicente viaja al norte del país entonces no se quedará en la capital. a. Simbolizamos: p q _____________ p q b. Obtenemos la formula inferencial: (p q) (p q) c. Suponemos valores, a las premisas verdaderas y la conclusión falsa
  • 4. (p q) (p q) V F Como cada una de las variables (p, q), cumplen una sola función veritativa, decidimos que la inferencia no es válida. Esto es, se ha demostrado que la premisa es verdadera y la conclusión es falsa. 2. Si Juan gana el concurso de poesía entonces obtendrá una beca. Juan ganó el concurso de poesía. Luego Juan obtendrá una beca. a. Simbolizando tenemos: p q p __________ q b. Obtenemos la formula inferencial: [(p q) p] q c. Suponemos valores, a las premisas verdaderas y la conclusión falsa: [(p q) p] q V V F d. Comprobamos: [( p q) p ] q F F V V F Como la variable p tiene dos valores: verdadero y falso a la vez. Por lo tanto, hay implicación y la inferencia es válida. CONCLUSIÓN: Validez y verdad. La validez se refiere a la forma de pensamiento, mientras que la verdad se obtiene del análisis del contenido del pensamiento. En todo razonamiento o inferencia hay que distinguir su validez de su verdad. El razonamiento o la inferencia son válidos cuando la conjunción de premisas implica a la conclusión; y, si esto no sucede, la inferencia es inválida. La validez o invalidez de una inferencia depende únicamente de su forma lógica, y la forma lógica depende de la función que desempeñan las conectivas en la estructura del enunciado inferencial.
  • 5. Si una inferencia válida tiene su premisa o conjunto de premisas verdaderas, entonces se puede asegurar que la conclusión es necesariamente verdadera; pero si la premisas o conjunto de premisas no son verdaderas, así la inferencia sea válida, lógicamente no se puede saber la verdad o falsedad de la conclusión. Entonces, el único caso que se puede saber la verdad de la conclusión es cuando la inferencia es válida y tiene premisas verdaderas. Tautología. Es una proposición que siempre es verdadera, independientemente del valor lógico de las proposiciones simples que la componen.. Se puede decir también que un esquema es un tautológico cuando los valores de verdad del operador principal son todos verdaderos. Contingentes Cuando en su resultado hay por lo menos una verdad y una falsedad Contradicción Es cuando en el resultado todos los valores de verdad son falsos o Un esquema A es una contradicción si “no A” ( A), es una contradicción cuando todos los valores del operador de mayor jerarquía son falsos. Indeterminación: es la sentencia que ni es verdadera ni falsa. Función veritativa (Wahtheitsfunktion) : Las proposiciones funcionan como funciones que pueden asumir dos posibles valores de verdad. Toda proposición puede ser verdadera o falsa. En consecuencia, toda proposición es una función veritativa. Bibliografía: Fundamentos de matemáticas para bachillerato, Espol, ICM. Archivo PDF, Matemática Discreta, Lógica Matemática, UNIVERSIDAD TECNOLÓGICANACIONAL, FACULTAD REGIONAL CÓRDOBA, Carrera de Ingeniería en Sistemas de Información. Módulo 2 de la universidad nacional de Loja, desarrollo del pensamiento lógico, Master Jorge Armijos O, Loja-Ecuador, 2010.