Download - Epilogo revista educativa
SMITH OLORTEGUI SILVA:
*ARTICULO SOBRE
SIMBOLIZACIÓN
*CREADOR DEL NOMBRE:
EPILOGOS
ALEJANDRO PALACIOS LÓPEZ:
*DISEÑO DE LA REVISTA
*PREPARACIÓN DE LA
EDITORIAL Y EL ARTÍCULO DE
VALIDEZ DE INFERENCIA
Para tener una noción sobre la importancia de la
lógica es básico saber el sentido ordinario de la
palabra. Habitualmente, al mencionar lógica
nos referimos a lo que es congruente, ordenado y
bien estructurado. Por el contrario, al decir
ilógico queremos referirnos a lo incongruente,
desordenado e incoherente. Algunos ejemplos son
cuando se dice “es ilógico que digas una cosa y
hagas otra” o “tiene lógica que pienses así”. Ello
se aplica a los pensamientos, a las personas y
hasta las situaciones, de ahí su importancia. Por
consiguiente, viendo a la lógica como un campo
de estudio, esta se basa en estudiar la forma del
razonamiento mediante reglas y técnicas para
determinar si un argumento es válido. De esta
manera, la lógica es muy útil p ara distintas
ciencias como la filosofía, matemática,
economía, física, computación y mucho más. En
general, es tan importante porque nos permite
resolver una variedad de problemas a los que
nunca se ha enfrentado el ser humano con la
ayuda de nuestra inteligencia y conocimiento
acumulado.
POR: ALEJANDRO PALACIOS LÓPEZ
3
POR: SMITH OLORTEGUI SILVA
Como ocurre en otras ciencias, en la Lógica también es necesario el uso de un
lenguaje simbólico para poder poner en manifiesto solo lo que nos interesa. En
lógica el significado de las proposiciones es irrelevante, lo que se busca es saber
cómo están combinadas. Por ellos se necesita símbolos que, prescindiendo del
significado de las proposiciones, nos indiquen la forma en que se combinan.
Estos símbolos constituyen un lenguaje formal. Para poder simbolizar
debemos tener en cuenta los siguientes pasos:
1.- Identificar las proposiciones simples y asignar a cada una la variable
proposicional distinta, en orden alfabético y en orden de aparición.
2.- Construir la estructura formal
(reemplazar las proposiciones por las variables
y dejar en lenguaje natural todo lo demás,
incluso los signos de puntuación).
3.- Interpretar los operadores y reconocer las
jerarquías.
4.- Construir la fórmula.
Por su parte a cada conectiva lógica le
corresponde un símbolo, como se puede
apreciar en la siguiente tabla:
Conectiva Símbolo Lenguaje natural Formalización
Conjunción ∧ Juan es economista y María
contadora
p ∧ q
Disyunción ∨ Juan es economista o María es
contadora
p ∨ q
Condicional → Si Juan es economista, entonces
María es contadora
p → q
Negación ~ Juan no es economista ~ p
4
Para poder comprender la tabla con mayor exactitud daremos un ejemplo:
No es cierto que Juan sea economista o que María sea contadora.
1. Proposiciones p: Juan es economista.
q: María es contadora.
2. Estructura formal No es cierto que p o q.
3, Simbolización ~(p ∨ q)
Ejercicios
1.- Garua y las señoras no cocinan o bien graniza y las señoras no cocinan
Proposiciones:
p: Llueve.
q: Las señoras cocinan.
r: Graniza.
Estructura formal:
p y no q o bien r y no q.
Simbolización:
(p ∧ ~q) ∨ (r ∧ ~q)
2.- Si los chanchos volaran o supieran
tocar la guitarra, pensaría que estoy loco y
dejaría que me internaran en un manicomio.
Proposiciones:
p: Los chanchos saben volar.
q: Los chanchos saben tocar guitarra.
r: Estoy loco.
s: me internen en un manicomio. 5
Estructura formal:
Si p o q, pensaría que r y dejaría que s.
Simbolización:
(p ∨ q) → (r ∧ s)
3.- Si no apruebas o no resuelves este problema, entonces es falso que, hayas
estudiado o domines la deducción lógica. Pero no dominas la deducción lógica
aunque has estudiado.
Proposiciones:
p: Apruebas
q: Resuelves este problema.
r: Estudiado.
s: Dominas la deducción lógica.
Estructura formal:
Si no p o no q, entonces es falso que, hayas r o s. Pero no aunque r,
Simbolización:
[~ (p ∨ q) → ~(r ∨ s)] ⋀ ~s ⋀ r
6
POR: ALEJANDRO PALACIOS LÓPEZ
7
Es la acción y efecto de inferir:
deducir algo, sacar una consecuencia
de alguna cosa, conducir a un
resultado. La inferencia surge a partir
de una evaluación mental entre
distintas expresiones que permiten
trazar una implicación lógica. Al partir
de hipótesis o argumentos
(premisas), es posible inferir
una conclusión que puede resultar
verdadera o falsa. Pero, no todas las
inferencias ofrecen conclusiones
verdaderas. Es posible afirmar que
todos los perros son animales
peludos de cuatro patas, pero no se
puede inferir que todos los animales
peludos con cuatro patas son perros.
Es una relación por el cual un
enunciado contiene a otra en virtud
de su forma lógica. Por ejemplo,
cuando es válido que si sucede A,
entonces suceda B. Esto quiere decir
que A implica a B.
Una inferencia es válida si el conjunto
de premisas implica a la conclusión.
P1Λ P2 Λ… Λ Pn. →. C
8
1. Si la chilla ayuda a adelgazar y al
estomago, entonces será parte de mi
dieta. Pero, la chilla no será parte de
mi dieta. Luego, la chilla no ayuda a
adelgazar o ayuda al estomago.
P: la chilla ayuda a adelgazar
q: ayuda al estomago
r: será parte de mi dieta
PROPOSICIONES:
Si p y q, entonces r. Pero, ∿ r. Luego, ∿ p o
∿ q.
ESTRUCTURA FORMAL:
((p Λ q)→r) Λ ∿r .→. ∿p v ∿q
Por método abreviado la inferencia es
válida.
2. Si yo tuviera bajas notas,
desaprobaría el curso. Pero,
no desaprobaré el curso. Por
lo tanto, no tengo bajas notas.
P: yo tengo bajas notas
q: desaprobar el curso
PROPOSICIONES:
ESTRUCTURA FORMAL:
Si p, q. Pero, ∿q. Por lo tano, ∿p
(p → q) Λ ∿q .→. ∿p
Por método abreviado la inferencia es
válida.
http://www.redalyc.org/articulo.oa?id=84420303
http://antesdelascenizas.files.wordpress.com/2010/03/apuntes-de-
logica-e28093-1c2ba-bachiller.pdf
http://definicion.de/inferencia/
http://www.gsi.dit.upm.es/~gfer/ssii/rcsi/rcsise17.html
9