Lgica

13
ENUNCIADO
Es toda frase u oracin que se utiliza en el
leguaje comn. Pueden ser:
PROPOSICIN

La proposicin es el elemento fundamental de
la lgica. Sin pretender dar una definicin
filosficamente irreprochable, diremos
rpidamente que una proposicin es un
segmento lingstico ( sucesin de palabras)
del cual tenga sentido afirmar que sea
verdadera o que sea falsa, pero no ambas a
la vez.
As por ejemplo:
i. El sol es cuadrado.
ii. El tringulo tiene tres lados.
iii. Cristbal Coln bebi 4 litros de
vino el da que descubri Amrica.
Son proposiciones: i es falsa; ii es verdadera
y iii no sabemos si es verdadera o falsa, pero
de todos modos tiene sentido afirmar que sea
verdadera o falsa

ENUNCIADOS NO
PROPOSICIONALES
Son aquelas expresiones que no
tienen la propiedad de ser
verdaderas o falsas dado que su
contenido lleva una fuerte carga
emotiva (rdenes, exclamativa,
interrogativa,)
Ejemplos:
i. ! Cierra la puerta!
ii. !Viva el Per!
iii. Qu hora es?
CONECTIVOS
LGICOS

En lgica la conexin entre
enunciados proposicionales
se hace utilizando las
partculas gramaticales:

no, o ,y, y las palabras:
si..., entonces, si y slo
si
llamadas conectivos lgicos,
cuya representacin
simblica se ver ms
adelante





SEMANA 2


El estudio de la lgica es el estudio de los mtodos y los principios utilizados para distinguir el
razonamiento correcto del incorrecto. Naturalmente esta definicin no pretende afirmar que slo es
posible razonar correctamente si se ha estudiado lgica; pero dada la misma agudeza intelectual
innata, la persona que ha estudiado lgica tiene mayor posibilidad de razonar correctamente que
aquella que no ha estudiado los lineamientos de esta ciencia.
Tengo la conviccin de que un mnimo de conocimientos lgicos precisos es actualmente
indispensable para cualquier estudioso de disciplinas cientficas o tcnicas, e incluso para quienes se
ocupan de cuestiones a las que tradicionalmente no se les asigna tal carcter, como la filosofa y el
derecho: Esta afirmacin debe tomarse simplemente como una recomendacin de carcter
propedutico.

Lgica matemtica:
Estudia e investiga los procesos vlidos del razonamiento mediante la utilizacin de mtodos
matemticos.
Se puede afirmar que la lgica moderna se presenta como un clculo formal riguroso.
La moderna lgica formal se desenvuelve en distintos niveles, siendo el nivel superior el de la lgica
de los enunciados o proposiciones.
























Lgica
14
LGICA: Estudia las relaciones entre las proposiciones, as como las funciones que desempean los
conectivos y las variables proposicionales, con el objeto de determinar la validez de las inferencias.

Condiciones que debe reunir una proposicin

I. Debe tener significado.
II. Debe ser una oracin aseverativa.
III. Poseer cualidad de verdad.
IV. Carecer de variables o incgnitas.

EXPRESIONES NO PROPOSICIONALES

No son proposiciones las oraciones NO ASEVERATIVAS, es decir aquellas expresiones que no
afirman o que no niegan algo. Las oraciones no aseverativas, pueden ser:

I. INTERROGATIVAS: Son aquellas que expresan preguntas. Ejemplos:
- Qu es un tringulo
- Dnde naci Ricardo Palma?
-
II. EXCLAMATIVAS O ADMIRATIVAS: Son expresiones que indican sorpresa, admiracin,
jbilo, y emocin. Ejemplos:
- Viva el Per!
- Arriba Alianza!

III. IMPERATIVAS O EXHORTATIVAS: Son aquellas que originan o impiden una accin
(mandato o prohibicin), provocando cambios de conducta de las personas. Ejemplos:
- Cllate
- Vete


