UNIVERSIDAD PRIVADA ANTENOR ORREGO

FACULTAD DE EDUCACIN Y HUMANIDADES

ESCUELA DE EDUCACIN INICIAL

PEDAGOGA OPERATORIA DE JEAN PIAGET

MONOGRAFA: DE LA ASIGNATURA DE LGICA

AUTORAS:
AGUILAR CABANILLAS, LIZET
GUERRA UCEDA, BRENDA
IDROGO FRANCO, ROSA
SAAVEDRA CASTILLO, MARIA LAURA

DOCENTE:
BONILLA MERCADO LUIS

TRUJILLO, NOVIEMBRE 2014

AGRADECIMIENTOS

A Dios, por la sabidura e inteligencia que nos da da a da y por iluminarnos durante el

desarrollo de este trabajo, al habernos permitido finalizar cumpliendo los objetivos que
nos habamos propuesto.

A nuestros padres por el apoyo incondicional que nos brindan siempre; tambin queremos
dar gracias a la Biblioteca de la Universidad Privada Antenor Orrego, por habernos
brindado distintas fuentes de informacin, que hemos requerido para la elaboracin de
este trabajo.

Y por ltimo, dar gracias a la Universidad Nacional de Trujillo que tambin nos brind
informacin relevante que nos sirvi de gran apoyo, para de esta manera, poder culminar
satisfactoriamente con nuestro trabajo de investigacin.

DEDICATORIA

A Dios
Por la sabidura, inteligencia y perseverancia que nos brinda, por habernos permitido
finalizar este trabajo con xito, cumpliendo con los objetivos trazados de la monografa.

A Nuestros Padres
Por el apoyo incondicional que nos brindan.

NDICE

INTRODUCCIN

I.

LOGICA MATAMTICA
La lgica es muy importante; ya que permite resolver incluso problemas a los
que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia
y apoyndose de algunos conocimientos acumulados, se pueden obtener
nuevos inventos innovaciones a los ya existentes o simplemente la utilizacin
de los mismos.
Cuando se ensea Matemtica, uno de los objetivos que aprendamos a
realizar demostraciones formales por el mtodo directo y el mtodo por
contradiccin o reduccin al absurdo, etc. Por esta razn se hace necesario
que nosotras como futuras maestras aprendamos lgica matemtica, y as no
tendremos problemas para entender las ciencias exactas y ser capaces
deresolver un problema determinado.
La Lgica estudia la forma del razonamiento pero la Lgica Matemtica es la
disciplina que trata de mtodos de anlisis y razonamiento; utilizando el
lenguaje de las matemticas como un lenguaje analtico. Pero, qu es en s la
Lgica Matemtica? Viene a ser la disciplina que trata de mtodos de
razonamiento y en un nivel elemental, podemos decir que, la lgica
proporciona reglas y tcnicas para determinar si es o no vlido un argumento
dado, en cambio el razonamiento lgico se emplea en matemticas para hacer
demostraciones de teoremas que participan en el anlisis de argumentos
planteados y nos ayuda a establecer criterios de verdad, as como
equivalencias lgicas, tales como el silogismo.

II.

LOS TRMINOS, LAS PROPOSICIONES Y LAS VARIABLES LGICAS O

PROPOSICIONALES
1. Los Trminos
1.1.

Definicin

Un trmino es una expresin con la que se nombra o se designa un

nico objeto, es la expresin externa u oral del concepto, es un signo
sensible y arbitrario.
1.2.

Clases

1.2.1. Independientes
Son significantes por s, los que sin aadir algo tienen
significacin completa; como Csar, hablo, hablado, hablar,
blancura, deslumbrante, etc.
1.2.2. Dependientes
Los que no tienen significacin completa por s son no
significantes, pues slo modifican la significacin de otros
vocablos, como son las voces todo, ninguno, alguno, este, etc.,
igualmente los casos oblicuos, como los adverbios, las todas las
preposiciones y conjunciones.
2. Proposiciones
2.1.

Definicin

