Escuela de Educacin Superior Tcnico

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.

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez

Dedicatoria
A la ETS. PNP. Por su indefectible
contribucin
en nuestra formacin. Y a mis padres
por su esfuerzo
para darme una buena educacin.

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez

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

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez

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).

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez

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

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez
trata a la lgica como un simple mtodo de las ciencias, debido
propsitos de la lgica se encaminaban

que los

a estudiar las estructuras del

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

audaces conclusiones y nuevos

conceptos, llegando a resultados asombrosos. Cabe de resaltar, la importancia

de la lgica en la construccin del pensamiento, el hermoso y bien logrado
pasaje de la novela del escritor italiano Luciano Zuccoli (1886-1829) en donde
relata el auto evaluacin realizada por el joven protagonista de esa historia no
jugaba casi nunca con juguetes verdaderos, que tuviesen una forma
determinada, un sentido preciso.
Abandonaba los soldaditos de plomo para hacer largas batallas con las que
daba mando, nombre, vida; y las piezas del domin le servan de material para
construir fortificaciones y baluartes. Se creaba su mundo a su modo.

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez
En efecto, la lgica permite la interpretacin del mundo a la manera de los
grandes pensadores, que a travs de aventuras hipotticas, utopas y fantasas
propias de la mente humana, explican la realidad.

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

Doble Implicacin o Bicondicional

IV.- TABLA DE VERDAD.- A partir de los conectores u operadores lgicos,

listado anteriormente, es posible formar proposiciones compuestas (formadas
por varias proposiciones simples y conectadas entre s por los conectores
lgicos), sin embargo los criterios de verdad resultantes de los operadores
lgicos estn regidos por determinadas reglas de la lgica booleana que
sealaremos a en forma posterior.
Pero para ser ms preciso es necesario tener en cuenta que las proposiciones
simples estn determinadas por condiciones dialcticas de tiempo y espacio. Por
ejemplo si se seala "llueve y no tengo paraguas", al construir la tabla de verdad
es necesario resolver en dnde? y cundo? La afirmacin "llueve" se entiende

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez
en que es en ese momento y ese lugar y con una simple mirada al cielo
sabemos si es cierto o falso. Hechas estas observaciones pasamos a revisar las
reglas especficas que rigen a cada conector lgico.

V.- LA NEGACIN.- La negacin se simboliza, generalmente por el signo "~".

Este signo puede ser traducido en palabras, as: "no es el caso que" o, ms
brevemente, "no".
A partir de la teora de conjuntos, establecimos si un elemento pertenece o no a
un conjunto y se seal que si no es elemento del conjunto, entonces es
elemento del conjunto complemento. Por tanto la negacin se refiere al conjunto
complemento.
Se establece el siguiente principio para la negacin lgica: la negacin de un
enunciado verdadero es falsa; la negacin de un enunciado falso es verdadero.
Lo que equivale a decir que la negacin de la negacin de una proposicin
verdadera es verdadera; y la negacin de la negacin de una proposicin falsa
es falsa. Adems la conectiva no es la nica de tipo singular del listado de
conectores lgicos sealado anteriormente.

~p

VI.- LA CONJUNCIN.- La conjuncin es el operador correspondiente al trmino

"y", siendo su smbolo ms corriente el siguiente, "^", se le conoce como la
multiplicacin lgica. Expresado en el lenguaje matemtico, la conjuncin est

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez
regida por la ley asociativa, "(pq)r" equivale a decir "pqr". Pero tambin es de
carcter conmutativo: "pq" y "qp" son irrelevantes en su orden.
La regla para
criterios

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:

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez
Sea el siguiente enunciado "el auto enciende cuando tiene gasolina en el tanque
y tiene corriente en la batera"
Sean:
p= tiene gasolina el tanque
q = tiene corriente la batera
r = el auto enciende = p ^ q
La conclusin resultante es que para que el auto encienda se debe tener
gasolina en el tanque y corriente en la batera, sino se tiene una de estas dos
condiciones el auto no arrancar.

VII.- LA DISYUNCIN INCLUSIVA.- La disyuncin inclusiva, llamada tambin,

alternacin, expresada ordinariamente mediante la palabra "o", simblicamente
se le representa por medio de la letra "v", colocada entre dos proposiciones.
Sin embargo, la "o" en este caso no tiene carcter de encrucijada o de dilema, y
se puede interpretar como " o uno u otro o ambos". Por ciertas analogas con el
lgebra se le llama tambin suma lgica. La alternacin posee, igualmente, la
propiedad asociativa que consiste en la no importancia de la agrupacin en
relacin con la verdad o la falsedad de una proposicin dada. Tambin es
afectada por la ley conmutativa de que el orden de las alternativas no afecta a la
alternacin.
La regla de la tabla de verdad para esta conectiva lgica es la siguiente:
Una disyuncin inclusiva es verdadera cuando por lo menos una de sus
alternativas es verdadera; solamente ser falsa si las dos lo son.
La tabla de verdad del enunciado anterior es como sigue:

10

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez

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

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez
La tabla de verdad del enunciado anterior es como sigue:

pvq

