Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Tablas de La Verdad Pensamiento Logico

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 12

UTEM

Carrera: Arquitectura (Sección 3)


Profesor: Jaime Godoy Flores
Ramo: Pensamiento Lógico

Anexo temático: Unidad II

Filosofía de la lógica

La filosofía de la lógica es la rama de la filosofía que trata de la naturaleza y la


justificación de los sistemas lógicos. Algunas preguntas fundamentales que plantea son:

del medio
excluido) es correcta?

Qué hace a una expresión una constante lógica?

lógica, cuantificación y otros


conceptos lógicos?

ca la lógica de segundo orden?

La filosofía de la lógica es a menudo confundida con la lógica filosófica, que es la


aplicación de técnicas formales lógicas a los problemas filosóficos. Varios filósofos han
hecho importantes contribuciones a ambos campos.

OBJETIVO GENERAL

Al finalizar el curso usted deberá encontrarse preparado para determinar la validez o


invalidez de los argumentos utilizados en la conversación diaria y en los utilizados en el
desarrollo de éste y de los demás cursos de su programa.

DEFINICIÓN Y CLASES DE LÓGICA

La lógica es la ciencia que expone las leyes, modos y formas del conocimiento científico.
Se trata de una ciencia formal que no tiene contenido, sino que se dedica al estudio de las
formas válidas de inferencia. Es decir, se trata del estudio de los métodos y los principios
utilizados para distinguir el razonamiento correcto del incorrecto.

La etimología muestra que el concepto de lógica deriva del latín lógica, que a su vez
proviene del término

griego logikós (de logos, “razón” o “estudio”). El filósofo griego Aristóteles fue pionero al
utilizar la noción para referirse al estudio de los argumentos como manifestadores de la
verdad en la ciencia, y al plantear al silogismo como el argumento válido.

Aristóteles está considerado como el padre de la lógica formal. Por otro lado, la lógica
informal es el estudio metódico de los argumentos probables desde la retórica, la oratoria y
la filosofía, entre otras ciencias. Se especializa en la identificación de falacias y paradojas,
y en la construcción correcta de los discursos.

La lógica natural es la disposición natural para discurrir con acierto sin el auxilio de la
ciencia. La lógica borrosa o difusa, en cambio, es la que admite una cierta incertidumbre
entre la verdad o falsedad de sus proposiciones, a semejanza del raciocinio humano.

Por otra parte, la lógica matemática es aquella que opera utilizando un lenguaje simbólico
artificial y realizando una abstracción de los contenidos.

Existen otros tipos o clases de lógica, como la lógica binaria, que trabaja con variables que
sólo toman dos valores discretos.

La lógica filosófica no es más que ver las realidades de las cosas que pasan al nuestro
alrededor y darle un razonamiento profundo y darse cuenta que todo el ser humano en su
naturaleza es Ignorante, Por que ignora muchas cosas.

CONCEPTOS BÁSICOS

ARGUMENTO: Se designa con el término de argumento a aquel razonamiento,


generalmente parte de un discurso oral o escrito, a través del cual, la persona que lo
expresa, intentará convencer, persuadir, hacerle entender o resumirle a un interlocutor o a
un público más amplio, sobre determinada cuestión.

Los dos elementos fundamentales que jamás deberán faltar en un argumento para que el
mismo logre su objetivo, serán la consistencia y la coherencia, que es lo mismo a decir que
los argumentos de un discurso ostenten algún sentido o significación para el público al cual
van dirigidos.

Entonces y como bien comentamos muy sucintamente más arriba, un argumento puede
estar orientado a sustentar una creencia nueva, la resolución de un problema matemático o
para convencer a un público acerca de la adopción de determinada postura o creencia.
Este último caso que mencionamos es el más común dentro de los argumentos, ya que casi
cotidianamente nos enfrentamos a los argumentos que tienen como principal fin la
persuasión. Desde la publicidad comercial, pasando por los discursos de los políticos hasta
la predicación de las diversas religiones están conformados por argumentaciones que se
enfocan preeminentemente a lograr el cambio de actitud o de aceptación de una idea de
parte de las personas.

Por ejemplo y como señalamos, la política es uno de los ámbitos que durante y a lo largo de
toda su historia han echado mano de la propaganda basada en argumentos altamente
persuasivos para sus fines.

