Documentos de Académico
Documentos de Profesional
Documentos de Cultura
PROFESORA: ESTUDIANTE:
ING OSNEYDA MUJICA ENDERSON TIRADO
LOGICA MATEMATICA C.I: V-29.711.130
ING. DE SISTEMAS
04S 2605-D1
INTRODUCCION I
-¿Qué significa en el Lenguaje Lógico la Semiótica? 4
-¿Qué relación existe entre la Semiótica, La Sintaxis,
-La Semántica y Pragmática? 5
-Definición formal de sintaxis en el Lenguaje Lógico 5
-Definir los siguientes términos en el Lenguaje Lógico:
Alfabeto, Definiciones Inductivas, Gramáticas Libres de Contexto 6
-Cuáles son las expresiones algebraicas: Infijas, Prefijas, Postfijas 7
-¿Qué es Semántica, definiciones formales de semántica? 7
-¿Cuáles son los dominios de Interpretación y
las funciones de valuación semántica? 8
-¿Qué significa calculo proposicional (Sistema, SS)? 8
-Definir los valores de verdad 8
-Indicar y definir a gramática de fórmulas ss. 9
-Cuáles son los arboles asociados a las formulas 9
-¿Qué significa semántica informal basada en un
concepto lógico-matemático? 9
-¿Cómo traducir preposiciones en español a fórmulas ss.? 10
-Definir y nombrar las nociones de derivación 11-15
CONCLUSION 16
REFERENCIAS BIBLIOGRAFICAS 17
INTRODUCCION
Sin más preámbulo que este material sea de mucha ayuda a lo largo del
desarrollo de esta unidad.
1. ¿Qué significa en el Lenguaje Lógico la Semiótica?
Sus inicios epistemológicos están situados a finales del siglo XIX con los
aportes de Saussure y Peirce, quienes contribuyeron a la construcción de
las primeras reflexiones sobre la disciplina semiótica y del lugar que merece
dentro de las ciencias sociales por la relevancia de su objetivo
epistemológico. Algunos de estos precursores sostienen que la semiótica
incluye a todas las demás ciencias que se dedican al estudio de los signos
en determinados campos del conocimiento.
Frente al tema de semiosis Peirce (citado en Eco, 1995) postula que este
proceso es “entendido como una acción, una influencia que sea, o suponga,
una cooperación de tres sujetos, como, por ejemplo, un signo, su objeto y su
interpretante, influencia tri-relativa que en ningún caso puede acabar en una
acción entre pareja”. De esta manera queda evidenciado que desde la mirada
peirciana los procesos semióticos “no son necesariamente sujetos humanos,
sino tres entidades semióticas abstractas”. Esta relación triádica de Semiosis
como la denomina Morris, puede aislarse, con el fin de convertirse en objeto de
estudio, puesto que “pueden estudiarse las relaciones de los signos con los
objetos a los que son aplicables, esta relación recibe el nombre de dimensión
semántica de la Semiosis”
Alfabeto:
Un lenguaje formal está formado por un alfabeto y una gramática, también
llamado Alfabeto Lógico X-stem (XLA), constituye un conjunto icónico de
símbolos lógicos booleanos que representan sistemáticamente dieciséis
posibles funciones de verdad binarias de la lógica. El alfabeto lógico fue
desarrollado por Shea Zellweger. El énfasis principal de su icónico "alfabeto
lógico" es proporcionar una notación cognitivamente más ergonómica para la
lógica. El sistema visualmente icónico de Zellweger revela más fácilmente, para
principiantes y profesionales, las relaciones de simetría subyacentes y las
propiedades geométricas de los dieciséis conectores binarios dentro del
álgebra booleana.
Definiciones inductivas:
La mayoría de los objetos usados en lógica o ciencias de la computación
son definidos inductivamente. Lo cual significa que frecuentemente definimos
un conjunto S de objetos como: El conjunto más pequeño de objetos que
contienen a un conjunto dado X de átomos y que es cerrado bajo un conjunto
dado F de constructores. El propósito de esta sección es definir rigurosamente
el significado de la oración anterior.
Infijas:
Es la forma más común que utilizamos para escribir expresiones matemáticas,
estas notaciones se refieren a que el operador esta entre los operando. La
notación infija puede estar completamente parentizada o puede basarse en un
esquema de precedencia de operadores, así como el uso de paréntesis para
invalidar los arreglos al expresar el orden de evaluación de una expresión.
Prefijas:
Como su nombre lo indica se refiere a que el operador ocupa la posición
después de los operando sus características principales son: el orden de los
operando se conserva igual que la expresión infija equivalente no utiliza
paréntesis ya que no es una operación ambigua.
-La operación posfija no es exactamente lo inverso a la operación prefija
equivalente.
Postfija:
Nos indica que el operador va antes de los operando sus características
principales son:
-Los operando conservan el mismo orden que la notación infija equivalente.
-No requiere de paréntesis para indicar el orden de precedencia de operadores
ya que él es una operación.
-Se evalúa de izquierda a derecha hasta que encontrémosle primer operador
seguido inmediatamente de un par de operando.
-Se evalúa la expresión binaria y el resultado se cambia como un nuevo
operando. Se repite este hasta que nos quede un solo resultado.
Utilizando constantes:
T: hay una tormenta en el golfo
L: llueve
H: hace frío
Puede traducirse así:
T ⊃ [L ∧ F]
Cuya lectura es: Si hay tormenta en el golfo, entonces llueve y hace frío.
[L & F] ⊃ T
Una razón por la que ocurre esto es la posición del antecedente y del
consecuente en el lenguaje ordinario, que pueden ir antes o después, como en
nuestro ejemplo, donde el antecedente está al final de la oración. El estudiante
los confunde de tal manera que la lectura de la oración le resulta así: (1*) Si
llueve y hace frío, hay tormenta en el golfo. que no reproduce la oración
original, pues dice otra cosa. En efecto, una manera de cerciorarnos si una
traducción es correcta consiste en reformularla, volverla a leer y darnos cuenta
si nos hemos equivocado en algo. En efecto, la paráfrasis muchas veces puede
ayudarnos a comprender mejor el sentido de una oración, a destacar sus
matices. Muchas veces conviene parafrasear la oración inicial antes de
proceder a su traducción.
14. Definir y nombrar las nociones de derivación
_______ Cierre
A /\ B Regla I.C., líneas n, n+a Conclusión
Eliminación del conjuntor o simplificación: E.C.
línea n A /\ B
_________ Cierre
A Regla E.C. línea n Conclusión
Introducción del disyuntor o adición: I.D.
línea n A Fórmula de la cadena
_________ Cierre
A \/ B Regla I.D., línea n Conclusión
Eliminación del disyuntor o casos: E.D.
línea n A \/ B
┌línea (n+1) A Supuesto provisional
│ - Líneas derivadas provisionales
│ - no utilizables fuera del supuesto
└ línea (n+ b) C Regla X, línea s, r
┌línea (n+x) B Supuesto provisional
│ - Líneas derivadas provisionales
│ - no utillizables fuera del supuesto
└ línea (n+x)+a C Regla T, línea t, r
_________ Cierre
C Casos,líneas [(n+1-n+b),(n+x-n+x+a)]
Introducción del implicador o teoría de la deducción I.I.
Supuesto
┌línea (n) A
provisional
Líneas derivadas
│ -
provisionales
no utilizables
│ - fuera del
supuesto
Regla X, línea s,
└ línea (n+a) B
r
_________ Cierre
Regla I.I. líneas
Línea (n+b)+1 A → B (n+1-
n+b),conclusión
Eliminación del implicador o Modus ponens E.I.
línea n A→B Fórmula de la cadena
línea n+a A Fórmula de la cadena
_________ Cierre
B Regla E.I., líneas n, n+a Conclusión
Reglas derivadas
Algunas de las reglas derivadas más utilizadas:
Silogismo hipotético o Transitividad del condicional S.H.
línea n A→B Fórmula de la cadena
Leyes de De Morgan
Artículo principal: Leyes de De Morgan
línea
¬(A /\ B) Fórmula de la cadena
n
Doble línea de
============
cierre
Regla de De Morgan 1.,
(¬ A \/ ¬ B) Conclusión
línea n.
línea
¬(A \/ B) Fórmula de la cadena
n
Doble línea de
============
cierre
Regla de De Morgan 2.,
(¬ A /\ ¬ B) Conclusión
línea n.
Conmutación de la conjunción
línea
A /\ B Fórmula de la cadena
n
Doble línea
============
de cierre
Conmutación conjunción
B /\ A Conclusión
CC., línea n.
Conmutación de la disyunción
línea
A \/ B Fórmula de la cadena
n
Doble línea
============
de cierre
Conmutación disyunción
B \/ A Conclusión
CD., línea n.
Asociativa de la conjunción AC.'
línea
[A /\ (B /\ C)] Fórmula de la cadena
n
Doble línea de
============
cierre
Asociativa conjunción
[(A /\ B) /\ C] Conclusión
AC., línea n.
Asociativa de la disyunción AD.
línea
[A \/ (B \/ C)] Fórmula de la cadena
n
Doble línea de
============
cierre
Asociativa disyunción
[(A \/ B) \/ C] Conclusión
AD., línea n.
Distributiva de la conjunción
línea
[A /\ (B \/ C)] Fórmula de la cadena
n
Doble línea
============
de cierre
[(A /\ B) \/ (A /\ Distributiva de la
Conclusión
C)] conjunción DC., línea n.
Distributiva de la disyunción
línea
[A \/ (B /\ C)] Fórmula de la cadena
n
Doble línea
============
de cierre
[(A \/ B) /\ (A \/ Distributiva de la
Conclusión
C)] disyunción DD., líneas n.
Doble negación
línea n ¬¬A Fórmula de la cadena
Doble línea de
============
cierre
Doble negación DN.,
A Conclusión
línea n.
Transposición
línea n (A → B) Fórmula de la cadena
Doble línea de
============
cierre
Transposición., línea
(¬B → ¬A) Conclusión
n.
Definición del implicador
línea n A → B Fórmula de la cadena
Doble línea de
============
cierre
Implicación, Imp., línea
¬A \/ B Conclusión
n.
Equivalencia 1
línea
A↔B Fórmula de la cadena
n
Doble línea de
============
cierre
[(A → B) /\ (B → Equivalencia 1., línea
Conclusión
A) n.
Equivalencia 2
línea
A↔B Fórmula de la cadena
n
Doble línea de
============
cierre
[(A /\ B) \/ (¬A /\ Equivalencia 2.,
Conclusión
¬B) línea n.
Exportación
línea n [(A /\ B) → C] Fórmula de la cadena
Doble línea de
============
cierre
Exportación. Exp.,
[A → (B → C)] Conclusión
línea n,
´
Identidad
línea n A Fórmula de la cadena
Doble línea de
============
cierre
A Identidad, línea n, Conclusión
Tautología
línea n A Fórmula de la cadena
Doble línea de
============
cierre
Exportación. Exp.,
(A \/ A) Conclusión
línea n.
CONCLUSION
https://creatividadpersuasiva.cl/
https://es.wikipedia.org/