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