Los políticos, además de los planes que promueven para mejorar la calidad de vida de los
ciudadanos que son en definitiva los que decidirán su activa participación o no en la vida
política, deben prepararse ampliamente en lo que a retórica y discursos con argumentos
elocuentes y efectivos respecta, ya que estos marcarán el éxito o el fracaso de su campaña.
Aunque claro y como dice el popular dicho que la necesidad tiene cara de hereje, muchos
de estos argumentos se caracterizan por una velada manipulación para lograr su propósito.

Un argumento es un conjunto de enunciados en el cual uno de ellos, llamado conclusión se


afirma con base en los otros llamados Premisas.

PREMISAS: En el ámbito de la Lógica, se llama premisa a cada una de las proposiciones


del Silogismo de las cuales además se inferirá la conclusión pertinente. Una premisa es una
expresión lingüística que puede afirmar o bien negar alguna situación o cuestión y que
puede ser verdadera o falsa.

PROPOSICIONES: En el idioma científico, una proposición se refiere a un enunciado


que puede ser verdadero o falso, generalmente una oración enunciativa, base de lo que
constituye el lenguaje formal de la lógica simbólica. Una proposición lógica es Expresión
enunciativa a la que puede atribuirse un sentido o función lógica de verdad o falsedad.

SILOGISMO: El silogismo es una forma de razonamiento deductivo que consta de dos


proposiciones como premisas y otra como conclusión, siendo la última una inferencia
necesariamente deductiva de las otras dos.

VALORACIÓN DE ARGUMENTOS: Un argumento puede ser valorado desde al menos


tres puntos de vista diferentes:

I. Valoración Lógica: Es la que tiene que ver con la forma de conexión que hay entre las
premisas y la conclusión.
II. Valoración Epistemológica o Material: Tiene que ver con la veracidad de las premisas y
de la conclusión.

III. Valoración Retórica: Es la que tiene que ver con que el argumento sea atractivo,
persuasivo o interesante.

NÚCLEO TEMÁTICO 1

PROPOSICONES

OBJETIVOS

simples y los que son


proposiciones compuestas.

compuestas.

PROPOSICIONES SIMPLES Y COMPUESTAS

PROPOSICION SIMPLE:

Es cualquier enunciado declarativo afirmativo que puede ser verdadero o falso, pero no
ambos.

Las proposiciones simples se simbolizan con letras minúsculas, en orden alfabético

Ejemplos de proposiciones simples:

p: Carlos Fuentes es un escritor

q: 10 + 2 = 16

r: Los perros vuelan.

Ejemplos de enunciados que no son proposiciones

¿Lloverá mañana?

Levántese de esa silla

Mañana hay clases.

X < 10.
Colombia clasificará al mundial de fútbol.

PROPOSICIÓN COMPUESTA:

Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o
términos de enlace entre oraciones componentes.

Ejemplos

No todo lo que brilla es oro.

Las mujeres son bellas o los hombres son fuertes.

La Luna es una satélite natural o artificial

Las mujeres son bellas y los hombres fuertes.

Si trabajas intensamente, entonces conseguirás lo que quieres.

Carlos es un excelente estudiante, si y solo si tiene un promedio superior a 450.

En los ejemplos anteriores se pueden observar los siguientes términos de enlace:

Negación: No todo lo que brilla es oro.

Disyunción: Las mujeres son bellas o los hombres son fuertes / La Luna es una satélite
natural o artificial

Conjunción: Las mujeres son bellas y los hombres fuertes.

Condicional: Si trabajamos intensamente, entonces conseguirás lo que quieres.

Bicondicional: Carlos es un excelente estudiante, si y solo si tiene un promedio superior a


450.

Analicemos en detalle cada uno de los términos de enlace

NEGACIÓN

La negación de una proposición sustituida por la variable p es la proposición no, p: ∼p.


Cuya tabla de valores de verdad es:

P ∼P

V F

F V
Se trata de una operación unitaria o monádica, pues a partir de una proposición se obtiene
otra, que es su negación.

Ejemplos:

a: Todos los estudiantes son pilosos.

∼a: No todos los estudiantes son pilosos.

