Logica 2do Parcial

LOGICA 2DO PARCIAL.
Resumen teórico.
Preguntas:
1) Defina el concepto de derivación/deducción natural en el sistema N,
recurriendo a la noción de la regla de inferencia.
La deducción natural o derivación se basa en considerar validas un
conjunto finito de reglas de inferencias. Estas reglas se aplican a las
premisas de un razonamiento válido formuladas en notación lógica y
obtenemos una secuencia de afirmaciones también en forma lógica. El
último elemento es la conclusión del razonamiento.
Cuando se construye una derivación a partir de las premisas y termina en
la conclusión del razonamiento, decimos que se ha demostrado la validez
del razonamiento.
Método de deducción natural o derivación: es un método que se utiliza

para demostrar la validez de un razonamiento o leyes lógicas. Consiste en
la construcción de deducciones por medio de reglas de inferencia. Se
aplica un conjunto finito y básico de reglas de inferencia (válidas) que
generan una secuencia de deducción o derivación que llegan a la
conclusión del razonamiento.
2) Explique por qué la DN sirve para demostrar la validez de un
razonamiento, pero no para decidir si es válido o no.
No sirve para determinar la validez o invalidez de un razonamiento, solo
demostrar o respaldar la validez del razonamiento.
Reglas impropias y propias: Las reglas impropias son aquellas que
incluyen en sus premisas, supuestos y deducciones auxiliares, no expresan
auténticamente las reglas de inferencia. Esto hace que se las considere
reglas de inferencia impropias.
Las reglas propias no incluyen supuestos ni deducciones auxiliares y
expresan auténticamente reglas de inferencia
LENGUAJE DE ENUNCIADOS: Valuaciones booleanas y tablas de verdad. Y
concepto de tautología.
El lenguaje formal de enunciados (LE) está compuesto por SIGNOS

LOGICOS: son exclusivamente las conectivas (disyunción, condicional,
conjunción, negación). Signos que vinculan enunciados, o sirven para
obtener nuevos enunciados, más complejos, a partir de otros dados).
SIGNOS DESCRIPTIVOS: Los signos para enunciados (“las variables de

enunciado” que funcionaran como signos para enunciados atómicos: “A”,
“B”, “C”, etc. Que se usan para referirse a enunciados que no tienen
conectivas. Estos son los enunciados atómicos.
SIGNOS AUXILIARES: Paréntesis comtas, etc.
Las valuaciones booleanas son cuando se le asignan valores de verdad o

falso para cada conectiva, en la tabla de verdad.
Tabla de verdad de un enunciado: En una tabla se despliegan todos los

valores de verdad posibles de un enunciado molecular, a través de la
presentación de todas las combinaciones posibles de valores de verdad de
sus componentes atomicos.
Su función es dar el significado de las conectivas.
Decidir si un enunciado de LE es un caso de tautología
Decidir si un enunciado C de LE es consecuencia lógica.
Un razonamiento es válido si y solo si, la conclusión es consecuencia
lógica de las premisas.
Como construyo la tabla de verdad?
Para calcular la cantidad de filas de cada tabla, hay que elevar el numero 2
que es la cantidad de valuaciones, a la potencia n , que esta dada por la
cantidad de enunciados atómicos (variables).
Cuando son 3 enunciados atomicos, van a haber 8 filas (2 elevado a la 3)

Para armar la tabla, se divide las filas en 2. Y la primera mitad es 4 v y la
otra 4 f. El 2do enunciado, se divide la a la mitad de nuevo. Y El 3ero lo
mismo
CONDICIONES DE VERDAD DE LAS CONECTIVAS:

Negación: es verdadera si y sólo si el enunciado
afectado por la negación es falso
Conjunción: que una conjunción sea verdadera

significa que ambos miembros de la conjunción son verdaderos .
Disyunción: una disyunción es verdadera cuando

y únicamente cuando alguno de los dos miembros de la disyunción es
verdadero
Condicional: un condicional es falso si y sólo si

el antecedente es verdadero y el consecuente
falso
bicondicional es verdadero si sus dos
enunciados componentes tienen el mismo
valor de verdad
COMO DECIDIR SI UN ENUNCIADO DE LE MEDIANTE LA TABLA DE

VERDAD PERMITE DETERMINAR SI ES UN CASO DE TAUTOLOGIA,
CONTRADICCION O CONTINGENCIA.
Tautologias: Son las verdades lógicas de LE, ósea, un enunciado A del LE es

una tautología si y solo si para toda valuación booleana V, V (A) = V
Contradicciones: Son las falsedades lógicas del LE, es decir, A es una

contradicción si y solo si para toda valuación booleana V,V (A) = F
Contingencias: Cuando no son ni tautologías ni contradicciones de LE

Determinar si un enunciado es Consecuencia lógica de otro enunciado.
Justificar:
Para determinar si un enunciado es consecuencia lógica hay que hacer la
valuación booleana mediante la tabla de la verdad aplicando condicional
entre los enunciados.
Explicar por qué el concepto de tautología es decidible: es decidible

porque mediante la valuación booleana empleada en la tabla de la verdad
podemos decidir si el método es válido o no.
Explicar el vínculo entre los conceptos de consecuencia lógica, validez de

un razonamiento y valuación booleana: Al hacer la tabla de verdad de un
enunciado, empleando la valuación booleana (asignar un único valor de
verdad, verdadero o falso) a todo enunciado LE, podemos decidir si el
mismo es una tautología, contradicción o contingencia, o si es
consecuencia lógica de otro enunciado A. De esta manera se determina la
validez de razonamientos. Es válido si y solo si, la conclusión es
CONSECUENCIA LOGICA de las premisas.
3) Explique por qué la lógica de enunciados es decidible: La lógica de

enunciados es decidible porque existe un método mecánico para decidir si
un enunciado es tautología o no, o si un razonamiento de enunciados es
válido o no.

Logica 2do Parcial

Cargado por

Copyright:

Formatos disponibles

Logica 2do Parcial

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

Logica 2do Parcial

Cargado por

Copyright:

Formatos disponibles

LOGICA 2DO PARCIAL.

Método de deducción natural o derivación: es un método que se utiliza

El lenguaje formal de enunciados (LE) está compuesto por SIGNOS

SIGNOS DESCRIPTIVOS: Los signos para enunciados (“las variables de

Las valuaciones booleanas son cuando se le asignan valores de verdad o

Tabla de verdad de un enunciado: En una tabla se despliegan todos los

Como construyo la tabla de verdad?

Cuando son 3 enunciados atomicos, van a haber 8 filas (2 elevado a la 3)

CONDICIONES DE VERDAD DE LAS CONECTIVAS:

Conjunción: que una conjunción sea verdadera

Disyunción: una disyunción es verdadera cuando

Condicional: un condicional es falso si y sólo si

COMO DECIDIR SI UN ENUNCIADO DE LE MEDIANTE LA TABLA DE

Tautologias: Son las verdades lógicas de LE, ósea, un enunciado A del LE es

Contradicciones: Son las falsedades lógicas del LE, es decir, A es una

Contingencias: Cuando no son ni tautologías ni contradicciones de LE

Explicar por qué el concepto de tautología es decidible: es decidible

Explicar el vínculo entre los conceptos de consecuencia lógica, validez de

3) Explique por qué la lógica de enunciados es decidible: La lógica de

También podría gustarte