La nocin de proposicin puede tener diferentes alcances especficos:

En el mbito de las matemticas, las proposiciones

son enunciados que pueden ser verdaderos o falsos. La verdad
de la proposicin ya puede aparecer demostrada o es
justamente aquello que se pretende demostrar.
Para la gramtica, una proposicin es una unidad lgica y
semntica que cuenta con sentido completo. Puede asociarse el
trmino a la idea de oracin, aunque tienen alcances diferentes.
La filosofa sostiene que la proposicin es un producto
lgico que surge del propio acto de enunciacin que afirma o
niega algo.

Nosotras llegamos a la conclusin que una Proposicin es

la oracin afirmativa que puede ser verdadera o falsa, pero no
ambas. Las proposiciones se notan con letras minsculas, p, q, r. . .

2.2.

Clases

En la lgica se distinguen dos tipos de proposiciones, siendo estas:

Proposiciones simples o atmicas y proposiciones compuestas o
moleculares.
2.2.1. Proposiciones Simples o Atmicas
Son proposiciones que ya no pueden descomponerse en dos
expresiones que sean proposiciones.
2.2.2. Proposiciones Compuestas o Moleculares
Son unas frases que constan de uno o varios sujetos y de un
predicado que afirma algo en torno a dichos sujetos.
Las proposiciones compuestas utiliza conectores como no, si
entonces, y, o, si y solo si, estas a su vez tienen sus respectivos
nombres:

Disyuncin: Admite que las dos alternativas se den

conjuntamente.
Conjuncin: Es un conector que opera sobre dos valores de
verdad.
Negacin: Se ejecuta sobre un nico valor de verdad,
devolviendo
el
valor contradictorio de
la
proposicin
considerada.
Condicional: Opera sobre dos valores de verdad donde
establece una condicin.
Bicondicional: Afirma que la proposicin ser verdadera
cuando y exclusivamente q tambin lo sea o viceversa.

2.3.

Proposiciones Categorematicas

Las proposiciones categricas son consideradas afirmaciones o

aserciones acerca de clases, as, una proposicin categrica puede
afirmar o negar que una clase est incluida en otra. Cada proposicin
categrica de forma estndar tiene una cualidad y una cantidad.
Las palabras "todo" y "algn" se llaman "cuantificadores" porque indican
la cantidad del sujeto. Esto es, especifican cunto elementos de la
clase del sujeto estn incluidos en la clase del predicado. El verbo en
una proposicin categrica correctamente expresada, es siembre
alguna forma del verbo "ser", y se conoce como "cpula".
Sin embargo, esto no indica claramente si una proposicin es afirmativa
o negativa en calidad. Una proposicin afirmativa es aquella que
sostiene que el sujeto est incluido en la clase del predicado; una
negativa, aquella que afirma que el sujeto est excluido del predicado.
Ya que las cuatro proposiciones categricas bsicas tienen un sujeto,
un predicado y una cpula, una forma de distinguirlas es pro su
cantidad y cualidad. Cada proposicin ser universal o particular (y se
distinguir por la cantidad), y afirmativa o negativa (y se distinguir por
la calidad).

Proposicin categrica
Universal afirmativa
Universal negativa
Particular afirmativa
Particular negativa

Representacin
Todos S son P
Ningn S es P
Algunos S son P
Algunos S no son P

2.3.1. Clases

Universal Afirmatica (llamada tipo E)

Sea la proposicin Todo pez es acutico, la clase pez est
incluida totalmente en la clase acutico. Esta es una relacin
de inclusin total y se expresa por: Todo S es P.

Universal Negativa (llamada tipo E)

10

Ningn nio es viejo la anterior proposicin indica que

ningn elemento de la clase de los nios pertenece a la
clase de los viejos. Esta es una relacin de exclusin total y
se expresa por Ningn S es P.

Particular Afirmativa (llamadas tipo I)

Algunos alumnos son artistas es una proposicin que
algunos de la clase de los alumnos est incluido en la clase
de los artistas. Esta es una relacin de inclusin parcial y se
expresa mediante Algunos S son P.

Particular Negativa (llamadas tipo O)

La proposicin Algunas rosas no son rojas expresa que al
menos una de las rosas no pertenecen a la clase de lo rojo.
Aqu se establece una relacin de exclusin parcial y se
denota como Algunos S no son P.

11

III.

TABLAS DE VERDAD
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra
el valor de verdad de una proposicin compuesta, para cada combinacin de
verdad que se pueda asignar.
Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el
formato ms popular es el que introdujo Ludwig Wittgenstein (1921) en
su Tractatus logico-philosophicus,
3.1.

Nmeros de combinaciones

Partiendo de un nmero n de variables, cada una de las cuales puede

tomar el valor verdadero: V, o falso: F, por Combinatoria, podemos saber
que el nmero total de combinaciones: Nc, que se pueden presentar es:

3.2.

Conexin de Proposiciones

3.2.1. CONJUNCION

Dadas dos proposiciones, P y Q, llamaremos conjuncin de

ambas a la proposicin compuesta P y Q y la notaremos pq.
Esta proposicin ser verdadera nicamente en el caso de que
ambas lo sean.
Obsrvese que de la definicin dada se sigue directamente que
si p y q son, ambas, verdaderas entonces p q es verdad y
que si al menos una de las dos es falsa, entonces p q es
falsa. Por lo tanto su tabla de Verdad vendr dada por:

V
V
F
F

V
F
V
F

pq
V
F
F
F

12

3.2.2. Disyuncin

Dadas dos proposiciones P y Q, llamaremos disyuncin de

ambas a la proposicin compuesta p o q y la notaremos
pq. Esta proposicin ser verdadera si al menos una de las
dos p o q lo es.
De acuerdo con la definicin dada se sigue que si una de las
dos, p o q, es verdad entonces p q es verdad y que p q
ser falsa, nicamente si ambas lo son. Su tabla de verdad
ser, por tanto:

p
V
V
F
F

pq
V
V
V
F

q
V
F
V
F

3.2.3. Implicancia

Dada dos proposiciones P y Q, llamaremos implicancia de

ambas a la proposicin compuesta si p entonces q y la
notaremos p
q. El condicional material es un operador que
opera sobre dos valores de verdad, tpicamente los valores de
verdad de dos proposiciones, devolviendo el valor de falso slo
cuando la primera proposicin es verdadera y la segunda falsa,
y verdadero en cualquier otro caso.
La tabla de verdad del condicional material es la siguiente:

V
V
F
F

V
F
V
F

q
V
F
V
V

13

3.2.4. Biimplicancia

Dada dos proposiciones P y Q, llamaremos implicancia de

ambas a la proposicion compuesta p si y solo si q y la
notaremos p
q. El bicondicional o doble implicacin es un
operador que funciona sobre dos valores de verdad, tpicamente
los valores de verdad de dos proposiciones, devolviendo el valor
de verdad verdadero cuando ambas proposiciones tienen el
mismo valor de verdad, y falso cuando sus valores de verdad
son diferentes.
La tabla de verdad del bicondicional es la siguiente:

3.3.

V
V
F
F

V
F
V
F

q
V
F
F
V

Casos de Tipos de verdad

3.3.1. Contingencia

Donde los resultados de verdad en la matriz principal pueden

ser verdaderos o falsos.

14

3.3.2. Contradiccin

Donde los resultados de verdad en la matriz principal todos son

falsos.

3.3.3. Tautologa

Donde los resultados de verdad en la matriz principal todos son

verdaderos.

15

IV.

TEORA DE CLASES
4.1.

Definicin

