Semantica

Question 1

Qué es la semántica

Answer 1

Herramienta para dar significado a las fórmulas en términos de V y F. es una función ( regla que asigna valores semánticos (v/f) en cada caso posible.
Instrumento que pone de manifiesto la lógica del lenguaje natural, es decir, sus conexiones lógicas

Question 2

Qué es una valuación

Answer 2

Es una función que toma elementos de un conjunto y les asigna su valor de verdad (1/0)

Question 3

Qué es una tabla de verdad

Answer 3

La tabla Es la representación gráfica de una función.
Una tabla de verdad es un criterio de aplicación de la definición de un caso particular. Permiten mostrar una fórmula contiene tal o cual concepto en sí misma

Question 4

Cuando las fórmulas son equivalentes

Answer 4

Cuando las valuaciones de sus componentes son iguales.
Ser equivalente es una relación entre dos fórmulas no una propiedad. La diferencia entre una y otra fórmula son cuestiones pragmáticas o retóricas pero para el análisis lógico son la misma cosa

Question 5

Negación

Answer 5

valuación (- phi) =1 si y solo si v (phi)= 0

Question 6

Conjunción

Answer 6

V (phi y psi) = 1 si y solo si v (phi)=1 y v (psi)= 1

Question 7

Disyunción 

Answer 7

V(phi o psi) =1 si y solo si v (phi)=1 o (o ambas) v (psi)=1

Question 8

Condicional

Answer 8

V (phi ~ psi)=0 si y solo si v (phi)=1 y v (psi)=0

Question 9

Bicondicional

Answer 9

V(phi siempre y cuando psi)=1 si y solo si v (phi)= v(psi)

Question 10

Cual es la función del lenguaje L

Answer 10

Reflejar algunas características del lenguaje natural que no son obvias (los aspectos lógicos) y que son funcionales para la logica. No para la comunicación humana. Que son importantes en términos de las condiciones de verdad

Question 11

Qué hace la semántica

Answer 11

Asigna valores de verdad según las ciertas condiciones, es decir, no vale cualquier asignación, tiene reglas. Son 5 reglas. Una para cada conectiva. Más 3 para sus propiedades: tautología, contradicción, contingencia

Question 12

Tautología

Answer 12

Definición: para toda valuación, valuación (phi)=1

Question 13

Contradicción

Answer 13

Phi es una contradicción si para toda valuación, v (phi) =0

Question 14

Contingencia

Answer 14

Phi es una contingencia definición phi no es una tautología y phi no es una contradicción. Decir que algo no es una tautología no es necesario que sea una contradicción

Question 15

 Equivalencia

Answer 15

Phi y psi son lógicamente equivalentes si para toda valuación, v (phi)=v(psi)

Question 16

Definición semántica de validez o consecuencia lógica

Answer 16

Él razonamiento es válido cuando preserva la verdad de las premisas.
Gama consecuencia semántica phi definición para toda valuación, v (G)=1 entonces v(phi)=1
Gama= conjunto de fórmulas arbitrarias
Phi=una oración
Una oración es consecuencia lógica de un conjunto de oraciones

Question 17

Cuándo una oración es consecuencia lógica de un conjunto de oraciones

Answer 17

Una oración es consecuencia de un conjunto de oraciones cuando para toda valuación el valor de gama, es decir, el conjunto de fórmulas arbitrarias es igual a uno entonces se sigue que el valor de phi=1

Question 18

Consecuencia lógica formulada en términos de valuación

Answer 18

Si las valuaciones de la premisa uno y de la premisa dos son iguales a uno la valuación de la conclusión es igual a uno y nunca igual a cero

Question 19

Contra ejemplo

Answer 19

Una valuación que muestra que un argumento es inválido

Question 20

Proceso de formalización

Answer 20

Se le asigna a las oraciones un lenguaje lógico y se le otorga significado momentáneo a las letras sin significado de lenguaje lógico, de esta manera logran reflejar la estructura del lenguaje natural (sólo lo que tiene relevancia para el análisis lógico)

Question 21

Cuando un argumento es sólido

Answer 21

Solo si sus premisas son verdaderas. La lógica no puede determinar la solidez de la justificación porque la validez es una relación entre premisas y conclusión pero no requiere que haya una conexion entre ambas

Question 22

Relación entre consecuencia lógica y la verdad

Answer 22

No es directa. La relación se da a través de la consecuencia semántica y la consecuencia sintáctica. La semántica está construida a partir de la valuación, la cual es una función que le entrega un valor de verdad a cada una de las fórmulas de nuestro lenguaje a partir de cláusulas semánticas que explican el comportamiento de las conectivas. La sintáctica se construye a partir de la derivación, que es una secuencia de fórmulas construida por reglas básicas de inferencia. Las cláusulas semánticas y las reglas de inferencia determinan el significado de la conectiva. La reglas de inferencia son un análogo sintáctico de lo que son las valuaciones

Question 23

Significado de la consecuencia semántica

Answer 23

Parte de las condiciones de verdad

Question 24

Significado de la consecuencia sintáctica

Answer 24

Parte de las reglas de uso

Question 25

Introducción del condicional

Answer 25

De un supuesto puedo llegar a un consecuente. De ahí se cierra el supuesto y se introduce el condicional

Question 26

Eliminación de la disyunción 

Answer 26

Saco el condicional de uno de los disyuntos , luego saco el condicional del otro disyunto. Me quedo así con el consecuente de ambas condicionales

Question 27

Introducción de la negación

Answer 27

El falsum me lleva a cerrar un supuesto negándolo o puedo determinar que ella se sigue cualquier cosa

Question 28

Eliminación de la negación

Answer 28

Si de una fórmula negada, en otro paso tengo esa misma fórmula pero no negada, lo que me queda es una contradicción. Y elimino la negación.

Question 29

EFSQ

Answer 29

Determina que después de una contradicción se sigue cualquier cosa

Question 30

DN

Answer 30

Un doble negativo me lleva a la afirmación de esa fórmula