Proyecto de Aula

Trabajo de Investigacin

Realizado por: Marco Vlesela

Michael Villa
Adrian Vizcano
Josu Yunga
Grupo: 6
Paralelo: 4

CUANTIFICADORES

Proposiciones.
Cuantificador universal.
Cuantificador existencial.
Negacin de cuantificadores.

Cuantificadores

Se entiende por cuantificadores a la lgica, de

las matemticas y de la teora de conjuntos, los
cuantificadores son smbolos que se emplean en
los mencionados contextos para poder sealar
cuantos o los tipos de elementos que integran
un conjunto dado y que cumplen con
determinada propiedad.

Existe una variedad de cuantificadores, aunque,

entre los ms utilizados son los: cuantificador
universal y cuantificador existencial.

Cuantificador universal
Se simboliza as: ,
es empleado con la
misin de establecer
que todos los
elementos de un
conjunto cumplen
con una propiedad
dada, esto se
expresa como:

Cuantificador existencial

Es usado para sealar

que existen uno o ms
elementos en el
conjunto en cuestin
que cumplen con una
determinada propiedad.

Ejemplos:

todas las hormigas son insectos"

para toda x, si x es hormiga entonces x es insecto que se puede
simbolizar de la manera siguiente:
(x)(HxIx)
donde Hx simboliza la expresin: " x es hormiga", e Ix simboliza la
expresin "x es insecto".
Solamente todas las personas de la cuidad de puyo dicen que existen los fantasmas.
Del enunciado anterior vamos a sacar dos predicados:
P(x):x es de la ciudad de puyo.
D(x):x dice que existen los fantasmas.
Esto se puede traducir:
Para todo x, si P(x) ==> D(x)
<<para toda persona, si es de la ciudad puyo, entonces dice que existen los fantasmas>>
Para todo x, si no P(x) ==> no D(x)
<<para toda persona, si no es del puyo, entonces no dice que existen los fantasmas>>

De todos los equipos de futbol, el equipo cinco lados venci a algunos.

Obtenemos predicados:
E(x):x es equipo del torneo
G(x): x fue derrotado por cinco lados
Esto se traduce como:
existe un x, tal que E(x) ==> G(x)
<<existe un equipo, tal que si es equipo del torneo, entonces fue derrotado por cinco lados>>

Expresar todos los gatos tienen cola en clculo de predicados.

Solucin:
Hallar primero el mbito del cuantificador universal, que es Si x esun gato, entonces x tiene cola y se define como
Gx x es un gato
Cx x tiene cola
(x) Gx Cx

Razonamiento
Se

define como las habilidades que

no se permiten analizar y resolver
problemas matemticos Al
razonamiento podemos expresarlo
de esta forma
P1 P2 Pn Q

Razonamiento Valido

Para que un razonamiento sea valido las proposiciones deben

implicar lgicamente la conclusin, es decir, un
razonamiento ser valido cuando
P1 P2 Pn Q

Entonces tambin podemos decir que un razonamiento es

vlido si
P1 P2 Pn Q es una
TAUTOLOGA

Por lo que concluimos, para que un razonamiento sea valido

existen dos condiciones
1. Comprobar que el condicional P1 P2 Pn Q es
una Tautologa.
2. Comprobar que P1 P2 Pn = Q

Falacia
Utilizamos

este trmino para

nombrar a un razonamiento que no
es vlido ya que este no cumple con
ninguna de las condiciones antes
mencionadas.

Tipos de razonamiento

Deductivo

Inductivo

Analgico

Deductivo
Este tipo de razonamiento nos dice que
la conclusin depender nicamente
de las premisas o proposiciones, es
decir, en este tipo no es necesario que
recuramos a la prctica o a la
experiencia.

Inductivo
En este tipo de razonamiento obtenemos la
conclusin a partir de datos particulares de
premisas o proposiciones, as podemos obtener la
conclusin de datos como la observacin repetida
de acontecimientos, objetos, caractersticas.

En este razonamiento para la conclusin

utilizamos el termino ms significativo de las
premisas, pero esto no quiere decir que la verdad
de las premisas determine la verdad de la
conclusin.