IX.- LA CONDICIONAL.- La condicional, expresada por la frase "si, entonces",

se simboliza mediante el signo "" colocado entre las dos proposiciones.. La
primera proposicin lleva el nombre de antecedente y la segunda proposicin la
de consecuente. Algunos lgicos la denominan "proposicin hipottica" o
"proposicin implicativa". La importancia de esta clase de proposiciones es la de
que la utiliza frecuentemente en el lenguaje de las ciencias, particularmente en
la ciencia de la fsica y en la matemtica. El condicional, segn veremos, es una
conectiva para la cual importa el orden de las clusulas, esto es, se trata de un
conector no conmutativo. En este caso el antecedente es una condicin
suficiente respecto del consecuente y el consecuente es una condicin
necesaria respecto del antecedente.
La regla de la tabla de verdad para esta conectiva lgica es la siguiente:
La condicional ser falsa slo cuando el antecedente es verdadero y el
consecuente es falso, en los dems caso ser verdadera.

12

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez
Se dice que una proposicin compuesta es condicional, si est formada por dos
Proposiciones simples enlazadas por la expresin sientonces.
Si P y Q representan dos proposiciones, la expresin si P entonces Q se
simboliza as:
P Q y se lee P implica Q.
La proposicin precedida por la expresin si, se llama antecedente o hiptesis
y la proposicin precedida por la expresin entonces, se llama consecuente o
conclusin de la implicacin. En la expresin P Q, el antecedente es P y el
consecuente es Q.
Las proposiciones condicionales se pueden enunciar de diferentes maneras as:
Si P entonces Q.
P slo si Q.
Q si P.

Los siguientes ejemplos ilustran los anteriores enunciados:

Ejm:
Si un entero es mltiplo de 4 entonces es divisible por 2.
P Q
La tabla de verdad del enunciado anterior es como sigue:

13

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez
p

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

X.- LA BICONDICIONAL.- La bicondicional, expresada por la frase "si y solo

s", denotada por el signo"", significa una relacin bidireccional en donde
ambas proposiciones se necesitan entre s.
La regla de la tabla de verdad para esta conectiva lgica es la siguiente:
La conectiva bicondicional ser verdadera solamente si y solo si las dos
sentencias que la componen son a la vez verdaderas o si son ambas falsas.
El expresado anteriormente se resumen simblicamente de la siguiente manera:

14

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez
p

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

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez
sean familiares e interesantes. Se trata de que en cada uno de los
subtemas participe proponiendo sus propios ejemplo y que sobre todo al
final de la unidad l tenga la habilidad, confianza e iniciativa para inferir
posibles soluciones.
Todo enunciado puede ser planteado en trminos de teoremas. Un
teorema por lo general es resultado de un planteamiento de un problema,
este planteamiento debe tener el siguiente formato.
(p1 p2 ....... pn) q
Como se establece p1, p2 ,......,pn son hiptesis (o premisas) derivadas
del mismo problema y que se consideran vlidas. Pero adems debern
conectarse con el operador And ( ), lo cual implica que p1 es cierta y ( )
p2 es verdad y ( )...... y pn tambin es cierta entonces ( ) la conclusin
(q) es cierta. Para realizar la demostracin formal del teorema se deber
partir de las hiptesis, y despus obtener una serie de pasos que tambin
deben ser vlidos, ya que son producto de reglas de inferencia. Sin
embargo no solamente las hiptesis y reglas de inferencia pueden
aparecer en una demostracin formal, sino tambin tautologas
conocidas. En el teorema anterior cada uno de los pasos p1, p2,...pn son
escalones que debern alcanzarse hasta llegar a la solucin.

RECOMENDACIONES

Son palabras o expresiones que marcan la relacin entre ideas. Las

proposiciones se relacionan mediante trminos de enlace o conectivos lgicos.
Los conectivos lgicos son 5 y son:

16

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez
La negacin se aplica para modificar proposiciones de cualquier tipo y se
representa con el smbolo, que significa no. Para negar una proposicin se
coloca el smbolo antes de ella.
La conjuncin une dos afirmaciones y ambas deben cumplirse para que la
proposicin compuesta sea verdadera.se expresa con el smbolo y.
El disyuntivo cuando dos proposiciones se unen con este conectivo, basta que
una de ellas sea verdadera para que la proposicin compuesta tambin lo sea.
Hay dos tipos de disyuncin la exclusiva que una de las dos proposiciones tiene
que ser verdadera y la inclusiva que sus dos alternativas pueden ser
compatibles.
La condicional establece que, cuando sucede lo que la primera proposicin
afirma, se cumplir lo que afirma la segunda. Y esta se simboliza con un si.
La bicondicional nos indica que si ambos enunciados son verdaderos o ambos
son falsos, el enunciado entero resultara verdadero. Esta se expresa con un s y
solo si.

ANEXO

17

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez

18

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez

BIBLIOGRAFA

19

Escuela de Educacin Superior Tcnico

Profesional
Cap.PNP. Alipio Ponce Vsquez
www.monografia.com.pe
www.buenastareas.com.pe
HTTP://ES.WIKIPEDIA.ORG.COM.PE
www.scribe.com.pe

20