Logica Mate
3
1. ¿Que es calculo preposicional, lenguaje objeto y metalenguaje? R/ C.P: La manera adecuada a la formación de argumentos cuya validez depende de las maneras es que se comparan los enunciados se comparan en enunciados compuestos en función de verdad. L.O: Es la relación que existe en los cambios dialécticos que ocurren en diferentes lugares. Metalenguaje: Lenguaje usado el hablar de otro lenguaje. 2. ¿Qué tipos de lenguaje se usan en el metalenguaje? R/ El lenguaje semántica porque no va a ser nada inventado y el lenguaje de sintaxis la forma y manera en que están escritas las cosas. 3. ¿Para que sirven los símbolos primitivos en el cálculo preposicional? R/Para demostrar los teoremas y deducir conclusiones de las premisas dentro del sistema deberán considerase como completamente no interpretadas. 4. ¿A que se le llama formula bien formada? R/ Se define como cualquier secuencia finita de símbolos primitivos de nuestro sistema. 5. Definición de recursividad de formula bien formada: - Todo símbolo preposicional es una wff. - Si una formula P cualquiera es una wff, entonces – (P) es una wff. - Si cualquier formula P y Q son ambas wff entonces (P).(Q) es una wff. 6. ¿Para que efectos se define la formula bien formada de forma recursiva? R/ Que la definición permite la formación de una infinidad de formulas bien formadas pero que a la vez proporcionan un criterio efectivo para su reconocimiento no importa que tan alta sea una secuencia de símbolos de lenguaje objeto nuestra definición recursiva nos permite definir un numero finito de pasos si eso no una formula bien formada
-
Upload
gilberto-sanchez -
Category
Documents
-
view
217 -
download
0
description
MATEMATICAS
Transcript of Logica Mate
1. ¿Que es calculo preposicional, lenguaje objeto y metalenguaje?R/ C.P: La manera adecuada a la formación de argumentos cuya validez depende de las maneras es que se comparan los enunciados se comparan en enunciados compuestos en función de verdad. L.O: Es la relación que existe en los cambios dialécticos que ocurren en diferentes lugares.Metalenguaje: Lenguaje usado el hablar de otro lenguaje.
2. ¿Qué tipos de lenguaje se usan en el metalenguaje?R/ El lenguaje semántica porque no va a ser nada inventado y el lenguaje de sintaxis la forma y manera en que están escritas las cosas.
3. ¿Para que sirven los símbolos primitivos en el cálculo preposicional?R/Para demostrar los teoremas y deducir conclusiones de las premisas dentro del sistema deberán considerase como completamente no interpretadas.
4. ¿A que se le llama formula bien formada?R/ Se define como cualquier secuencia finita de símbolos primitivos de nuestro sistema.
5. Definición de recursividad de formula bien formada:- Todo símbolo preposicional es una wff.- Si una formula P cualquiera es una wff, entonces – (P) es una wff.- Si cualquier formula P y Q son ambas wff entonces (P).(Q) es una wff.
6. ¿Para que efectos se define la formula bien formada de forma recursiva? R/ Que la definición permite la formación de una infinidad de formulas bien formadas pero que a la vez proporcionan un criterio efectivo para su reconocimiento no importa que tan alta sea una secuencia de símbolos de lenguaje objeto nuestra definición recursiva nos permite definir un numero finito de pasos si eso no una formula bien formada
7. Explique el lenguaje sintaxis y lenguaje gramatical/ semántico y como se usan es nuestro metalenguaje y para que distinción? R/ La sintaxis es la que estudia las reglas y principios de las formas en que se combinan las palabras.El gramatical es el estudio de las reglas y principios que gobiernan el uso de las lenguas y organización de las palabras dentro de unas oraciones y otro tipo de constituyente sintáctico.Se utiliza en nuestro metalenguaje para hacer la diferencia en cada región ya que cada uno tiene un diferente lenguaje objeto.
UNIVERSIDAD NACIONAL AUTONOMA DE HONDURAS
UNAH
Nombre: Gilberto Antonio Sánchez
Cuenta:20131000190
Catedrático:Moisés Ortiz
Trabajo:Guía
Sección:17:00
Fecha de Entrega:25/03/2014
