Inferencia deductiva: Es la que marca una necesidad lógico-formal de un enunciado a otro. Sus premisas son fuertes en pos de la conclusión. Inferencia no deductiva: Es la que no marca una necesidad lógico-formal de un enunciado a otro.
Ejemplos de lógica
- La lógica simbólica mantiene que si una proposición (p) es verídica y otra proposición (q) es verídica, el enunciado terminado es la conjunción ( p • q) es verídica.
- En lógica simbólica se mantiene que si entre las 2 proposiciones es falsa, toda la declaración de la conjunción es falsa. De este modo, si p es verídica y q es falsa, entonces p • q es falsa.
- Según la lógica simbólica, la negación (indicada por el símbolo ˜) de un enunciado verdadero se considera falsa (si p es verídica, entonces ˜p es falsa) y la negación de un enunciado falso es verídica (si q es falsa, entonces ˜q es verídica).
- Según la lógica simbólica, una disyunción única (p ⊕ q) es falsa si las dos proposiciones, p y q, son verdaderas.
- Según la lógica simbólica, una disyunción única (p ⊕ q) es verídica si uno de sus enunciados es verdadero y el otro falso.
- Según la lógica simbólica, una disyunción única (p ⊕ q) es falsa si los dos enunciados, p y q, son falsos.
- Todos y cada uno de los mamíferos cuidan de sus crías (idea 1), el perro es un mamífero (propuesta 2); en consecuencia, el perro protege a sus crías (conclusión).
- Todos y cada uno de los pensadores estudian la presencia (propuesta 1), Aristóteles fue pensador (propuesta 2); por consiguiente, Aristóteles estudió la presencia (conclusión).
- Todas y cada una de las pinturas de Van Gogh son geniales (idea 1), “Girasoles” es una pintura de Van Gogh (propuesta 2); por ende, «Los Girasoles» es una pintura increíble (conclusión).
- En días radiantes la ropa se seca mucho más veloz (propuesta 1), el día de hoy hace sol (idea 2); por consiguiente, la ropa se secará mucho más veloz (conclusión).
- Los planetas gaseosos tienen atmosferas muy espesas (propuesta 1), Júpiter es un mundo gaseoso (idea 2); por consiguiente, la atmósfera de Júpiter es muy espesa (conclusión).
- Los felinos tienen buen oído (propuesta 1), el león es felino (idea 2); en consecuencia, el león tiene buen oído (conclusión).
- Todos y cada uno de los artículos de esta tienda son de calidad (idea 1), este sofá es de esta tienda (idea 2); en consecuencia, este sofá es de calidad (conclusión).
- Las estrellas arden todo el tiempo (idea 1), el Sol es una estrella (idea 2); en consecuencia, el Sol arde todo el tiempo (conclusión).
- Las escalas de intervalo tienen ceros relativos (propuesta 1), el sistema de grados Celsius es una escala de intervalo (idea 2); en consecuencia, el sistema de grados Celsius tiene un cero relativo (conclusión).
- Los bosques tibios tienen una precipitación promedio que fluctúa entre 600 mm y 1200 mm (propuesta 1), los bosques canadienses son tibios (propuesta 2); por consiguiente, los bosques en Canadá tienen una precipitación promedio que fluctúa entre 600 mm y 1200 mm (conclusión).
¿Qué es un razonamiento?
Un razonamiento es la expresión de un razonamiento, así sea oral o escrito, como una parte del intento lógico de probar la validez o invalidez de una proposición o proposición vinculándola a una secuencia de conclusiones.
En otras expresiones, un razonamiento es una manera de razonamiento que justifica una situación con relación a algo, mediante un grupo de premisas y una conclusión como resulta lógico extraída de ellas. Argumentar, en consecuencia, significa ofrecer razonamientos al otro, como lo hacen los abogados en el transcurso de un juicio para intentar seducir al jurado.
Metalógica
Los lógicos procuran idiomas formales por el hecho de que tienen tres características consideradas deseables: rigidez, completitud y solidez. Estas características se estudian con el apoyo de un lenguaje de orden superior que usamos para charlar de un sistema formal dado: el metalenguaje. Puede ser cualquier lengua natural o formal, más allá de que se acostumbran a usar lenguas naturales con alguna expansión (ejemplos: alemán, español, etcétera.).
El estudio de estas características se conoce como metalógico, y un vanguardista en el tema fue el matemático italiano Eugenio Beltrami, quien probó la rigidez de la geometría hiperbólica de Lobachevsky al interpretarla en concepto de geometría euclidiana.