Razonamiento Cuantitativo

Edwin Enrique Buchely Moreno

 Conceptos
El Razonamiento es la capacidad del ser humano de
que con un ordenamiento de sus pensamientos
pueda generar una idea lógica. Con esta idea
lógica se obtienen respuestas y resoluciones a los
problemas de cualquier índole. Quien razona tiene
en su poder la herramienta más importante para
definirse en sociedad como parte de esta. El
razonamiento es actividad mental y todo lo
relacionado con el pensamiento que se pueda
conseguir una respuesta es llamado como tal.
 El Lenguaje de la Lógica
Para los fines comunicativos cotidianos los seres
humanos utilizamos los llamados lenguajes
naturales, que son códigos lingüísticos que
nuestra especie ha ido forjando a través de
miles de años de evolución y que cada individuo
es capaz de aprender en unos pocos años.
Existe la necesidad que ha llevado a los seres
humanos a construir lenguajes artificiales para
determinados fines. Por ejemplo, la matemática
es uno de estos lenguajes, que permite
formalizar con una increíble precisión teorías
físicas.
 El lenguaje formal de la Lógica
¿Qué es un lenguaje formal?
• Un lenguaje formal, en tanto que lenguaje artificial, está
formado por los siguientes elementos básicos:
• Unos signos primitivos del lenguaje, esto es su alfabeto.
• Unas reglas de combinación de dichos signos, es decir
una gramática que especifique cómo combinar unos signos
primitivos con otros para tener expresiones bien formadas.
• En nuestro caso, como buscamos aplicar el lenguaje formal
a la reconstrucción de la estructura lógica del lenguaje
natural, precisaremos de unas reglas que nos ayuden en la
formalización o traducción de expresiones del lenguaje
natural al de la lógica formal.
 Conectores Lógicos
• El lenguaje lógico de la lógica proposicional consta de tres
tipos de signos en su tarea de reconstruir la estructura
lógica del lenguaje natural:
• (1) Unos signos para representar las proposiciones simples
o atómicas: se trata de las letras proposicionales, que por
convención suelen designarse con las letras
minúsculas p, q, r, etc.
• (2) Unos signos para formar proposiciones complejas o
moleculares conectándolas entre sí: se trata de
las conectivas (también llamados conectores, o juntores).
En la siguiente tabla presentamos el nombre, el signo y la
equivalencia con el lenguaje natural de las cinco conectivas
que utilizaremos:
• (3) Unos signos auxiliares, que son los paréntesis,
que pueden ayudar a delimitar dónde comienza
una parte de la fórmula y dónde acaba para
empezar la siguiente. Su equivalencia en el
lenguaje natural serían los signos de puntuación
en la lengua escrita.
 Proposiciones
Una proposición es una cadena de signos
expresados en un determinado lenguaje. En
un lenguaje natural, esos signos usualmente son
sonidos o caracteres escritos, mientras que un
tipo de lenguaje formalizado pueden ser signos
arbitrarios.
 Tablas de Verdad
Una tabla de verdad, o tabla de valores de
verdad, es una tabla que muestra el valor de
verdad de una proposición compuesta, para
cada combinación de verdad que se pueda
asignar.
 Definiciones en el cálculo lógico
• Verdadero
El valor verdadero se representa con la letra V; si se
emplea notación numérica se expresa con un
uno: 1; en un circuito eléctrico, el circuito está
cerrado.
• Falso
El valor falso se representa con la letra F; si se
emplea notación numérica se expresa con un
cero: 0; en un circuito eléctrico, el circuito está
abierto.
• Variable
Para una variable lógica A, B, C, ... que pueden
ser verdaderas V, o falsas F, los operadores
fundamentales se definen así:
• Negación
La negación es un operador que se ejecuta,
sobre un único valor de verdad, devolviendo el
valor contradictorio de la proposición
considerada.
• Conjunción
La conjunción es un operador, que actúa sobre
dos valores de verdad, típicamente los valores
de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando ambas
proposiciones son verdaderas, y falso en
cualquier otro caso. Es decir, es verdadera
cuando ambas son verdaderas
• Disyunción
La disyunción es un operador que actúa sobre
dos valores de verdad, típicamente los valores
de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando una de las
proposiciones es verdadera, o cuando ambas lo
son, y falso cuando ambas son falsas.
• Implicación o Condicional
El condicional material es un operador que
actúa sobre dos valores de verdad, típicamente
los valores de verdad de dos proposiciones,
devolviendo el valor de falso sólo cuando la
primera proposición es verdadera y la segunda
falsa, y verdadero en cualquier otro caso.
• Equivalencia, doble implicación o
Bicondicional
El bicondicional o doble implicación es un
operador que funciona sobre dos valores de
verdad, típicamente los valores de verdad de
dos proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones
tienen el mismo valor de verdad, y falso cuando
sus valores de verdad son diferentes.
 Número de combinaciones
Partiendo de un número n de variables, cada
una de las cuales puede tomar el valor
verdadero: V, o falso: F, por Combinatoria,
podemos saber que el número total de
combinaciones: Nc, que se pueden presentar es:
 Ejercicios
En los problemas siguientes se pide construir la
tabla de verdad de cada una de las
proposiciones compuestas.
LEYES DE LA LÓGICA PROPOSICIONAL
LEYES DE INFERENCIA: Las leyes de inferencia
que corresponden a formas de razonamiento
elementales cuya validez es fácil de demostrar.
 Modus ponendo ponens
Es una forma de argumento válido y una regla de
inferencia en lógica proposicional.

• Un ejemplo de modus ponendo ponens es:

• Si está lloviendo, te espero dentro del teatro.
• Está lloviendo. Por lo tanto, te espero dentro del
teatro.
 Modus tollendo tollens
Es una aplicación de la verdad general de que, si
una declaración es válida, también lo es
su contraposición.

Un ejemplo de modus tollendo tollens es:

• Si el agua hierve, entonces soltara
vapor.No suelta vapor.Por lo tanto, no está
hirviendo el agua..
Adjunción y Simplificación
Ejercicios de Formalización de
Inferencias