Escolar Documentos
Profissional Documentos
Cultura Documentos
Profesional
Cap.PNP. Alipio Ponce Vsquez
POLICIA NACIONALDEL PERU Y DOCTRINA POLICIAL
EESTP.PNP.H.N.CAP.ALIPIO PONCE VASQUEZ.PP
UNIACA - PNP
TRABAJO
APLICATIVO
ASIGNATURA:
TEMA
DOCENTE
BATALLON
INTEGRANTES
APELLIDOS Y NOMBRES
CIA :
SEC:
ALO.1 AO.PNP.
ALO.1 AO.PNP.
ALO.1 AO.PNP.
ALO.1 AO.PNP.
ALO.1 AO.PNP.
LIMA PERU
2015
NOTAS
ELAB.
SUST.
PROM.
Dedicatoria
A la ETS. PNP. Por su indefectible
contribucin
en nuestra formacin. Y a mis padres
por su esfuerzo
para darme una buena educacin.
INDICE
INTRODUCCION
CAPITULO I
MARCO TEORICO
CONECTIVO CONDICIONAL
I.- CONCEPTO DE LA LOGICA
II.- RESEA HISTORICA DE LA LOGICA
III.- CONECTIVOS LOGICOS
IV.- TABLA DE VERDAD
V.- LA NEGACIN.VI.- LA CONJUNCIN
VII.- LA DISYUNCIN INCLUSIVA
VIII.-LA DISYUNCIN EXCLUSIVA
IX.- LA CONDICIONAL
X.- LA BICONDICIONAL
CONCLUSIONES
RECOMENDACIONES
ANEXOS
BIBLIOGRAFIA
INTRODUCCIN
Es probable que en el siglo IV antes de la Era Comn, se iniciara con Aristteles
el estudio de la Lgica; pero no fue hasta a mediados del siglo XIX cuando
George Boole (1815-1864) inicia el estudio de lo que hoy se conoce como
Lgica Matemtica.
Uno de los fines de la enseanza matemtica es disciplinar la inteligencia, de ah
el valor formativo de esta ciencia ya que necesita de exactitud y precisin en sus
razonamientos.
La inteligencia se disciplina a travs de un tipo especial de pensamiento que es
el razonamiento. El objetivo de la lgica es estudiar la validez de los
razonamientos.
La validez de la lgica es una relacin entre las premisas y la conclusin
expresada a travs de una serie de smbolos matemticos y/o auxiliares
llamados enunciados.
Por medio de un enunciado con sentido podemos emitir un juicio (actividad
mental por medio de la cual pensamos algo) o un razonamiento (evaluacin
mental por medio de la cual obtenemos conclusiones).
CAPITULO I
MARCO TEORICO
CONECTIVO CONDICIONAL
I.- CONCEPTO DE LA LOGICA.- La lgica es una relacin entre las premisas y
la conclusin expresada a travs de una serie de smbolos matemticos y/o
auxiliares llamados enunciados.
Para su estudio, se divide en lgica formal, lgica aplicada y lgica simblica.
Lgica formal: es la parte de la filosofa que estudia las formas y leyes generales
del pensamiento tendiente al conocimiento de la verdad y el error.
Lgica Aplicada: es la que estudia las formas o estructura del pensamiento
adaptndose al objeto de estudio de las distintas ciencias.
Lgica simblica: es la que estudia sistemticamente las proposiciones, los
razonamientos y las demostraciones para lo cual utiliza un lenguaje constituido
por smbolos convencionales que representan estructuras. La lgica simblica
es aquella que se refiere a las proposiciones y que tambin se conoce con el
nombre de Calculo Proporcional.
II.- RESEA HISTORICA DE LA LOGICA.- Etimolgicamente el trmino
significa la ciencia de los logos. En efecto, el vocablo logos traduce palabra o
discurso, hecho por el cual se defini a la lgica como una rama de la gramtica
que estudia ciertos estilos del lenguaje. En este contexto, se hace necesario la
elaboracin de argumentos para defender o refutar pensamientos o posturas
ideolgicas, se recurri a mtodos para poder evaluar o verificar la validez
dichos razonamientos .En este sentido, el gran filsofo griego Aristteles, tiene el
honor de ser el primer sistematizado de los conceptos de la lgica que los
condens en clebre texto denominador rganon, en este ensayo, el filsofo
que los
pensamiento.
En concordancia con lo anterior, la lgica Aristotlica resalta la estrecha
conexin entre los conceptos de categora, definicin, juicio de valor, proposicin
y silogismo, es decir, desarrollar la lgica proposicional, estableciendo los
procedimientos para demostrar la verdad o falsedad de las proposiciones
compuestas y de los silogismos en resumen; en la antigedad, la lgica estuvo
asociada al conjunto del pensamiento de las diferentes doctrinas filosficas y
religiosas.
Ahora bien, el trmino lgica matemtica fue acuado en los aos 500 A.C. por
el pensador LAO-TS, al llegar a una evidente conclusin: EL TOTAL ES
MAYOR QUE SUS PARTES al referirse a la relacin existente entre las partes
separadas y el conjunto coordinado de esas partes.
De hecho, el trmino lgica matemtica que denota un conjunto de reglas y
tcnicas del razonamiento deductivo, que partiendo de simples y a veces de
ingenuas afirmaciones se pueden
sacar
III.- CONECTIVOS LOGICOS.- Los conectivos lgicos son aquellos que sirven
para formar proposiciones compuestas. Simblicamente los conectivos se
representan del modo siguiente:
Conectivo
Nombre Lgico
Smbolo
No
Negacin
Conjuncin
Disyuncin Inclusiva
OO
Disyuncin Exclusiva
Si Entonces
Implicacin o Condicional
Si Solo Si
~p
de
establecer los
p
p^q
conectiva
lgica
conjuncin es
la siguiente:
V
Una
enunciados
todos
verdad de la
son
conjuncin de
en los cuales
verdaderos,
conjuncin de
es verdadera
Una
enunciados
todos
son
en donde no
F
verdaderos
es falsa.
Lo que equivale a decir que basta que uno de sus componentes sea falsa para
que toda la proposicin sea falsa y slo ser verdadera en el caso de que ambos
componentes lo sean.
El expresado anteriormente se resumen simblicamente de la siguiente manera:
Ejemplo:
10
pvq
Ejemplo:
Sea el siguiente enunciado "Una persona puede entrar al cine si compra boleto u
obtiene un pase"
Sean:
p= compra boleto
q = obtiene un pase
r = una persona entra al cine = p v q
La conclusin resultante es obvia, puesto que para entrar al cine es necesario
tener por lo menos una de las dos condiciones: comprar un boleto o tener un
pase, si se tiene ambas tambin se puede entrar, si no tengo ninguna de las dos
alternativas entonces no se puede entrar al cine.
VIII.-LA DISYUNCIN EXCLUSIVA.- La disyuncin exclusiva se simboliza pro el
signo "v", corresponde a la expresin " o uno u otro, pero no ambos a la vez".
Una de las propiedades de esta conectiva es la de ser conmutativa y la de
poseer el carcter asociativo. Se puede mostrar la equivalencia de los esquemas
proposicionales as como establecer que es inesencial la agrupacin por la cual
optemos. Ejemplos de expresiones afines a esta conectiva son " a menos que"
o "salvo que"
La regla de la tabla de verdad para esta conectiva lgica es la siguiente:
Una disyuncin exclusiva es verdadera cuando una de sus alternativas es
verdadera; y ser falsa si las dos alternativas son falsas o verdaderas.
11
pvq
12
13
pq
Ejemplo:
Si se tiene lo proposicin "Si un cuerpo se calienta, entonces se dilata", se
observa que estamos diciendo es que la primera proposicin "si el cuerpo se
calienta" implica a la segunda proposicin " entonces se dilata", pero no se
afirma que el antecedente es verdadero, ni el consecuente es verdadero, puede
ser que el cuerpo no se calent y el cuerpo se dilato por causa de otros factores
ajenos a la temperatura, un golpe
14
pq
CONCLUSIONES
La idea principal de este trabajo es que el alumno aprenda el concepto de
proposicin, la forma en que se pueden formar proposiciones compuestas
usando los conectores lgicos, representar enunciados por medio de
simbologa lgica, conocer los conceptos de tautologa, equivalencia
lgica, regla de inferencia. Realizar demostraciones de teoremas por
medio del mtodo directo y contradiccin. Pero con problemas que le
15
RECOMENDACIONES
16
ANEXO
17
18
BIBLIOGRAFA
19
20