Lógica 4
Lógica 4
¿Qué es el lenguaje?
Es un sistema de signos lingüísticos que usan los seres humanos para comunicarse. Sirve para
informar, expresar, mandar y rogar.
Argumento
después de estas palabras indican que hay una después de estas palabras indican que hay
conclusión premisas
Podemos concluir
Estructuras deductivas
No q P No p Si q entonces r
∴ No p ∴q ∴q ∴ si p entonces r
O también:
Poq
No q
∴p
Argumento Inductivo
Para entender poco más el tema y ver ejemplos ve el siguiente video: https://youtu.be/1cMCY6iqav8
Argumento analógico
o es aquel en el que a partir de la semejanza establecida en las premisas entre dos o más
objetivos de uno o más aspectos, se incluye la similaridad del otro
o la conclusión de un argumento analógico siempre es probable
o siempre debe de haber más de 2 individuos
Estructura del argumento analógico es el siguiente:
1) a, b, c y d tienen todas las propiedades p y q
2) a, b y c tiene la propiedad r
por lo tanto, probablemente d tiene la propiedad r
Proposición
➢ es una oración que establece relación entre conceptos
➢ son oraciones declarativas enunciativas o existenciales
➢ tiene la cualidad de ser verdaderas o falsas
➢ quedan excluidas las oraciones interrogativas imperativas o exclamativas, no pueden ser
verdaderas ni falsas
➢ los signos de agrupación se usan para separar ideas de otra { [ ( ) ] }
➢ las proposiciones se conectan por medio de las conectivas lógicas
➢ un concepto o término no define nada “el perro y el gato”
Proposición atómica
carecen de conectiva lógica (no tienen otras oraciones dentro de sí misma) “René descartes fue el
creador de la geometría analítica”
Proposición molecular
Contiene conectiva lógica “los seres humanos no son honestos”
Conectiva lógica símbolo Lenguaje natural Ejemplo:
Negación ~ No, no ocurre que, no Los seres humanos no son
sucede que, es falso que, honestos
etc.
Conjunción ˄ Y, pero, además, etc. La torre de pisa está en Italia y la
torre Eiffel en Francia
Disyunción v O Tu cometes acciones malas por
maldad o por ignorancia
Condicional Ɔ Si… entonces Si leo a los grandes filósofos,
entonces aprenderé a argumentar
Bicondicional ≡ Si y solo si Eres vegana si y solo si no comes
carne de animales
Formulas bien formadas
Secuencia de características o símbolos a partir de las reglas precisas, también puede denominarse
forma proposicional
Reglas
1. proposición aisladas (p, q, r, s, t, … ) es una forma bien formada
2. anteponer la colectiva de la negación antes de p, q, r, s, t, … ( ~p ) es una fórmula bien formada
3. (p ˄ q) (p v q) (p Ɔ q) (p ≡ q) son formulas bien formadas
Consejos de la negación
a) La negación siempre negra por posiciones que se encuentran en su lado derecho (~p) o
[~ (s v p)]
b) La negación nunca puede unir oraciones
c) Las conectivas lógicas pueden ir con la negación siempre y cuando se encuentre a su izquierda
(p v ~ q)
d) Puedo haber tantas negaciones como sean necesarias siempre y cuando se coloquen al lado
de una proposición atómica o molecular
Simbolización de proposiciones
Paso 1. Analiza cuántas proposiciones atómicas hay en la posición molecular
Paso 2. Identifica qué colectivas se está utilizando
Paso 3. Sustituye cada proposición por una letra (empezando por la p)
Paso 4. Traduce la proposición al lenguaje simbólico
Nota: en cada proposición atómica se le coloca siempre al sujeto
EJEMPLO: iré de vacaciones a Bahamas o a Barbados
LETRAS PROPOSICIONALES Y SU SIGNIFICADO
p: yo iré de vacaciones a Bahamas
q: yo iría de vacaciones a Barbados
TRADUCCIÓN ( p v q )
CONECTIVAS LÓGICAS Y TABLAS DE VERDAD
NEGACIÓN
No p, es falso que p, ningún p, no ocurre que p,
No es cierto que p, entre otros… p ~q
V F
La negación advierte el valor de verdad de F V
una proposición así cuando una proposición es verdadera
su negación es falsa y viceversa
CONJUNCION p q p˄q
P y q, p también q, p además q, p pero q, V V V
V F F
p sin embargo q, etc.
F V F
EXPLICACION
F F F
La conjunción permite unir dos o más proposiciones
p q pvq
DISYUNCION V V V
poq V F V
F V V
EXPLICACION
F F F
Hoy nos representa cerca de otras proposiciones o soluciones
diferentes de la otra sin descartar a otra opción
CONDICIONAL
p q pƆq
Si p entonces q, si p, q, q, solo si p, etc.
V V V
EXPLICACION
V F F
Lo que expresa es que mediante la colectiva condicional F V V
siendo la proposición principal se le llama antecedente y el que F F V
BICONDICIONAL
p q p≡q
P si y solo si q, p es lo mismo que q, es tan falso p como q, etc.
V V V
EXPLICACION V F F
El condicional es una colectiva que se utiliza para firmar una F V F
proposición ya sea verdadera o falsa F F V
DESGLOZAR LAS FORMULAS
{ [ (m ≡ p) Ɔ ~ r] v p }
A B
A B
A B
TABLA DE VERDAD
¿COMO SE CONSTRUYE UNA TABLA DE VERDAD?
Paso 1. Determino cuantas proposiciones siempre tengo
1) Alejandro tiene sensibilidad artística
2) Alejandro es divertido
3) Alejandro será un buen compañero
[ (~ p ˄ ~ q) Ɔ ~ r]
V V V V V V V V V
V F V F F F V V F
F V F V V F F V V
F F F V F F F V F
Paso 4. Observamos cuales son los valores de verdad de la conectiva principal de toda la formula para
determinar si el argumento es válido:
• Si la conectiva principal obtenemos solo verdades entonces tenemos una TAUTOLOGÍA y eso
nos demuestra que el argumento es válido
• En cambio, si obtenemos únicamente falsedades en la colectiva principal, tendremos una
CONTRADICCIÓN y podemos estar seguros de que el argumento es inválido
• Finalmente, si obtenemos tanto verdades como falsedades en la colectiva principal tenemos
una CONTINGENCIA y entonces no podemos determinar con seguridad que el argumento
sea válido o que no lo sea