Analgico
En

este tipo de razonamientos se

trata de decir lo que se puede
reservar el futuro, esto no nos da un
resultado que sea matemticamente
seguro, es decir, que sea cierto en
un 100% sino probable. Tambin se
lo relaciona con el razonamiento
inductivo.

EJEMPLOS

 Encontrar

la validez del siguiente razonamiento:

El partido de Juan dura un tiempo determinado, todo partido de futbol tiene
inicio y fin, entonces todo partido que tenga un tiempo determinado tendr
inicio y fin.
Solucin
p: El partido de juan dura un tiempo determinado.
q: Todo partido tiene inicio y fin
r: Todo partido que tenga un tiempo determinado, tendr un inicio y un fin.
(p q) r
Valor de verdad de las premisas:
P
Q
R
(P

Q)

R
PV
V
V
V

V
V
QV
R V

El razonamiento es vlido.

 Estudiar

la validez del siguiente razonamiento:

Si Jaime se casa, entonces Daniela se lanza al ocano. Florinda se lanza al ocano
siempre y cuando Jaime no se haga cura. Por lo tanto, si Jaime se casa, entonces
no se hace cura.
Solucin comprobando que Q es una tautologa
p: Jaime se casa.
q: Daniela se tira al tren.
r: Jaime se hace cura.
El razonamiento escrito en forma simblica seria:
[(p q) (q r)] (p r)
Veamos si el razonamiento es vlido comprobando que es una tautologa.
(p q) (q r),
La conclusin, p r sea falsa.
Ahora bien, p r es falsa, si p es verdad y r es falso. Por otra parte, para que
(p q) (q r),
Sea verdad, han de serlo ambas proposiciones y al
ser falso r, q tambin ha de serlo, por lo tanto la tabla de verdad reducida, sera
P

[(P

Q)

R)]
V

