Apuntes de lógica
Antes de comenzar la lectura de este objetivo, reflexiona y responde las siguientes interrogantes:
¿Qué es un conector lógico?
En la informática un conector lógico son:
¿Qué es una proposición?
Es una frase o sentencia declarativa que es verdadera o falsa pero no ambas cosas a la vez. El
cálculo proposicional se encarga del estudio de las relaciones lógicas entre proposiciones
¿Cuál es la representación simbólica de enunciados en lenguaje natural?
El lenguaje natural y el simbólico. El lenguaje habitual empleado dentro de una comunidad que
comparte el mismo idioma se denomina lenguaje natural. Es con éste con el que argumentamos y
llevamos a cabo los desarrollos lógicos habituales.
Valor veritativo: la doble posibilidad del enunciado de ser verdadero o falso. El enunciado
verdadero tiene el valor de verdad, y el enunciado falso el valor de falsedad. La lógica tradicional,
que se funda en el principio de bivalencia, admite sólo estos dos valores.
La lógica proposicional conocida como lógica simbólica o sentencia: es un sistema formal que
propone precisiones de todos los conceptos necesarios para analizar los argumentos cuya
corrección depende exclusivamente del significado de las expresiones veritativo funcionales. Es
decir, intenta evaluar la verdad y su nivel absoluto, a través de los símbolos y de las tablas de la
verdad, indican lo verdadero y lo falso.
2. El lenguaje de la lógica proposicional
Un lenguaje formal tiene unos elementos básicos, el cual permite expresar de
forma puntual y preciso en las afirmaciones hechos e hipótesis, estos elementos
son:
1. Un conjunto de reglas que establezcan si las expresiones usadas tienes la
forma correcta. Estas reglas constituyen lo que se denomina la Sintaxis del
lenguaje.
En la sintaxis un lenguaje formal consta de un alfabeto (vocabulario) y la
gramática, este alfabeto está formado por símbolos, estos se clasifican en
lógico, no lógicos y auxiliares también llamados puntuación.
La gramática corresponde a las reglas que permiten conocer las
expresiones del lenguaje que se consideran formadas correctamente. A
estas expresiones se le llaman formulas.
A continuación, introducimos el alfabeto del lenguaje formal El alfabeto de un
lenguaje de la lógica proposicional consta de los siguientes símbolos:
l. LETRAS PROPOSICIONALES. El número de letras proposicionales puede
variar de un lenguaje a otro. En lo sucesivo, supondremos que las letras proposicionales del
lenguaje se encuentran entre las letras «p», «q», «r», «s» y «t» (con o sin subíndices).
2. CONECTIVAS: ¬, ∧, ∨ , →, ↔
3. PARÉNTESIS.
Las conectivas son los símbolos lógicos del lenguaje y los paréntesis los símbolos
auxiliares. La negación es una conectiva monaria y las restantes son binarias. El
nombre de las conectivas y la forma de leerlas puede verse en la siguiente tabla :
2. Una definición clara de qué se considera una afirmación cierta o verdadera.
Las reglas que establecen la veracidad de las expresiones que usemos
forman lo que se denomina la Semántica del lenguaje.
Es definir qué entendemos por veracidad de una fórmula, que es lo que también
nombraremos como la interpretación de las fórmulas.
Una asignación es una función que asigna a cada una de las letras
proposicionales del lenguaje el valor verdadero o el valor falso. A estos valores
los llamamos valores de verdad.
Para abreviar, nos referiremos a ellos con las letras «V» y «F», respectivamente, y
diremos que una asignación atribuye o asigna a cada letra proposicional el valor V
o el valor F. El modo de referirnos a los valores de verdad carece de importancia
y, por ejemplo, es muy frecuente usar «1 »en lugar de «V» y «Ü» en lugar de «F».
Las asignaciones se representan en muchas ocasiones de la siguiente forma:
p q r s
V F F V
En la línea superior aparecen, como es obvio, las letras proposicionales y en la
inferior los valores que la asignación atribuye a cada una de ellas.
El modo de obtener las reglas a que hacíamos referencia a partir de las
tablas es sencillo:
La negación de una fórmula es verdadera cuando la fórmula es falsa y falsa
cuando la fórmula es verdadera;
Una conjunción es verdadera cuando las dos fórmulas que la componen
son verdaderas y falsa cuando alguna de las componentes lo es;
Una disyunción es verdadera cuando al menos una de las fórmulas que la
componen es verdadera y falsa cuando las dos fórmulas que la componen
son falsas;
Un condicional es verdadero cuando el antecedente es falso o el
consecuente
es verdadero, y es falso cuando el antecedente es verdadero y el
consecuente falso;
Un bicondicional es verdadero cuando las dos fórmulas que: lo componen
toman el mismo valor de verdad y falso cuando las fórmulas que lo
componen tienen distinto valor de verdad.
La construcción de la tabla está fundamentada en la utilización de un
letra para las variables del resultado y las mismas se cumplen se dicen
que son verdaderas, en el caso contrario de que no se cumpla se les
asigna el apelativo de falsas, por ejemplo: Enunciado: “Si nos
mudamos, mi perro se muere”. Variables: A: Si se muda- B:
el perro se muere.
Tautologías y contradicciones
Una tautología es una fórmula tal que toda asignación la hace verdadera; una
contradicción es una formula tal que toda asignación la hace falsa; una formula
contingente es una fórmula para la que hay alguna asignación que la hace
verdadera y alguna asignación que la hace falsa.
l. una formula a es una tautología si para toda asignación v, v(a) =V;
2. una formula a es una contradicción si para toda asignación v, v( a) =
3. una fórmula a es contingente sii hay alguna asignación v tal que
v(a) = V y hay alguna asignación v tal que v(a) = F.
Tabla de la verdad:
Toda proposición puede ser verdadera (V) o falsa (F).
Las tablas de verdad son un método para saber si una fórmula molecular (es decir,
formada por varias proposiciones) es siempre V, a veces V o nunca V (es decir,
siempre F).
Si los valores son siempre V tenemos una Tautología, si siempre son F estamos
ante una contradicción.
Como hemos dicho, cualquier proposición puede tener valor V (verdadero) o F
(falso).
Cuando hacemos una tabla de verdad asignamos todas las combinaciones
posibles de valores para esas variables proposicionales.
Si la formulación consta de una variable "p" tenemos 2 valores de verdad (V y F).
Si la formulación consta de 2 variables "p" y "q" tenemos 2 elevado a dos, es decir,
4 posibilidades.
Si la formulación consta de 3 variables “p”, “q” y “r”, tenemos 2 elevado a 3, es
decir, 8 posibilidades.
La manera de construir las tablas de verdad e indicar los valores de verdad posibles para cada
variable es la siguiente:
3. Reflexiona sobre lo aprendido y respóndete las siguientes preguntas: Compara las definiciones
presentadas en el material bibliográfico con las que elaboraste antes de empezar a leer.
¿Realizo la simbolización de enunciados del lenguaje natural en términos de la lógica
proposicional?
Si.
¿Realizo el procedimiento de construcción de tablas de verdad y valuación de fórmulas
proposicionales?
¿Logro diferenciar las tautologías, contradicciones y contingencias?
¿Ejemplifico expresiones en lenguaje natural que son lógica y gramaticalmente equivalentes a las
conectivas consideradas?
Nota buscar ejercicios de la tabla de la verdad y videos para aclarar dudas repasar del libro de
Calixto badesa ejercicios pag. 144 y 145
Libro de lógica 7ma pagina 137 a 238
Resolución ejercicios:
