LGICA

NOCIONES BSICAS
Prof.: Walter Ugarte Casafranca

PROBLEMAS LGICOS

1. Si Mara habla ms bajo que Rosa y

Celia habla ms alto que Rosa, habla
ngela ms alto o ms bajo que Celia?

MS BAJO.

Walter UGARTE CASAFRANCA

2. De cuatro corredores de atletismo se

sabe que C ha llegado inmediatamente
detrs de B, y D ha llegado en medio de A y
C. Indique el orden de llegada.

B-C-D-A.

Walter UGARTE CASAFRANCA

3. Seis amigos desean pasar sus vacaciones

juntos y deciden, cada dos, utilizar
diferentes medios de transporte; sabemos
que Alejandro no utiliza el coche ya que
ste acompaa a Benito que no va en avin.
Andrs viaja en avin. Si Carlos no va
acompaado de Daro ni hace uso del avin.
En qu medio de transporte llega a su
destino Toms?

EN COCHE.
Walter UGARTE CASAFRANCA

4. Tenemos cuatro perros: un galgo, un

dogo, un alano y un podenco. ste ltimo
come ms que el galgo; el alano come ms
que el galgo y menos que el dogo, pero ste
come ms que el podenco. Cul de los
cuatro ser ms barato de mantener?

EL GALGO.

Walter UGARTE CASAFRANCA

5. Un capitn en el Caribe fue rodeado por

un grupo de serpientes marinas, muchas de
las cuales eran ciegas. Tres no vean con los
ojos a estribor, 3 no vean nada a babor, 3
podan ver a estribor, 3 a babor, 3 podan
ver tanto a estribor como a babor, en tanto
que otras 3 tenan ambos ojos arruinados.
Cuntas serpientes como mnimo haba?

HABA 3 SERPIENTES
TOTALMENTE CIEGAS Y 3
CON AMBOS OJOS SANOS.
Walter UGARTE CASAFRANCA

6. El caballo de Mac es ms oscuro que el de

Smith, pero ms rpido y ms viejo que el
de Jack, que es an ms lento que el de
Willy, que es ms joven que el de Mac, que es
ms viejo que el de Smith, que es ms claro
que el de Willy, aunque el de Jack es ms
lento y ms oscuro que el de Smith. Cul es
el ms viejo, cul el ms lento y cul el ms
claro?

EL MS VIEJO EL DE MAC,
EL MS LENTO EL DE JACK
Y EL MS CLARO EL DE
SMITH.
Walter UGARTE CASAFRANCA

HISTORIA DE LA LGICA

Walter UGARTE CASAFRANCA

ARISTTELES

El Organn, contiene el
primer tratado sistemtico
de las leyes de pensamiento
para la adquisicin de
conocimiento. El silogismo
fue adoptado por los
escolsticos que representan
el sistema teolgico-filosfico,
caracterstico de la Edad
Media.

Walter UGARTE CASAFRANCA

EUCLIDES
Matemtico

alejandrino
autor de la obra
Elementos. En esta obra
propaga el uso riguroso
del mtodo deductivo
que distingue entre
principios, definiciones,
axiomas, postulados, y
teoremas.

Walter UGARTE CASAFRANCA

MATEMTICA
El Renacimiento es el
inicio de una nueva
revolucin que revive
la ciencia y las
matemticas. Los
representantes ms
destacados son
Descartes, Newton y
Leibniz.

Walter UGARTE CASAFRANCA

FRANCIS BACON
Autor del NOVUM
ORGANUM. Desarroll
la lgica inductiva.
Consider que el
silogismo aristotlico
adoleca de defectos.
Propuso la existencia de
los dolos o errores del
pensamiento que
conducan a error.
Walter UGARTE CASAFRANCA

GOTTFRIED W.
LEIBNIZ
Filsofo

y matemtico
alemn, 1646-1716. En
Discurso sobre el arte
combinatorio enuncia la
necesidad de un lenguaje
riguroso, exacto y universal
puramente formal.

Walter UGARTE CASAFRANCA

FORMALIZACIN DE
LAS MATEMTICAS
Se caracteriza por el
resurgimiento de la
formalizacin rigurosa
de las matemticas. Se
crea la lgica simblica,
la escuela formal, la
lgica booleana, el
clculo proposicional, la
induccin
matemtica
Walter UGARTE CASAFRANCA

FRIEDRICH G. FREGE
(1848-1925). Partiendo del
anlisis de los fundamentos
de la matemtica lleva a
cabo la renovacin y
desarrollo de la lgica. Es el
primero en introducir los
cuantificadores y en
elaborar una Teora de la
Cuantificacin.

Walter UGARTE CASAFRANCA

GEORGE BOOLE

(1815-1864) aplica el clculo

matemtico a la lgica,
fundando el lgebra de la
lgica. El empleo de smbolos y
reglas operatorias permite
representar ideas y
razonamientos mediante
variables y relaciones entre
ellas. Su obra principal es
Investigacin de las leyes del
pensamiento.