(P

 Estudiar

la validez del siguiente razonamiento:

Si el conserje tena su escoba llena de sangre, entonces el mato al nio. La

escoba del conserje estaba completamente limpia. Por lo tanto, el conserje
es inocente.
Solucin
P: El conserje mato al nio.
Q : La Escoba del conserje estaba totalmente limpia

En forma simblica, el razonamiento puede representarse en la forma:

[(P Q) P] = Q Veamos si es una tautologa.
Una tabla de verdad seria:
P

P (P

Q)

Q
F

[(P

Q)

P
]

REGLAS DE INFERENCIA
La inferencia es la forma en la que obtenemos
conclusiones en base a datos y declaraciones
establecidas

INDUCTIVA
(de lo
particular a
lo general).

DEDUCTIVA
(de lo
general a lo
particular).

TRANSDUC
TIVA (de
particular a
particular o
de general a
general)

ABDUCTIVA
(Propone una
serie de
posibles
hiptesis
sobre un
hecho)

PRINCIPALES REGLAS DE
INFERENCIA
MODUS

PONENDO PONENS (PP)

(en latn, modo que afirmando
afirma)
Si A, entonces B
A
1:
Ejemplo
Por lo tanto, B
Si el caf tiene azcar, entonces es
dulce.
El caf tiene azcar.
Por lo tanto, es dulce.

 Otra

manera de presentar el modus

ponens con el condicional es:

Ejemplo 1
p q Si ocurre una ventisca, entonces
las hojas de los arboles caen (premisa)
p Ocurre una ventisca (premisa)
q Luego, las hojas de los arboles caen
(conclusin)

 MODUS

TOLLENDO TOLLENS (TT)

Tollendo tollens significa negando,
niego, y se refiere a una propiedad
inversa de los condicionales, a los
que nos referamos en primer lugar.
Ejemplo 1:
p q Si doy buenos exmenes, entonces
aprobar el ao escolar
q No di buenos exmenes
p Luego, no aprobar el ao escolar

 DOBLE

NEGACIN (DN)
p p
El esquema representa, p
doblemente negada equivale a p.
Siguiendo el esquema de una
inferencia por pasos, la
representaramos as:
p No ocurre que Ana no es una
estudiante
p Ana es una estudiante

Ejemplo 1:
p: es de da, luego:
~p: es de noche
~ (~p): no es de noche
Por lo tanto ~ (~p) = p

 ADJUNCIN

Y SIMPLIFICACIN
Adjuncin (A): Si disponemos de
dos enunciados afirmados como dos
premisas separadas, mediante la
adjuncin, podemos unirlos en una
sola premisa
utilizando el operador
Ejemplo
1:
p(conjuncin).
Jos es arquitecto
q Andrs es profesor
p q Jos es arquitecto y Andrs es
profesor

 Simplificacin

(S): obviamente, es
la operacin inversa. Si disponemos
de un enunciado formado por dos
miembros unidos por una
conjuncin, podemos hacer de los
dos miembros dos enunciados
Ejemplo
1: por separado.
afirmados
p q Jos es arquitecto y Andrs es
profesor
p Jos es arquitecto
p Andrs es profesor

 MODUS

TOLLENDO PONENS (TP)

la disyuncin, que se simboliza con
el operador V, representa una
eleccin entre dos enunciados.
Tollendo ponens (negando afirmo): si
uno de los miembros de una
disyuncin es negado, el otro
miembro queda automticamente
afirmado, ya que uno de los trminos
de la eleccin ha sido descartado.

Ejemplo 1:
p V q He ido al parque o me he ido a la
biblioteca
q No he ido al parque
p Por tanto, he ido a la biblioteca

 LEY

DE LA ADICIN (LA) Dado un

enunciado cualquiera, es posible
expresarlo como una eleccin
(disyuncin) acompaado por
cualquier
Ejemplo
1: otro enunciado.
b He comprado peras
a He comprado manzanas
a V b He comprado manzanas o he
comprado peras

 SILOGISMO

HIPOTTICO (SH)
Dados dos implicaciones, de las
cuales, el antecedente de la una sea
el consecuente de la otra (el mismo
enunciado), podemos construir una
nueva implicacin cuyo antecedente
sea el de aquella implicacin cuya
consecuencia sea el antecedente de
la otra implicacin, y cuyo
consecuente sea el de sta ltima,

Ejemplo 1:
p q Si David esta bailando, entonces
esta en una fiesta.
q r Si esta en una fiesta, entonces esta
conviviendo con otras personas
p r Si David esta bailando, entonces esta
conviviendo con otras personas

 SILOGISMO

DISYUNTIVO (DS) Dadas tres

premisas, dos de ellas implicaciones, y la
tercera una disyuncin cuyos miembros sean
los antecedentes de los condicionales,
podemos concluir en una nueva premisa en
forma de disyuncin, cuyos miembros seran
los consecuentes de las dos implicaciones.
Lgicamente, si planteamos una eleccin
entre dos causas, podemos plantear una
eleccin igualmente entre sus dos posibles
efectos, que es el sentido de esta regla.

Ejemplo 1:
p q Si hace sol, entonces los nios
salen al parque
r s Si hay viento, los nios volaran
cometas
p V r Hace sol o hay viento
q V s Los nios salen al parque o los
nios volaran cometas

 SIMPLIFICACIN

DISYUNTIVA
(SD) Si disponemos de dos premisas
que corresponden a dos
implicaciones con el mismo
consecuente, y sus antecedentes se
corresponden con los dos miembros
de una disyuncin, podemos concluir
con el consecuente de ambas
implicaciones.

Ejemplo 1:
p V q pelcula de accin o pelcula de
terror
p r Si veo una pelcula de accin,
entonces gasto
q r Si veo una pelcula de terror,
entonces gasto
r Luego, gasto

 LEY

CONMUTATIVA Esta ley, no es

vlida para la implicacin, pero s
para conjuncin y para la disyuncin.
Una conjuncin es afirmar que se
dan dos cosas a la vez, de modo que
el orden de sus elementos no cambia
este hecho.
p q q p p y q equivale a q
y p
p V q q V p p q equivale a q

 LEYES

DE MORGAN (DM)
Esta ley permite transformar una disyuncin
en una conjuncin, y viceversa, es decir, una
conjuncin en una disyuncin.
Cuando se pasa de una a otra, se cambian
los valores de afirmacin y negacin de los
trminos de la disyuncin/conjuncin as
como de la propia operacin en conjunto. ,
como podemos observar aqu:
p q p V q
(p V q) (p q)

 Silogismo
Se

conoce como silogismo a un

argumento compuesto por tres
proposiciones; de ellas, la ltima es
la que se deduce siempre de las
anteriores.

 el

modelo de silogismo est compuesto

por tres proposiciones que incluyen un
trmino medio (el cual es comn a la
dos premisas y se descarta en la
conclusin) y dos extremos . Uno de los
ejemplos ms usuales es el siguiente:
Todos los seres humanos son mortales
Aristteles es un ser humano
Por lo tanto, Aristteles es mortal.

Ejemplo de silogismo
Todos los peces tienen branquias.
Todas las truchas son peces.
Conclusin: Todas las truchas tienen
branquias.

Tipos de Silogismos
El

Silogismo Compuesto
En el silogismo compuesto, la
premisa mayor es una proposicin
compuesta, mientras que la premisa
menor es una proposicin categrica
(el tipo ms sencillo de proposicin).

 La

premisa menor o afirma (pone) o

niega (destruye) una de las partes
de la premisa mayor.

Ejemplo 1:
Si Carmen trabaja, entonces ganar dinero.
Carmen trabaja.
Entonces ganar dinero

 El

Silogismo Condicional Tiene

una proposicin condicional como
premisa mayor, y una proposicin
categrica como premisa menor.
Adems, su premisa menor es una
proposicin categrica. Tiene, como
toda argumentacin, un antecedente
y un consecuente.

Ejemplo 1:
1.Si salgo al cine ver una pelcula, entonces
si salgo al cine gastar dinero.
2. Si veo las noticias, entonces estar
informado.
Veo las noticias.
Entonces estar informado.

 El

Silogismo Disyuntivo En el
silogismo disyuntivo, la premisa
mayor es una proposicin disyuntiva.
La premisa menor o afirma o niega
una de las dos alternativas
expuestas en la proposicin
disyuntiva.

Ejemplo 1:
O el caf esta dulce, o esta amargo.
El caf esta dulce.
Entonces el caf no est amargo.

TEORIA DE CIRCUITOS LOGICOS

ALGEBRA DE BOOLE
El

algebra de Boole se basa tanto en

la teora de conjuntos como en la
lgica de enunciados, las dos
funcionan o sirven para poder definir
una estructura matemtica.

Definicin del algebra de

Boole
Si

en un conjunto B se pueden realizar

dos operaciones binarias las cuales son
+ y *, y una operacin unitaria -.
Para cualquier elemento a,b,c del
conjunto B debe cumplir los siguientes
axiomas:
Conmutatividad
Distributividad
Identidad
Complemento

Terminologa y
convenciones
Las

operaciones binarias son suma y

multiplicacin.
Existe la operacin con el complemento
del elemento.
El elemento 0 se denomina cero y es
elemento neutro nicamente en la
suma.
El elemento 1 se denomina unidad y es
elemento neutro nicamente en la
multiplicacin.

Dualidad
Principio

de

dualidad
El dual de
cualquier teorema
es igualmente un
teorema.

(1+a)*(0+b)=b
+(1*b)=b

Dualidad
Se intercambian las
operaciones + y *,
adems tambin los
elementos 0 y 1.

(0*a)

Teoremas basicos
Idempotencia
a + a= a

a * a= a

Acotamiento
a + 1= 1

Absorcin
a + (a*b)=
a

Asociatividad
(a+b)+c= a+
(b+c)

a * 0= 0
a * (a+b)=
a
(a*b)*c=
a*(b*c)

Teoremas adicionales

Sustitucin por la lgica de

enunciados

Circuitos lgicos
Los

circuitos lgicos son aquellos que

pueden tener una o varias entradas
pero exactamente una salida. Se
construyen con compuertas lgicas
las cuales son:

Compuerta OR

Compuertas AND

Compuertas NOT Compuertas NOR Y

NAND

Aplicacin de los circuitos

lgicos