PSEUDO-PROPOSICIN :
Es una oracin aseverativa en donde al sujeto se le atribuye un predicado que no corresponde con la
realidad, por tal motivo, no tiene sentido decir que es verdadera o falsa. Es una falsa proposicin.
Ejemplo:
- La justicia es generosa.


CLASIFICACIN DE LAS PROPOSICIONES

i. Proposiciones simples o atmicas: Son aquellas que carecen de conjunciones
gramaticales y del adverbio de negacin no. No tiene relacin con ninguna otra
proposicin, sino que es nica y simple.

Se caracterizan porque:

a. Carecen generalmente de conjunciones gramaticales (y, o, si entonces, si y slo si,
etc.)
b. No debe estar afectada por el no
c. Indivisible. Ejemplos:

- La vaca es un animal
- Siete es un nmero primo.



Lgica
15
Las proposiciones simples o atmicas pueden ser:

I. PREDICATIVAS: Son las que atribuyen predicado a un sujeto, es decir, afirman que
una determinada persona, animal o cosa, posee una propiedad o cualidad.
Ejemplo:
- La moneda Peruana es el nuevo sol.

II. RELACIONALES: Indican una relacin entre dos o ms sujetos.
Ejemplos:
- Lima es menos calurosa que Iquitos.
- Carlos y Mara son alumnos de medicina.

ii. Proposiciones compuestas o moleculares: Son aquellas que estn formadas por dos
o ms proposiciones simples, unidas por conjunciones gramaticales (conectivos) o del
adverbio de negacin (no).
- La vaca es un animal y siete es un nmero primo.
- Si estudias, entonces ingresars a la universidad.


CONECTIVOS LGICOS: Son partculas gramaticales que sirven para unir proposiciones, tienen
adems una representacin simblica, como veremos a continuacin:

SMBOLO NOMBRE LENGUAJE COMN EJEMPLO

~

Negacin
No, no es cierto que,
No es el caso que
~ p




Conjuncin

Y, pero, sin embargo,
Adems, aunque, a la vez......

p q
Disyuncin
inclusiva

o
P q
Disyuncin
exclusiva
o........o
p q




Condicional
Si.....entonces........
....si...., ...dado que......
......siempre que....
...porque...., ..en vista que......
p q



Bicondicional

Si y solo si


p q

CONSIDERACIONES PARA LAS ALTERNATIVAS

(1) VERDADERA: Cuando se afirma el enunciado.
(2) FALSA: Cuando niega el enunciado.
(3) NO SE PUEDE DETERMINAR: Cuando hay divalencia (puede ser verdadera V falsa F)
(4) NO VA CON EL ENUNCIADO: (Eso no dice el enunciado)
(5) REPITE EL ENUNCIADO:

EJEMPLO:
ENUNCIADO: Mario ama a Mirtha
RESOLUCIN
(3) No se puede determinar el valor de verdad de esta
proposicin, puede ser verdadera o puede ser falsa,
hay divalencia FALSA
A) Mario y Mirtha se aman
Lgica
16

(3) Igual que la anterior

FALSA.

(4) Eso no dice el enunciado:- No va con el enunciado.
Proposicin FALSA

(2) Proposicin FALSA puesto que est negando el
enunciado.

(1) Proposicin VERDADERA puesto que est afirmando lo
que dice el enunciado.


CUANTIFICADORES: (Operadores lgicos)

Indican la cantidad de elementos del trmino sujeto que participan en la relacin entre clases y
pueden ser: Todos, ningn, algn, etc. Los cuantificadores pueden ser:

Cuantificador universal (Todos , ninguno); simblicamente :
Cuantificador existencial ( Algn, algunos); simblicamente :


Nombre del
cuantificador
Smbolo En el lenguaje
comn:
Notacin
Lgica
Negacin lgica
Universal

para todo.......
x A ; P(x)
x A / ~P(x)
Existencial Existe al menos
un..........
x A / P(x)
x A ;~P(x)


PROPOSICIONES CATEGRICAS
(PROPOSICIONES CUANTIFICADAS)


Las proposiciones categricas son aquellas que afirman o niegan una relacin e inclusin, total o
parcial entre conjuntos o clases
1
(sujeto y predicado).
Tambin se dice que son aquellas que afirman o niegan que un conjunto est incluido en otro total o
parcialmente.


1
Se entiende por conjunto o clase a cualquier agrupacin o coleccin de elementos u objetos concretos o abstractos
que tienen propiedades comunes

Ejemplos:

i. Todos los seres humanos son inteligentes
- Nos indica que todos los elementos del conjunto o clase humanos est incluido totalmente en
el conjunto o clase inteligentes.

ii. Algunas personas son honestas
- Nos indica que slo algunos elementos del conjunto o clase personas son tambin elementos
del conjunto o clase honestos.

iii. No todas las mujeres son felices
- Nos indica que algunos elementos del conjunto o clase mujeres son no felices, es decir es
una exclusin parcial.
B) Mirtha tal vez ama a Mario
C) Mario si quiere a Mirtha
D) Mario no ama a Mirtha
E) Mirtha es amada por Mario
Lgica
17

ELEMENTOS DE UNA PROPOSICIN CATEGRICA

Las proposiciones categricas tpicas se caracterizan por tener cuatro elementos que son:


i. Elemento cuantificador (todos, ninguno, algunos): indica la cantidad o inclusin o exclusin total
o parcial. Ejemplo:

Todos los profesores saben leer


ii. Un elemento sujeto (s): Representa la clase sujeto. Es aquella clase que se incluye o excluye
del trmino predicado. Ejemplo:
Todos los profesores saben leer



iii. Un elemento cpula: Relaciona al sujeto con el predicado. Generalmente se expresa con el
Verbo ser o estar y sus diversas formas: son, es, estn, etc....Ejemplo:

Todos los profesores saben leer



iv. Un elemento predicado: Indica las cualidades o caractersticas del sujeto. Representa la clase
predicado. Ejemplo:

Todos los profesores saben leer





CLASIFICACIN DE LAS PROPOSICIONES CATEGRICAS


Los cuantificadores clasifican a las proposiciones categricas, por su cantidad, en universales y
existenciales (particulares), complementariamente stas pueden ser por su calidad, afirmativas o
negativas, lo cual se puede representar:


Afirmativos : todos .................................(1)
Negativos : Ninguno ..............................(2)



Algunos....................... (3)


Algunos....no .............. (4)
No todos
No es el caso que........

Ejemplos:

(1) Todos los polticos son materialistas : es una universal afirmativa
(2) Ningn poltico es materialista : es una universal negativa.
(3) Algunos polticos son materialistas : es una particular afirmativa.
(4) Algunos polticos no son materialistas : es una particular negativa.
CUANTIFICADOR
Universales
Afirmativos
Negativos
Existenciales
(particulares)
Lgica
18

S
P

S
P

S
P
X

S
P
X

REPRESENTACIN GRFICA DE LAS PROPOSICIONES CATEGRICAS


El objetivo es representar las proposiciones categricas utilizando los diagramas de Venn, para poder
determinar o concluir alguna informacin a partir de las proposiciones propuestas. Utilizaremos los
siguientes convencionalismos:


Conjunto vaco



Aquel conjunto que carece de elementos


Conjunto no vaco Conjunto que por lo menos tiene un elemento,
estamos representndolo con una x.




Falta informacin En este conjunto no se puede determinar la
existencia o no existencia de elementos.





1. Todos los S son P
El diagrama expresa que todos los miembros del
conjunto S son miembros del conjunto P






2. Ningn S es P
Conjuntos S y P, esto es, ningn miembro de S es
Miembro de P. El diagrama muestra que no hay relacin
entre los conjuntos S y P






3. Algunos S son P
El diagrama muestra que en la interseccin de S y P hay
hay por lo menos un elemento comn.






1. Algunos S no son P
El diagrama expresa que hay por lo menos un elemento
que es de S pero no es de P
X
U
Lgica
19

NEGACIN DE PROPOSICIONES CATEGRICAS

Para negar una proposicin categrica que presente centralmente un cuantificador universal
afirmativo [positivo (+)] es necesario usar una proposicin que contenga un cuantificador particular
negativo ( - ) ; es decir que deben ser propiamente opuestos en calidad (signo) y cantidad.










NEGACIN









EJEMPLOS: Negar las siguientes proposiciones:

PROPOSICIN SU NEGACIN:
(1) Todos los alumnos ingresarn a la Universidad Algunos alumnos no ingresarn
(2) Ningn Peruano es deshonesto Algunos Peruanos son deshonestos
(3) Algunos alumnos son ociosos Ningn alumno es ocioso
(4) Algn tenor no es cantante Todos los tenores son cantantes

INFERENCIA:

Es un razonamiento en el cual a partir de una o ms proposiciones llamadas premisas se deriva una
nueva proposicin llamada conclusin.

Ejemplo:

Premisa (1) : Si eres estudiante, tendrs libros
Premisa (2) : No tienes libros

No eres estudiante (Conclusin)


La inferencia es una forma de razonar que conduce al descubrimiento de leyes generales a partir de
la observacin de casos particulares. Podramos llamarlo induccin, razonamiento heurstico o accin
de conjeturar.

La inferencia trata de descubrir, a partir de la observacin, la regularidad y la coherencia, basndose
en la particularizacin, la generalizacin y la analoga.

Para que surja una conjetura ante un problema se necesita confianza en s mismo y valenta, que se
consigue con el paso que dejan los xitos anteriores y relajando las tensiones que produce el hecho
de querer encontrar una solucin y haber agotado las posibles sugerencias


Cuantificador Estructura formal Representacin grfica

Universal afirmativa (+) Todos los S son P S P

Universal negativa (-) Ningn S es P S P


Particular afirmativa (+) Algn S es P S P



Particular negativa (- ) Algn S no es P
S x P
X
Lgica
20

Conjeturar supone generalizar, para ello es necesario organizar la informacin de forma sistemtica, y
no hay que olvidar, que formular una conjetura no es resolver el problema, es necesario justificar que
es cierta.

SILOGISMO CATEGRICO:

Es una inferencia mediata constituida por tres proposiciones: las dos primeras llamadas premisas y la
tercera llamada conclusin que se deduce de las premisas; todas las proposiciones son categricas.

Ejemplo:

Premisa mayor(1) : Todo Peruano es Sudamericano
Premisa menor(2) : Todo Limeo es Peruano

Todo Limeo es Sudamericano (Conclusin)

INFERENCIAS LGICAS MEDIATAS

En algunos casos es necesario que nosotros obtengamos conclusiones a partir de dos o ms
proposiciones, como podremos observar en los siguientes ejercicios:

EJERCICIO

Todos los pintores son artistas
Ningn artista es deportista

Se concluye:
A) Algunos pintores son deportistas.
B) Todo deportista es pintor.
C) Ningn pintor es deportista.
D) Algn deportista es pintor.
E) Ninguna es correcta.

RESOLUCIN
Grafiquemos la premisa: Todos los pintores son artistas


PINTORES ARTISTAS.................. (1)

Grafiquemos la premisa : Ningn artista es deportista


ARTISTA DEPORTISTA ............... (2)

Uniendo (1) y (2)

ARTISTAS


PINTORES
DEPORTISTA
Lgica
21

El grfico obtenido nos indica que ningn pintor es deportista RESPUESTA C
EJERCICIO


Todos los mamferos son vertebrados ; se concluye:
A) Todos los vertebrados son mamferos.
B) Algunos mamferos son vertebrados.
C) Algunos mamferos no son vertebrados.
D) Ningn mamfero es vertebrado.
E) Ningn mamfero es invertebrado.