Walter UGARTE CASAFRANCA

BERTRAND RUSSELL

(1872-1970). Establece una

teora de la jerarqua de los
lenguajes para eliminar las
paradojas semnticas. Su
obra monumental Principia
Mathematica sienta las
bases de la moderna lgica
formal.

Walter UGARTE CASAFRANCA

DIGITAL

Se inicia con la invencin de la computadora digital y el

acceso universal a las redes de alta velocidad. Turing
relaciona lgica y computacin antes que cualquier
computadora procese datos. Weiner funda la ciencia de
la Ciberntica.
Walter UGARTE CASAFRANCA

ALAN TURING

Pionero en Teora de la
Computacin que
contribuye a importantes
anlisis lgicos de los
procesos computacionales.
La Mquina de Turing es un
intento para determinar si
la matemtica se puede
reducir a algn tipo simple
de computacin.

Walter UGARTE CASAFRANCA

BENOIT MANDELBROT

El gran impulsor de la
matemtica contempornea y
pionero de la geometra
fractal a quien la computacin
pura revela la moderna
Geometra de la Naturaleza.
La geometra fractal es el
corpus principal de sus
investigaciones. A finales del
siglo XX ya contemplaba el
estudio de sistemas
dinmicos, irreversibles,
caticos.

Walter UGARTE CASAFRANCA

DEFINICIN
La Lgica es una
ciencia formal y
estudia las condiciones
de validez de las
inferencias.
Constituye al mismo
tiempo un lenguaje.

Walter UGARTE CASAFRANCA

LA INFERENCIA
P1
Es un proceso
P2
de derivacin
de verdad.
P3
------De las premisas se deriva
una conclusin aplicando
las leyes de la Deduccin o
C
O
por procedimientos
inductivos.

Walter UGARTE CASAFRANCA

IMPLICAN

C1
C2
.
.
Cn

INDUCCIN
LEY GENERAL

MERCURIO es PLANETA y es ESFRICO

MARTE es PLANETA y es ESFRICO
SATURNO es PLANETA y es ESFRICO
JUPITER es PLANETA y es ESFRICO
Todos los PLANETAS son ESFRICOS

Walter UGARTE CASAFRANCA

DEDUCCIN
LEY GENERAL

CASO PARTICULAR

Todos los PLANETAS son ESFRICOS

La TIERRA es un PLANETA
La TIERRA es ESFRICA

Walter UGARTE CASAFRANCA

LA PROPOSICIN

LA TIERRA ES UN PLANETA.
THE EARTH IS A PLANET.
PLANET ERDE IST EIN.

Es un constructo que tiene la

cualidad de poseer valor de verdad.
Walter UGARTE CASAFRANCA

CLASIFICACIN
A. PROPOSICIONES SIMPLES
A.1 SIMPLES PREDICATIVAS

Los

mamferos son vertebrados.

Walter UGARTE CASAFRANCA

A.2 SIMPLES RELACIONALES:

AFINIDAD:
Juan

y Jorge son hermanos.

Lima

est al sur de Piura.

UBICACIN:
GRADO:
Mara

es ms alta que Gloria.

Walter UGARTE CASAFRANCA

B. PROPOSICIONES COMPUESTAS
B.1 NEGACIN
Los

insectos son invertebrados.

2+2

p
5

Walter UGARTE CASAFRANCA

B.2 CONJUNCIN
No

llueve pero hace fro.

p^q

Sonres

pero no eres feliz.

p^q

Walter UGARTE CASAFRANCA

B.3 DISYUNCIN:
B.3.1

INCLUSIVA:
Bailo o canto.

pvq

B.3.2

EXCLUSIVA:
3+5 8

pq
Walter UGARTE CASAFRANCA

B.4 CONDICIONAL:
B.4.1 DIRECTA

Si no estudio, trabajo.

pq

Walter UGARTE CASAFRANCA

B.4.2 INDIRECTA
No

trabajo porque estudio.

Si

estudio, entonces no
trabajo.

pq
Walter UGARTE CASAFRANCA

B.5 BICONDICIONAL
Voy

al cine s y slo si no tengo clases.

pq
Walter UGARTE CASAFRANCA

EJERCICIOS
1.Es imposible que haga calor y est nevando.

(p ^ q)

2.No voy al cine porque estudio y trabajo.

p^qr

3.Si canto, el pblico no aplaude; y, si bailo, silba.

(p q) ^ (r s)
Walter UGARTE CASAFRANCA

4. La Tierra y la Luna giran, por ello son esfricos.

p^qr^s

5.La disyuncin entre p y la condicional entre q y r.

p v (q r)

6.La negacin de la bicondicional entre p y no q.

(p q)

7.Cuando llueve y hace calor la cosecha es abundante.

p^qr

Walter UGARTE CASAFRANCA