Una clase es una familia de conjuntos o coleccin de conjuntos (u otros

objetos matemticos) que no necesariamente es un conjunto. El concepto
de clase aparece al intentar agrupar todos los conjuntos (u objetos) que
comparten una cierta propiedad.
La lgica de clases analiza la proposicin lgica considerando la
pertenencia o no pertenencia de un elemento o individuo a una
determinada clase. Es la interpretacin de una proposicin o enunciado
lingstico bajo la formalizacin de la teora de conjuntos, representada
por Diagramas de Venn y smbolos del lgebra de conjuntos.
La Lgica de Clases enfoca el asunto de un modo diferente: en un
enunciado en donde exista un Sujeto y un Predicado (por ejemplo: Joseph
era cojo) se estara sealando, no tanto un atributo del sujeto, como
la pertenencia del sujeto a una determinada clase. En este caso, se estara
sealando la pertenencia de Joseph a la clase de los hombres cojos.
4.2.

Elementos

Cada uno de los objetos integrantes de una clase, es un elemento o

miembro de la clase. La relacin existente entre un elemento y la clase de
la que es miembro, se llama relacin de pertenencia, el elemento
pertenece a la clase, se simboliza: . Por ejemplo Madrid pertenece a
las capitales europeas.
.
En general
, quiere decir que es un elemento de . Cuando se
quiere expresar que un elemento no pertenece a una clase, se utiliza el
smbolo: . Por ejemplo Mxico
, quiere decir que Mxico no pertenece
a las capitales europeas.
Las clases se pueden definir por extensin y comprensin. Por extensin
enumerando sus elementos; por comprensin expresando sus propiedades
comunes. La comprensin expresa su definicin en trminos de idea o
concepto, es decir el significado de la clase o del concepto. La extensin
hace referencia a sus elementos o bien de forma total:
o bien de forma
parcial:
.

16

4.3.

Tipos de Clases:
4.3.1. Clase Universal

Es la clase de todas las clases, es decir la clase que incluye a

todos objetos posibles. Por ejemplo si tenemos la clase de los
leones, la de los delfines, de los monos, etc. podemos reunirlas
en la clase de los mamferos que las abarca a todas. Esta clase
de los mamferos es la clase universal.
Grficamente se representa como un rectngulo y
simblicamente con una U.

4.3.2. Clase Vaca

A esta clase tambin la podemos llamar nula. Es la clase

formada por objetos que no existen, es decir, no contiene
elementos. Se representa por un diagrama sombreado y
simblicamente se representa por la letra griega o por {}.

17

4.4.

4.5.

Relaciones entre clases

Si todos los elementos de son tambin de

clases son idnticas o iguales:
.

En el caso de que ningn elemento de sea elemento de y

viceversa, las clases son disjuntas: Por ejemplo la clase de los
peruanos
y
la
de
los
ecuatorianos:
.

Si ambas clases tienen al menos un elemento en comn, se

expresa as:
y tambin
.
El signo se llama cuantificador existencial, quiere decir que hay o
existe al menos un elemento.

Si todos los elementos de la clase son tambin de la clase ,

pero no a la inversa, se dice que es una subclase de o que
est incluida en .
. Por ejemplo: Las alumnas de la carrera
de Educacin Inicial y las alumnas de toda la Universidad.

y viceversa, las

Operaciones con clase

4.5.1. Clase Interseccin

La clase interseccin es aquella que est formada elementos

comunes de ambas clases (A y B). Se representa grficamente
sombreando la zona de los elementos en comn,
simblicamente con una U invertida .
Conjunto: A B

18

4.5.2. Clase diferencia

Es la clase constituida por los elementos que pertenecen a A y

no pertenecen a B.
Se representa grficamente sombreando la zona en que los
elementos de A no son de B y simblicamente con el signo -.
Conjunto: A-B

4.5.3. Clase complementaria

La clase complemento de A es la clase formada por todos los

elementos que no pertenecen a A. Por ejemplo, la clase
complemento de la clase de lo dulce, es la clase de lo agrio de
lo salado y lo amargo. El smbolo del complemento es _ que
se coloca encima de la letra de la clase en referencia.

19

4.5.4. Clase unin

La clase unin es la que est formada por la suma de dos

clases A y B ,es la clase formada por los elementos que
pertenecen a ambas clases.
Se representa grficamente sombreando ambos crculos y
simblicamente con una .
Conjunto: A B

20