Fuja Logica Parte Teorica

Resumen teórico de Lógica 1er cuatrimestre 2023
APUNTE CERO:
¿De qué trata la lógica?:
La lógica es el estudio correcto de razonar o argumentar. Un enunciado o
argumento es cualquier signo del cual tenga sentido decir si es verdadero
o falso.
Razonamiento:
El razonamiento se da cuando hay un conjunto de enunciados, formado
por premisas, afirmaciones y cerrada por una sola conclusión que afirma
estas premisas.
Caracterice el concepto de validez deductiva:

La validez deductiva se refiere a cuando una conclusión sigue lógicamente
de unas premisas sin importar si las premisas son verdaderas o falsas. En
otras palabras, si sigues las reglas lógicas adecuadamente, la conclusión
siempre será cierta si las premisas lo son.
Caracterice la noción de forma lógica:

La "forma lógica" se refiere a la estructura básica de un argumento, sin
tener en cuenta las palabras específicas utilizadas. Es como el esqueleto de
un argumento, que muestra cómo las ideas están conectadas lógicamente.
La forma lógica nos ayuda a entender cómo se relacionan las partes de un
argumento y a evaluar si es válido o no, sin importar el contenido real de
las afirmaciones.
Caracterice la noción de consistencia:
La consistencia se refiere a que las afirmaciones o ideas no se contradigan
entre sí. Un enunciado es consistente si todas las declaraciones de un
enunciado son verdaderas al mismo tiempo. De lo contrario, son
inconsistentes.
NOTACION LOGICA:
Diferenciar el cuantificador de conectivas:
Las conectivas y cuantificadores se relacionan entre si xq son signos
lógicos, representan expresiones lógicas. Pero:
Las conectivas conectan enunciados y cumplen una función lógica.
Los cuantificadores “cuantifican” con respecto a los individuos de un
determinado dominio, sin indicar cuantos son ni enumerarlos. Puede ser
cuantificador universal (x) o existencial (x).
LPO (Lenguaje de Primer Orden).

Se refiere al lenguaje de primer orden, que se creó con la intención de
formalizar teóricas matemáticas. El LPO se usan símbolos y reglas
específicas para representar información de manera clara y sin
ambigüedades. Por esto se dice que es efectivo, proporciona una forma
precisa y clara de expresar y razonar la información, evitando
ambigüedades y garantizando la validez lógica.
Tesis de Turing/ Maquina de Turing y la función computable
Tesis de Turing:
La tesis plantea que cualquier calculo que pueda ser realizado
por una Maquina de Turing puede ser realizado por cualquier
otra máquina de computación. Esto significa que todas las
computadoras modernas, por muy diferentes que sean en diseño
o arquitectura, pueden resolver los mismos problemas que una
máquina de Turing.
Por esto, la Tesis de Turing es importante porque nos dice qué
tan poderosas pueden ser las computadoras y cuáles son sus
límites. Imagina que alguien inventa una nueva computadora
muy avanzada. Si queremos saber qué puede hacer esa
computadora, podemos usar la Tesis de Turing como referencia
Función computable:
Una función computable es una función matemática que puede
ser calculada por una computadora, ya sea mediante un
programa de computadora o mediante una máquina de Turing.
Estas son importantes porque nos dicen qué tipo de problemas
pueden ser resueltos por las computadoras.
Ejemplo de función computable:
Respuesta de parcial:
La Tesis de Turing dice que cualquier tarea que pueda ser
realizada por una máquina de Turing puede ser realizada por
cualquier otra forma de computadora. En otras palabras, si una
máquina de Turing puede hacer algo, cualquier computadora
moderna también puede hacerlo.
Un ejemplo de una función computable sería sumar dos

números. Puedes escribir un programa en una computadora que
tome dos números como entrada y devuelva su suma como
resultado. Esta tarea es computable porque puede ser realizada
por una máquina de Turing siguiendo un conjunto de reglas
específicas.
2do parcial PARTE TEORICA

Preguntas:
1) Completar
2) La Deducción Natural determina si un argumento es
correcto o no. Pero esta herramienta se enfoca
principalmente en encontrar si un argumento es correcto,
es decir, si las conclusiones siguen lógicamente a partir de
las premisas. Sin embargo, no es muy buena para encontrar
si un argumento es incorrecto. Esto se debe a que se centra
en la estructura lógica de los argumentos y no siempre
considera todas las formas posibles en que un argumento
podría ser incorrecto debido a su contenido o significado.
Entonces, para encontrar si un argumento es incorrecto,
necesitaríamos usar otras técnicas diferentes a la
Deducción Natural.

Fuja Logica Parte Teorica

Cargado por

Copyright:

Formatos disponibles

Fuja Logica Parte Teorica

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Fuja Logica Parte Teorica

Cargado por

Copyright:

Formatos disponibles

Resumen teórico de Lógica 1er cuatrimestre 2023

Caracterice el concepto de validez deductiva:

Caracterice la noción de forma lógica:

LPO (Lenguaje de Primer Orden).

Tesis de Turing/ Maquina de Turing y la función computable

Un ejemplo de una función computable sería sumar dos

2do parcial PARTE TEORICA

También podría gustarte