Investigacin

Lgica
La lgica es la ciencia que se encarga de exponer las leyes, modos y formas del
razonamiento. Se trata de una ciencia formal que no tiene contenido, pero que se
dedica al estudio de las formas vlidas de inferencia. Es decir, trata del estudio de los
mtodos y principios utilizados para distinguir el razonamiento correcto del incorrecto.

[1]
En Otras Palabras, La Lgica Es:
"El conjunto de conocimientos que tienen por objeto la enunciacin de las leyes que
rigen los procesos del pensamiento humano; as como de los mtodos que han de
aplicarse al razonamiento y la reflexin para lograr un sistema de raciocinio que
conduzca a resultados que puedan considerarse como certeros o verdaderos." [1]

Que requiere un Ingeniero saber de la Lgica

Estudiar las formas, estructuras o esquemas de pensamiento, para poder desarrollar un
racionamiento lgico y de esta forma realizar o responder apropiadamente a este
requerimiento. La formacin adecuada en lgica permite desarrollar y aplicar procesos
de creatividad a una capacidad creativa para solucionar problemas. La lgica no entra
en definir qu es verdad y qu es falsedad material. Esos conceptos, al tener contenido
semntico, son competencia del razonamiento aplicado a la experiencia.
Cada paso entre el pensamiento y la accin se debe realizar con lgica y
razonamiento lgico para alcanzar los mejores resultados, pero a menudo se aplica el
sentido comn para la toma de decisiones. Deben actuar por instinto y detenerse a
razonar sobre qu hacer, ante lo cual sus acciones sern ms consistentes con sus
pensamientos. Frente a circunstancias difciles o de alta importancia normalmente
tienen tres posibilidades para tomar decisiones: 1) que las circunstancias de la
situacin sean comparables a otras que han enfrentado, 2) que el problema sea
diferente de los anteriores y 3) que algunas cuestiones de la situacin ya hayan sido
tratadas con xito. En cualquiera de ellas el ingeniero debe combinar los xitos previos
para producir los resultados deseados y solucionar la situacin presente; pero como no
puede ser especialista en cada situacin necesita aplicar razonamiento lgico para
proceder (sorel and pennequin, 2008). [2]
Proposiciones

Proposiciones [3]
Con el estudio de la Lgica se persigue llegar a ser preciso y cuidadoso. La Lgica
tiene un lenguaje exacto. Pero aunque as sea, vamos a intentar construir un

vocabulario para este lenguaje preciso utilizando el lenguaje cuotidiano algunas veces
un tanto confuso. Con el estudio de la Lgica se persigue llegar a ser preciso y
cuidadoso.
Proposicin: Llamaremos de esta forma a cualquier afirmacin que sea verdadera o
falsa, pero no ambas cosas a la vez.
Clases de Proposiciones
Estas pueden ser de dos clases: atmicas y moleculares
Las proposiciones atmicas (simples o elementales) carecen de conjugaciones
gramaticales tripocas o conectivas (y, o, Si entonces, si y solo si) o del
adverbio de negacin no. Ejemplo.
La lgica es distinta a la matemtica
Las proposiciones atmicas de acuerdo a sus elementos constitutivos pueden
clasificarse en predicativas y relacionales.
Las proposiciones predicativas constan de sujeto y predicado.
a) El nmero 2 es par.
b) El espacio es relativo
Las proposiciones relacionales constan de dos o ms sujeto entre s.
a) ngela es hermana de Jess
b) 6 es mayor que 3
Las proposiciones moleculares (compuestas o coligativas) contienen alguna
conjuncin gramatical tpica o conectiva o el adverbio negativo no. Ejemplos
a) La lgica y la matemtica son ciencias formales
b) El numero es par si y solo si es divisible por dos
c)
Enlaces: son los elementos que usamos para formar proposiciones simples o
compuestas.

Tipos de enlaces
Tipo

Smbolo

Termino

Proposicin

compuesta
pq

O o

Conjuncin
Disyuncin inclusiva
Disyuncin exclusiva
Implicacin
Replicador
Bicondicional
Negacin

Conjuncin negativa

Pero no ambas
Si entonces
Si
Si solo si
No
No no

pvq
p vq
pq
qp
pq
p

pq

Ni ni

incompatibilizador

No ni
No o incluso no

p|q

1) Conjuncin () (y): es aquel enlace que da lugar a formulas complejas que son
verdaderas nicamente cuando las dos son verdaderas.
Tabla de la verdad
p

p
q

V
V
F
F

V
F
V
F

V
F
F
F

Ejemplo.
p: mara come torta
q: Jose camina

2) Disyuncin dbil o inclusiva. (v) (o): La disyuncin inclusiva es

verdadera si al menos una de las dos proposiciones de las componentes es
verdadero.
Tabla de la verdad
p

pvq
Ejemplo.
V
V
V
p: (verdadero)
V
F
V
F
V
V
q: yo estoy dormido (falso)
F
F
F
3) Disyuncin fuerte exclusiva (V) (O o): es verdadera si solo una
de las dos proposiciones de las componentes es verdadera. cuando todas
ellas son falsas y todas son verdaderas la proposicin resulta falsa.
Tabla de la verdad
p