b: El caballo es un animal bípedo.

∼b: No es cierto que el caballo sea bípedo.

c: La vida es fácil.

∼c: La vida no es fácil.

DISYUNCIÓN

La disyunción de dos proposiciones p, q es la operación binaria que da por resultado p ó q,


notación p v q, y tiene la siguiente tabla:

p q pvq

VV V

VF V

FV V

FF F

Con la disyunción a diferencia de la negación, representamos dos expresiones y que


afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea
verdadera para que la expresión p ∨ q sea verdadera.

Así por ejemplo la expresión: el libro se le entregará a Juan o el libro se le entregará a Luis
significa que si va uno de los dos, el libro se le entrega, si van los dos también se entrega y
solamente en caso de que no vaya ninguno de los dos no se debe entregar.

Aquí debemos tener cuidado, porque en español muchas veces utilizamos la disyunción
para representar otros operadores que aparentemente son lo mismo, pero que tienen
diferente significado.
En español tenemos tres casos de disyunción:

La llamada y/o bancaria, lógica o matemática, que es la misma y se utiliza en computación


como el operador OR, este operador corresponde al mencionado anteriormente p v q y ya se
mostró su tabla de verdad.

La o excluyente, que algunos también le llaman o exclusiva, y que indica que una de las
dos proposiciones se cumple, pero no las dos. Este caso corresponde, por ejemplo a: Hoy
compraré un libro o iré al cine; se sobrentiende que una de las dos debe ser verdadera,
pero no la dos. Se representa por p verdad es:

p q p

V V F

V F V

F V V

F F F

Por último, también es muy común utilizar una disyunción como la siguiente: El menú
incluye café o té. En este caso se está dando una disyuntiva diferente pues no se pueden las
dos simultáneamente como en el caso anterior, pero aquí si es válido el caso donde las dos
son falsas. Es el caso “no ambas”, se puede representar por p § q y su tabla es:

p q p§q

V V F

V F V

F V V

F F V

Nota: El último símbolo no es estándar y puede haber varias formas de representarlo.

Un buen ejercicio consiste en enunciar varias expresiones del español que utilizando los
conectivos y o para analizar cuál de los operadores es.

Hay que tener mucho cuidado cuando se traduce del lenguaje usual por las costumbres,
muchas veces depende del contexto o de la situación específica en la que se usan los
conectivos, por ejemplo si decimos: Se pueden estacionar alumnos y maestros, en realidad
se está queriendo decir un operador disyuntivo, en este caso la o matemática, o sea el
primer operador que corresponde a la primera tabla de esta sección.

CONJUNCIÓN

La conjunción de las proposiciones p, q es la operación binaria que tiene por resultado p y


q, se representa por p q, y su tabla de verdad es:

pq p Λ q

VV V

VF F

FV F

FF F

La conjunción nos sirve para indicar que se cumplen dos condiciones simultáneamente, así
por ejemplo si tenemos:

La función es creciente y está definida para los números positivos, utilizamos

p Λ q, donde

p: La función es creciente

q: La función está definida para los números positivos

Así también: p Λ q, donde

p: el número es divisible por 3

q: el número está representado en base 2

Se lee: El número es divisible entre 3 y está representado en base 2.

Nota: observamos que para que la conjunción p Λ q sea verdadera las dos expresiones que
intervienen deben ser verdaderas y sólo en ese caso como se indica por su tabla de verdad.

CONDICIONAL

La condicional de dos proposiciones p, q da lugar a la proposición; si p entonces q, se


representa por p →q, y su tabla de verdad está dada por:
p q p→q

VV V

V F F

F V V

F F V

Con respecto a este operador binario, lo primero que hay que destacar es que no es
conmutativo, a diferencia de los dos anteriores la conjunción y la disyunción. El único caso
que resulta falso es cuando el primero es verdadero y el segundo falso.

Por ejemplo, si p es llueve y q es hay nubes entonces:

p → q es si llueve entonces hay nubes.

También cabe señalar que este viene a ser el operador más importante en el proceso
deductivo y que la mayoría de las leyes de inferencia y las propiedades en matemáticas se
pueden enunciar utilizando este operador.

En el ejemplo anterior p, es llamada hipótesis o antecedente y q tesis o consecuente.

