inferiencias mediatas e inmediatas
escucha la siguiente canción y saca el argumento principal y la conclusión
▶ Kiss Me Thru The Phone Lyrics Soulja Boy - YouTube
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, parte de lo verdadero a lo falso: posible (como hipótesis) o conocida (como argumento) de alguna o algunas de ellas, puede deducirse la verdad o falsedad de alguna o algunas de las otras EBF.
Surge así lo que conocemos como postulado o transformada de una expresión original conforme a reglas previamente establecidas, que puede enmarcarse en uno o varios contextos referenciales diversos, obteniéndose en cada uno de ellos un significado como valor de verdad de equivalente