Pensamiento

Una inferencia es una evaluación que realiza la mente entre proposiciones. En lógica formal son expresiones bien formadas de un lenguaje formal (EBF) que, al ser relacionadas , permiten trazar una línea lógica de condición o implicación lógica entre las diferentes EBF. De esta forma, partiendo de la verdad o falsedad posible (como hipótesis) o conocida (como argumento) de alguna o algunas deellas, puede deducirse la verdad o falsedad de alguna o algunas de las otras EBF.
Surge así lo que conocemos como postulado1 o transformada de una expresión original conforme a reglas previamente establecidas,2 que puede enmarcarse en uno o varios contextos referenciales diversos,3 obteniéndose en cada uno de ellos un significado como valor de verdad de equivalente.4 5 6
Es la operaciónlógica utilizada en los motores de inferencia de los Sistemas Expertos.



El concepto es una parte esencial del juicio y en términos claros, el concepto es el centro de un juicio. En lógica, un concepto es una idea que identifica algo: “Miedo”, “Hombre”, “Perro”. "Iglecia" "P" La idea expresada por el concepto, no nos aclara que es, o como es, solo nos dice que está ahí; nos da una idea abstracta. Elconcepto no nos dice a que le tenemos “Miedo”,  de que país es el “Hombre” o de que especie es el “Perro”. Concepto es una idea abstracta, que establece un punto de referencia, pero que no se refiere a algo más que éste punto. El concepto puede catalogarse como la parte mínima de una idea, que requiere de un predicado, para poder formularse en forma lógica, el concepto es la parte de la idea que nopuede reducirse más, pues desaparecería. El concepto escapa directamente al juicio; no nos indica ni lo verdadero ni falso; el criterio necesita forzosamente de más información. Al elaborar un juicio sin presentar los conceptos correspondientes, tendríamos como resultado un cumulo de palabras sin sentido. El efecto contrario lo tendríamos con los conceptos sin sus predicados, serían sustantivos opalabras sin dirección. Existen varios tipos de conceptos: Conceptos negativos: amoral, inmoral, inhumano, insensato. Conceptos positivos: cualidades, bondad, santidad. Conceptos privativos: ausencias o carencias. Ejemplos de conceptos: Conceptos simples sin predicado: Miedo Hombre Perro No nos dicen nada, solo que son sustantivos. Predicado lógico simple: Tengo miedo Ese hombre Corre perro Cada unode estos predicados nos indica que es hace o tiene cada uno de los conceptos: Ese hombre es mexicano Tengo miedo a las abejas Anda corriendo el   perro Las ideas se encuentras lógicamente aplicadas: Ese.............es mexicano. Tengo............. a las abejas. Anda corriendo el.................  

URL del artículo: http://www.ejemplode.com/29-logica/2144-ejemplo_de_concepto_en_logica.html
Notacompleta: Ejemplo de Concepto en lógica


Juicio

Un juicio lógico es analizar una situación con fundamentos o argumentos que defiendan tu posición. Por ejemplo si dices que estás de acuerdo con la pena de muerte, entonces tienes que sustentar por qué estás de acuerdo con argumentos que tengan sentido y por tanto que sean discutibles o atendibles

Los juicios y los razonamientos deductivosen la lógica tradicional[editar · editar código]
Los juicios de términos constituyen el fundamento de la posibilidad de los razonamientos mediante el establecimiento de relaciones entre los términos implicados en ellos; lo que constituye lo queAristóteles consideró la forma fundamental del razonamiento deductivo: el silogismo.
Tanto la forma de los juicios como la forma de los silogismos hoydía se interpretan lógicamente según la lógica simbólica a partir del primer tercio del siglo XX.
El juicio aristotélico se interpreta como un enunciado que se formaliza como proposición y se simboliza como una Fórmula bien formada o Expresión bien formada, (EBF), de un cálculo lógicoentendido éste como lógica de clases.
En la lógica actual el silogismo pierde su condición de categórico y se...