La condicional es muy usada en el lenguaje corriente, pero adopta formas idiomáticas muy
distintas. Así otras expresiones utilizadas para indicar la condicional p → q son:

p, solamente si q.

p es condición suficiente para q.

q, si p

q, siempre que p

q es condición necesaria de p

BICONDICIONAL O EQUIVALENCIA

La bicondicional de dos proposiciones p, q da lugar a la proposición; p si y sólo si q, se


pq p↔q

VV V

VF F

FV F

FF V

JERARQUIA DE OPERADORES.

Combinando los operadores anteriores podemos formar nuevas expresiones.

En términos formales la negación de p, deberá ser (¬ p), así como la conjunción de p y q


sería (p ^ q). Con el uso de paréntesis evitamos la ambigüedad, por ejemplo ¬p ^ q podría
significar dos cosas distintas

Por un lado podría significar: ((¬ p) ^ q) O también: (¬ (p ^ q)).

En la práctica para no usar tantos paréntesis se considera que el operador ¬ tiene jerarquía
sobre ^, v, →, ↔. Así ¬ p ^ q significa ((¬ p)^ q).

En algunos casos se considera ^, v tienen mayor jerarquía que ↔ por lo que p ↔ q v r sería
(p ↔ (q v r)) y también que ^ tiene prioridad sobre v, por lo que p ^ q v r sería (p ^ q) v r.

En este curso no se considerará jerarquía en ninguno de los operadores binarios ^, v, →, ↔


por lo que utilizaremos paréntesis. Sólo ¬ tiene prioridad sobre los demás operadores. Esto
nos ahorra algunos paréntesis, por ejemplo: (((¬ p) ^ q) v r) se representa por (¬ p ^ q) v r.

POTENCIA DE LOS TÉRMINOS DE ENLACE

Los términos de enlace o partículas lógicas cumplen las siguientes leyes:

1. La Negación es el más débil de los términos de enlace.

2. La Disyunción y la Conjunción tienen igual potencia y son más fuertes que la negación.

3. La Condicional y la Bicondicional tienen igual potencia y son más fuertes que los demás
términos de enlace.
4. Una proposición compuesta recibe el nombre del conectivo dominante.

Ejemplos:

El enunciado: “No hay perros negros y no hay gatos blancos” es una conjunción.

¬a ν ¬b Es una Disyunción.

c→¬d Es una Condicional.

¬e↔f Λ g Es una Bicondicional

EJERCICIOS

1. Encuentre la negación de las expresiones siguientes:

i) Júpiter es un planeta
ii) El pizarrón es verde
iii) El número real x es negativo
iv) Algún elefante es de color rosa
v) Ningún pez respira fuera del agua
vi) Todos los leones son feroces

2. Identifique las proposiciones simples presentes en los siguientes enunciados y simbolice


la proposición compuesta.

i. Aprenderé Matemáticas si y sólo si estudio mucho.


ii. El 7 es mayor que 5 y 7 es menor que 1
iii. Teresa va a la escuela o María es inteligente
iv. La ballena no es roja
v. Cinco por ocho es cincuenta o sesenta.
vi. Si corro rápido entonces llegaré temprano
vii. No es cierto que: si Rosa escribe al periódico, entonces le publicaran la carta.

3. Con base en las tablas de verdad y la realidad determine el valor de verdad de cada una
de las siguientes proposiciones compuestas:

i. Santa Marta es la capital del Magdalena y Sincelejo la de Bolívar.


ii. Cinco por ocho es cuarenta o cincuenta.
iii. Si todos los senadores son honestos, entonces todos los sindicados son culpables.
iv. La ballena es un mamífero, si y solamente si, los tiburones también lo son.
v. Es falso que Gabo haya nacido en Aracataca.
vi. 4 es menor que 8 o 6 es mayor que 10.

4. A la derecha de cada enunciado indique de qué tipo de proposición se trata:

i. (p --> q) ^ (q --> p) __________________________________________________


ii. ~p v q _____________________________________________

iii. - (p Λ q) _____________________________________________

iv. (q --> r)] --> (p v r) _____________________________________________

v. ¬p↔ (qνr) ________________________________________

También podría gustarte