p vq

Ejemplo.
p: Rodrigo naci en Europa (F)
q: Rodrigo naci en a (v)

V
V
F
F

V
F
V
F

F
V
V
F

4) Implicacin () (Si entonces): es aquella donde son verdaderas en todos las

clases menos cuando siendo verdadero el antecedente es falso el consecuente.
Tabla de la verdad
p

pq

V
V
F
F

V
F
V
F

V
F
V
V

Ejemplo.
p: est lloviendo (v)
q: yo estoy comiendo (f)

5) Replicador () (Si): presenta un orden invertido antecedente y

consecuente, con respecto a la proposicin condicional consecuente si antecedente.
Tabla de la verdad
p

pq

V
V
F
F

V
F
V
F

V
V
F
V

Ejemplo.
p: vienes a buscarme (f)
q: yo saldr (f)

6) Bicondicional () (Si solo si): si ambas tienen el mismo valor de verdad es

verdadero, si el valor de verdad es diferente entonces es falso.
Tabla de la verdad
p

pq

V
V
F
F

V
F
V
F

V
F
F
V

7) Negacin (

Ejemplo.
p: 4 es un nmero par
q: 4 es un nmero multiplicador de 3

) (no)_: invertir el valor de verdad es decir si el verdadera la

convertimos en falso y si es falso la convierte en verdadero.

Tabla de la verdad
p

V
F

F
V

Ejemplo.
p: Nstor come helado

p: Nstor no come helado

8) Conjuncin negativa ()

(No no/ Ni ni/ No ni): solo es

verdadero cuando ambas proposiciones atmicas son falsas en los dems casos es
falsa.
Tabla de la verdad
p

pq

V
V
F
F

V
F
V
F

F
F
F
V

Ejemplo.

No ingreso a la universidad y no postulo a

la catlica.

9) Incompatibilidad ( | )
Conectores equivalentes (No o incluso no/ no excepto que no/ no a menos
que no/ p es incompatible con q)

Solo es falsa cuando ambas proposiciones atmicas son verdaderas

Tabla de la verdad
p

pq

V
V
F
F

V
F
V
F

F
V
V
V

Ejemplo.

No compro auto o no voy al mercado

Proceso Analtico Jerrquico (AHP)

El Proceso Analtico Jerrquico (AHP), es una metodologa de anlisis multicriterio
desarrollada a fines de la dcada del 70 por el doctor en matemticas Thomas L. Saaty.
En aquel entonces, surgi como una solucin para tomar decisiones ms complejas,
con mltiples criterios, siendo pionera en su clase. [4]
El AHP requiere que quien toma las decisiones proporcione evaluaciones
subjetivas respecto a la importancia relativa de los criterios que definen una meta u
objetivo que se desee conseguir y que, despus, especifique su preferencia con
respecto a cada una de las alternativas de decisin en base a 15 los criterios
elaborados. El resultado del AHP es una jerarquizacin con prioridades que muestran
la preferencia global para cada una de las alternativas de decisin. [5]

El AHP se fundamenta en (Toskano, 2005):

 La estructuracin del modelo jerrquico (representacin del problema

mediante identificacin de meta, criterios, sub-criterios y alternativas).
Priorizacin de los elementos del modelo jerrquico.
Evaluacin de los elementos mediante asignacin de pesos.
Ranking de las alternativas de acuerdo con los pesos dados.
Sntesis
Anlisis de Sensibilidad.

Estructuracin del Modelo Jerrquico [4]

Una de las partes ms relevantes del AHP, consiste en la estructuracin de la jerarqua

del problema, etapa en la cual se debe lograr desglosar el problema en sus
componentes relevantes. La jerarqua bsica est conformado por: meta u objetivo
general, criterios y alternativas. Los pasos a seguir para la estructuracin del modelo
jerrquico son:

Paso Uno: Identificacin del problema

Paso Dos: Definicin del objetivo
Paso Tres: Identificacin de criterios
Paso Cuatro: Identificacin de alternativas

FUENTES ELECTRNICAS

[1]. https://es.wikiversity.org/wiki/%C2%BFQu%C3%A9_es_la_L
%C3%B3gica%3F

[2].http://www.laccei.org/LACCEI2013-Cancun/RefereedPapers/RP221.pdf
[3].http://sisbib.unmsm.edu.pe/bibvirtualdata/libros/filosofia/intro_logica/1_
parte.pdf

[4].http://cybertesis.uach.cl/tesis/uach/2010/bpmfcia283a/doc/bpmfcia283
a.pdf

[5].http://gavilan.uis.edu.co/~garavito/docencia/asignatura1/pdfs/AHP.pdf
https://books.google.co.ve/books?
id=ZkQOOO9K8KkC&pg=PA67&dq=l
%C3%B3gica+proposicional&hl=es-419&sa=X&ved=0ahUKEwiuI_gzdXPAhVEKB4KHZG_BbsQ6AEIKzAE#v=onepage&q=l
%C3%B3gica%20proposicional&f=false