Taller L Gica

TALLER LÓGICA







IVÁN DARÍO JIMÉNEZ HIGUERA











UNIVERSIDAD DEL TOLIMA
ADMINISTRACIÓN FINANCIERA
FUNDAMENTOS DEL DESARROLLO HUMANO
BOGOTÁ
2014



1. Qué elementos son necesarios parapoder construir un cálculo?
Rta//.
Un Conjunto de símbolos.
Un conjunto de reglas.
Un conjunto de transformación.

2.
Variables: Letras que simbolizan proposiciones.
Conectivas: Negación, conjunción,disyunción, implicación y Bicondicional.
CONECTORES
SIMBOLO
NEGACIÓN
⌐
CONJUNCIÓN
&
DISYUNCIÓN
V
IMPLICACIÓN
Ↄ
BICONDICIONAL
≡

Definiciones:

Tautología: Es una fórmula, la cual su resultado siempre esverdadero, independientemente de los valores de verdad de las variables proposicionales que la constituyen.
Contradicción: Es una formula, la cual su resultado siempre es falso, independientemente delos valores de verdad de las variables proposicionales que la constituyen.
Deducción: Es una secuencia de fórmulas en la que cada una de ellas se obtiene de la anterior, para lo cual se utiliza unaregla de transformación; la última fórmula de ésta secuencia es denominada conclusión.
Bicondicional: En una fórmula, la cual su resultado es verdadero cuando sus dos componentes tiene el valorverdadero; ésta fórmula llega a ser falsa cuando uno de sus componentes es verdadero y el otro falso (Valores de verdad).

3. Cómo se determinan los valores de verdad de una proposición atómica?
Rta//. Paraesto se puede simbolizar con una variable proposicional, la cual puede tomar algún valor (Verdadero o Falsa).



4. Cómo se determinan los valores de una proposición molecular?
Rta//.

Implicador: Esuna conectiva que origina una proposición molecular llamada condicional, la cual sólo es falsa si el antecedente es verdadero.
Compilador: Es la conectiva denominada Bicondicional.
Disyunción: Es laconectiva que origina una proposición molecular, la cual sólo es falsa si las proposiciones que la constituyen son verdaderas y falsas.
Negador: Es la conectiva que convierte el enunciado verdadero...