RESOLUCIN

Grafiquemos la premisa: Todos los mamferos son vertebrados

Mamferos Vertebrados



Analizando cada una de las alternativas:
A) Todos los vertebrados son mamferos. Falso, pues si observamos el grfico, lo
representado es justamente lo contrario.
B) y C) el grfico de la premisa no garantiza la existencia de elementos en ningn conjunto.
D) Falso, pues la interseccin no tiene datos por analizar.
E) Dentro del conjunto de los mamferos, no existe elemento que no pertenezca al conjunto
de los vertebrados. Por lo tanto, ningn mamfero es Invertebrado, es la respuesta.
REPUESTA E
























Lgica
22



1. Si sabemos que la afirmacin es cierta:
Todos los futbolistas beben licor.
Entonces podemos decir:
A) Algunos futbolistas no beben licor.
B) Ningn futbolista bebe licor.
C) Algunos futbolistas son no
dipsmanos.
D) Ningn futbolista no bebe licor.
E) No todos los futbolistas beben licor.

2. Se afirma que :
Algunos animales son carnvoros.
Entonces se concluye que:
A) Todos los animales son carnvoros.
B) No todos los animales son
carnvoros.
C) Ningn carnvoro no es animal.
D) No se concluye nada.
E) Algunas personas afirman que
todos los animales son carnvoros.

3. Si afirmamos que:
Muchas rosas son aromticas.
Podemos concluir que:
A) Ninguna rosa es aromtica.
B) Todas las rosas son aromticas.
C) Algunas rosas no son no
aromticas.
D) Todas las rosas son no aromticas.
E) Ninguna rosa es no aromtica.

4. Si Ningn gramtico es gemetra.
Concluimos validamente que:
A) Algunos gramticos son
gemetras.
B) Ningn gemetra es gramtico.
C) Todo gemetra s es gramtico.
D) En algunas ocasiones los
gramticos son gemetras.
E) Todo gramtico puede ser
gemetra.

5. Todo sujeto racional es humano,
adems todo astronauta es racional.
Por lo tanto:
A) Todo astronauta es humano.
B) Algunos astronautas son humanos.
C) Muchos astronautas son
racionales.
D) Ningn racional es astronauta.
E) Todo astronauta no es humano.



6. Si afirmamos que:
Algn poltico es honesto y todo poltico
es abogado.
Entonces:
A) Todo poltico es honesto.
B) Algn abogado es honesto.
C) Algunos polticos no son abogados.
D) Algunos abogados son polticos.
E) Ningn poltico es honesto.

7. Si :
Ningn trabajador es capitalista.
Todo obrero es trabajador.
Por lo tanto:
A) Algunos obreros son capitalistas.
B) Algunos capitalistas son
trabajadores.
C) Todo obrero es capitalista.
D) Ningn obrero es capitalista.
E) Ningn trabajador es obrero.

8. Si tiene cncer pronto morir.
Luego:
A) Pronto morir si tiene cncer.
B) No tiene cncer o pronto morir.
C) Tiene cncer y pronto morir.
D) Si no tiene cncer, no morir pronto.
E) Tiene cncer y no morir pronto.

9. Si se sabe que algunos polticos no son
deshonestos.
Entonces se puede concluir que:
A) Todos los polticos son
deshonestos.
B) Algunos deshonestos no son
polticos.
C) Algunos polticos son no
deshonestos.
D) Ningn poltico es deshonesto.
E) Todos los deshonestos no son
polticos.

10. Si todos los hombres son inteligentes.
Entonces:
A) R no es hombre entonces R no es
inteligente.
B) W es inteligente, entonces W es
hombre.
C) T es inteligente, entonces T es
hombre.
D) R no es inteligente, entonces R no
es hombre.
E) Algunos hombres son no
inteligentes.
GUA DE CLASE N 2