Está en la página 1de 79
Cálculo proposicional (introducción) Matemáticas Elementales. Prof. Pedro García Juárez Otoño 2015.
Cálculo proposicional (introducción)
Cálculo
proposicional
(introducción)
Matemáticas Elementales. Prof. Pedro García Juárez Otoño 2015.
Matemáticas Elementales.
Prof. Pedro García Juárez
Otoño 2015.
Enunciados Enunciado : Expresión lingüística que hace un pensamiento completo. Clasificación 1. Interrogativos 2.
Enunciados
Enunciados

Enunciado : Expresión

lingüística que hace un pensamiento completo.

Clasificación

1. Interrogativos

2. Imperativos

3. Declarativos

Enunciados Declarativos Son aquellos a los que se les puede asignar un valor de verdad
Enunciados Declarativos
Enunciados Declarativos

Son aquellos a los que se les

puede asignar un valor de verdad

(verdadero o falso.

Enunciados declarativos ------ Proposiciones lógicas

Cálculo Proposicional Proposición Lógica: Es un enunciado declarativo que es verdadera o falsa, pero no
Cálculo Proposicional
Cálculo Proposicional

Proposición Lógica: Es un enunciado declarativo que es verdadera o falsa, pero no ambas.

1. Afirmaciones

a) Simples (no hay forma en descomponerlas en forma mas sencillas). p, q, r, …

b) Compuestas: se forman a partir de

afirmaciones simples. (conectivas)

Los conectivo más comunes son : • El negador, • El conjuntor, • El disyuntor,

Los conectivo más comunes son :

El negador, El conjuntor,

El disyuntor,

El implicador El doble implicador

  p No p, no es cierto que p, Negación no es el caso
  p No p, no es cierto que p, Negación no es el caso
p
No p,
no es cierto que p,
Negación
no es el caso que p,
es falso que p,
excepto p.
p
y q,
p
q
p
pero q,
Conjunción
p
no obstante q,
p
sin embargo q
p  q
p o q
Disyunción
Al menos p o q
p
 q
Condicional
p
 q
Bicondicional
Formas en las que se puede leer una implicación p  q Si p entonces
Formas en las que se puede leer una implicación
Formas en las que se puede
leer una implicación

p q

Si p entonces q q es consecuencias de p Mientras que p, q p implica
Si p entonces q
q es consecuencias de p
Mientras que p, q
p implica q
q, si p
Si p, q
q, sólo si p
No p a menos que q
P es suficiente para que q
q es necesario para p.
p  q Doble implicación  P si y sólo si q  P si
p  q Doble implicación  P si y sólo si q  P si
p  q
Doble implicación
 P si y sólo si q
 P si solamente Q
 P implica Q y Q implica P
 P es necesario y suficiente para
Q.
 Basta que No P o Q y Q es
necesario para que P.
 No P o Q y No Q o P.
Jerarquía de las conectivos.  Un conectivo afecta a las letras proposicionales inmediatas o a
Jerarquía de las conectivos.  Un conectivo afecta a las letras proposicionales inmediatas o a
Jerarquía de las conectivos.
 Un conectivo afecta a las letras
proposicionales inmediatas o a las
formas enunciativas inmediatas a
ella que están entre paréntesis.
 Reglas de precedencia.
 Nivel 1  Nivel 2 , Nivel 3
Nivel 1

Nivel 2
,
Nivel 3
Formalización ~ Símbolos Formas enunciativas

Formalización ~ Símbolos

Formas

enunciativas

Traducción del lenguaje natural al lenguaje formal.  Identificación de enunciados simples y las conectivas.
Traducción del lenguaje natural al lenguaje formal.  Identificación de enunciados simples y las conectivas.
Traducción del lenguaje natural
al lenguaje formal.
 Identificación de enunciados
simples y las conectivas.
 Asignación de una letra enunciativa a cada uno de los enunciados identificados y la
 Asignación
de
una letra
enunciativa a cada uno de los
enunciados identificados y la
aplicación de escritura de las
formas enunciativas.
Ejercicios de formalización Formalice los siguientes enunciados en la lógica de proposiciones. Haga explícito el
Ejercicios de formalización
Ejercicios de formalización

Formalice los siguientes enunciados en la

lógica de proposiciones. Haga explícito el vocabulario empleado en cada caso e indique el conector principal de la forma

enunciativa resultante.

Al menos Juan o Pedro llegaron a tiempo, pero María se retrasó.

Al menos Juan o Pedro llegaron a tiempo , pero María se retrasó . P:

Al menos Juan o Pedro llegaron a tiempo, pero María se retrasó.

P: Juan llega a tiempo q: Pedro llega a tiempo r: María llega a tiempo

p  r

q

 La buena marcha de las condición necesaria y suficiente para que aumentase su cuenta

La buena

marcha

de

las

condición

necesaria y suficiente

para que aumentase su cuenta de resultados.

fue

empresas

p: La empresa funciona bien q: La empresa obtiene buenos resultados

p q

Si salgo, entonces hablamos sólo si te veo. Si te veo y comemos juntos solucionaremos

Si salgo, entonces hablamos sólo si te

veo. Si te veo y comemos juntos

solucionaremos el problema. Estaremos contentos a menos que comamos juntos

y no solucionemos el problema. Por

tanto, si salgo entonces si hablamos,

estaremos contentos.

Si salgo, entonces hablamos sólo si te veo.

P: Yo salgo.

q: Nosotros hablamos. r: Yo te veo

p r q

Si te veo y comemos juntos, solucionaremos el problema. r: Yo te veo s: Comemos

Si te veo y comemos juntos, solucionaremos el problema.

r: Yo te veo s: Comemos juntos

t: Solucionamos el problema

r s t

Estaremos contentos a menos que comamos juntos y no solucionemos el problema No p a

Estaremos contentos a menos que comamos juntos y no solucionemos el problema

No p a menos que q

s: Comemos juntos

t: Solucionamos el problema U: estamos contentos

u s t

Si salgo, entonces hablamos sólo si te veo. Si te veo y comemos juntos solucionaremos

Si salgo, entonces hablamos sólo si te

veo. Si te veo y comemos juntos

solucionaremos el problema. Estaremos

contentos a menos que comamos juntos

y no solucionemos el problema. Por

tanto, si salgo entonces si hablamos, estaremos contentos.

p

r

q

r

s t

u s  t

p

q

u

Si un número entero es primo , no es compuesto, aun que es divisible por

Si un número entero es primo, no es compuesto, aun que es

divisible por la unidad y,

consiguientemente, también es divisible por números primos.

p: M es primo. q: M es compuesto.

r: M es divisible por la unidad.

s: M es divisible por números primos.

Tablas de Verdad Las tablas de verdad son un esquema que muestran cómo los valores
Tablas de Verdad
Tablas de Verdad

Las tablas de verdad son un esquema que

muestran cómo los valores de verdad de enunciados compuestos (moleculares)

dependen de los valores de verdad de los

enunciados simples (atómicos) y de los

conectivos lógicos empelados.

Indican si un enunciado compuesto es verdadero o falso, si se conocen los valores de verdad de los enunciado simples que lo conforman

Tablas de Verdad Principio de bivalencia: Todo enunciado es verdadero o falso, pero no ambos.
Tablas de Verdad
Tablas de Verdad

Principio de bivalencia: Todo enunciado es

verdadero o falso, pero no ambos.

p p v f f v
p
p
v
f
f
v
Tablas de Verdad p q p  q v v v f f f v
Tablas de Verdad
Tablas de Verdad

p

q

p q

v
v
v
v
v
v
f
f
f
f
f
f
v
v
f
f
v
v
f
f
f
f
f
f
Tablas de Verdad p q  p q v v f f v f v
Tablas de Verdad
Tablas de Verdad

p

q

p q

Tablas de Verdad p q  p q v v f f v f v f
Tablas de Verdad p q  p q v v f f v f v f

v

v
v
f
f
f
f

v

f
f
v
v
f
f
v
v
v
v
v
v
f
f
Tablas de Verdad p q p  q v v f f v f v
Tablas de Verdad
Tablas de Verdad

p

q

p

q

Tablas de Verdad p q p  q v v f f v f v f
Tablas de Verdad p q p  q v v f f v f v f

v

v
v
f
f
f
f

v

f
f
v
v
f
f
v
v
f
f
V
V
v
v
Tablas de Verdad p q p  q v v v f f f v
Tablas de Verdad
Tablas de Verdad

p

q

p q

v
v
v
v
v
v
f
f
f
f
f
f
v
v
f
f
v
v
f
f
f
f
v
v
¿Cómo construir una tabla de Verdad? 1) Colocar las combinaciones de valores de verdad de
¿Cómo construir una tabla de Verdad?
¿Cómo construir una tabla de
Verdad?

1) Colocar las combinaciones de valores de verdad de bajo

de cada variable.

El total de combinaciones de valores de verdad dependen directamente del número de las letras enunciativas que definen a la forma enunciativa.

Si la forma enunciativa está compuesta por 5 letras

la

enunciativas,

construcción de la tabla de verdad es de 2 5

el

total

de

combinaciones

para

2) Transformar los valores de verdad, tomando en cuenta la

negación (si los hay).

3) Calcular los valores de verdad, tomando en cuenta los conectivos de mayor jerarquía.

Ejemplo  p r  s q r  1. Proposiciones: p, q, r, s
Ejemplo  p r  s q r 
Ejemplo
p r  s q r 
Ejemplo  p r  s q r  1. Proposiciones: p, q, r, s 2.

1. Proposiciones: p, q, r, s

2. Total de combinaciones:

2 4 =16

p q r S v v v v v v v f v v f
p
q
r
S
v
v
v
v
v
v
v
f
v
v
f
v
v
v
f
f
v
f
v
v
v
f
v
f
v
f
f
v
v
f
f
f
f
v
v
v
f
v
v
f
f
v
f
v
f
v
f
f
f
f
v
v
f
f
v
f
f
f
f
v
f
f
f
f
r  r  s   p r  s  q  r
r
r
 s
p r  s

q
 r

p r s
q
r

p
q
r
s
v
v
v
v
F
v
v
v
f
F
v
v
f
v
V
v
v
f
f
V
v
f
v
v
F
v
f
v
f
F
v
f
f
v
V
v
f
f
f
V
f
v
v
v
F
f
v
v
f
F
f
v
f
v
V
f
v
f
f
V
f
f
v
v
F
f
f
v
f
F
f
f
f
v
V
f
f
f
f
V
Suponiendo que p es verdadera,q falsa, y r verdadera,encuentre el valor de verdad de :

Suponiendo que p es verdadera,q falsa, y r verdadera,encuentre

el valor de verdad de :

a)  

p

q

r

b)  

p

q

r

c)p

(q

r)

Escriba e n forma simbólica de los siguientes enunciados

a) María será buena estudiante si estudia mucho

b)Juan tomará cálculo sólo si pasa matemática s elementales

c) Cuando cantas, me duelen los oidos.

d)Una condición necesaria para que los cachorros ganen la serie

mundial e s que contraten a un pitcher suplente diestro.

e)Una condición suficiente para que María visite Francia e s

ir a la Torre Eiffel

p q p  q v v v v f f f v v f
p
q
p  q
v
v
v
v
f
f
f
v
v
f
f
v

p q

q es necesario para p.
q es necesario para p.

Una condición necesaria es sólo eso: una condición

que se necesita para lograr un resultado particular. La condición no garantiza el resultado, pero si no se cumple, el resultado no se logrará.

Una condición necesaria para que los cachorros ganen la serie mundial es que contraten a un pitcher suplente diestro.

mundial es que contraten a un pitcher suplente diestro. p es suficiente para que q Una

p es suficiente para que q Una condición suficiente es una condición que basta

para garantizar un resultado particular. Si la condición

no se cumple, el resultado puede lograrse de otra

forma o tal vez no se logre; pero si la condición se cumple, el resultado está garantizado.

Una condición suficiente para que Maríavisite Francia es ir a laTorre Eiffel

Clasificación de Formas enunciativas  Tautología (F. E. Válida). Si toma valor de verdad “V”,
Clasificación de Formas enunciativas
Clasificación de Formas
enunciativas
 Tautología (F. E. Válida). Si toma valor de verdad “V”, para toda valoración.
 Tautología (F. E. Válida). Si toma valor de
verdad “V”, para toda valoración.
 Contradicción (Insatisfactible). Si toma valor de verdad “F”, para toda valoración.
 Contradicción
(Insatisfactible).
Si
toma
valor de verdad “F”, para toda valoración.
 Contingencia (Satisfactible). Si toma valores de verdad “V” para unas valoraciones y “F” para
 Contingencia (Satisfactible). Si toma
valores de verdad “V” para unas
valoraciones y “F” para otras.
Supongase que P y Q están formadas por las proposicio nes p S de cualquier

Supongase que P y Q están formadas por las proposicio nes p

S

de cualquier valor de verdad de p deras o ambas falsas

p

Q), simpre que, a partir

1

,

2

,

,

p

n

.

e dice que P y Q son lógicament e equivalentes (P

1

,

p

2

,

,

p

n , o bien P y Q son ambas verda-

P Q

Es una TAUTOLOGÍA

¿Para qué nos sirve saber si dos proposiciones lógicas son equivalentes o no? 1. Por

¿Para qué nos sirve saber si dos proposiciones lógicas son equivalentes o no?

1. Por que permiten formularlas de maneras distintas

2. Cuando un lenguaje de programación no maneje algunos conectivos.

3. Para la construcción de nuevas proposiciones con el

mismos valor de verdad o bien un valor determinado

4. Para realizar una sustitución y no afectar el valor de verdad.

5. Mediante las equivalencias lógicas podemos determinar

el valor de verdad de otra fórmula.

6. Reducir el tamaño (ó ampliar) de alguna expresión, según sea el caso.

 p  p Ley de la doble negación   q )   q

p p

Ley de la doble negación

 

q

)

 

q

( p   ( p

q

)

p q

p  

p

q

 

p

q

p q

q

 

p

p ( q

r )

p

p

(

q

r

)

p

Leyes de De Morgan

Leyes conmutativas

q

r

q

r

Leyes asociativas

( p q ) p q

Negación de una implicación

p q ( p q)( q p )

Definición de la doble implicación

p q q p

Contra recíproca

 p  p   q q r      

p

p

q

q

r

r p

p q

q

r

p r

p

Leyes distributivas

p

p

p

p

p

p

p

C

p

p

T

p

p

 

p

T

p

 

p

C

p T

T

p

C C

 

p

p

q

p

p

p q

p

Leyes idempotentes

Leyes de neutro

Leyes inversas

Leyes de dominación

Leyes de absorción

Demostración por leyes de equivalencia      p  q  

Demostración por leyes de equivalencia

p q

r q q r

 

 p q r q  p q r q

 p q

r q p q r q

p q r q p q r q

p q

r q p q q r

p q q r p q q

r

pq q r q r

    p  q       r q



p

q

  

r

q

p

p

q

q

r

r

q



q

 

p

q

r

q

 

p

q

q

r

p

q

q

r

q

 

r

  p    q  p  q    

p

 

q

p



q

 

q

p

p

C

 

p

q

q

 q q

q

p q p q q p q

 ( p  q )      p q  

(

p

q

)

  

p

q

 

q





(

(

(

p

p

p

q

q

q

)

)

)

    p q

q

   p

q

   p

q

  

q

T

q

 



(

p

q

)

  

q

p



(

p

q

)



(

q

p

)



p

(

q

)

(

q

p

)



q

(

p

)

(

p

q

)

 

q

p

p

q





q

p

 p  q      q  r  q 

p

q

  

q

r



q

p

q

 q

 

 

p

q

 q

 q

 

p q

 

q

p

  

q

  

q

p

C

q

 

q

p

q

 

p

Utilizando leyes de equivalencias demuestre que 1) 2) 3) p    p 

Utilizando leyes de equivalencias demuestre que

1)

2)

3)

p

 

p

p

q

p

p

    

q

p

q

r

 

p

q

p

 

q

p

 

q

r

p

r

q

p  q ¿Qué valor de verdad tiene?  p  p  ( p

p

q

¿Qué valor de verdad tiene?

p p

( p q )

¿Qué valor de verdad tiene?

¿Qué valor de verdad tiene?

( p q ) p q

¿Qué valor de verdad tiene?

( p q )

( p q ) p q

p q

¿Qué valor de verdad tiene?

¿Qué valor de verdad tiene?

¿Qué valor de verdad tiene?

s i p q

es verdadera

¿que valor de verdad tiene

q?

 

p

Definición ( Forma Argumentativ a o Argumento ) Una forma argumentativa es una sucesión finita

Definición (Forma Argumentativa o Argumento ) Una

forma argumentativa es una sucesión finita de formas enunciativas, de las cuales la última se considera la conclusión y al resto premisas

A A

1

,

2

Premisas

,

A A

n

,

A

1

A

2

A

n

se considera la conclusión y al resto premisas A A 1 , 2 Premisas , 

A

Conclusión

Una forma argumentativa no es válida , si existe una valoración tal que todas sus

Una forma argumentativa no es válida, si existe una valoración tal que todas sus premisas toman el valor V y su conclusión el valor F.

Para una

V

valoración

A

1

A

2

A

n

A

F

Si no existe, tal valoración, se dirá que la forma argumentativa es válida.

p   q  r  r   s t   u

p

q r

r

 

s

t

 

u

s  t

p q

u

Consecuencia lógica  A , A   , , A  A 1 2
Consecuencia lógica
Consecuencia lógica
 A , A   , , A  A 1 2 n
 A , A 
,
, A
A
1
2
n

A es consecuencia lógica de Г

V ( A  v ) i A  i
V
(
A  v
)
i
A 
i

Implica

V ( A v

)

Premisas verdadera obligan a

conclusión verdadera

A Es consecuencia lógica de    A , A  1 2 ,

A Es consecuencia lógica de

  A , A

1

2

,

A

1

Si y sólo si

A

2

A A

n

Es una tautología

, A

n

p  r t  q s  s t    u u

p

r

t

q

s

 s

 s

t

 

u

u

 p

p

q r

r

s

s

  q

p

Reglas de inferencia p p  q  q p q   q r
Reglas de inferencia
Reglas de inferencia

p

p

q

q

p

q

q

r

 

p

r

Modus Ponens

Ley del silogismos Hipotético

p  q  q  p p q  p  q Modus Tollens

p

q

q

 p

p

q

p

q

Modus Tollens

Regla de la conjunción

p  q  p  q  p  C p Regla del silogismo

p

q

p

q

p

C

p

Regla del silogismo disyuntivo

Regla de la contradicción

p  q  p p  p  q Simplifica ción Conjuntiva Aplificación Disyuntiva

p

q

p

p

p

q

Simplifica ción Conjuntiva

Aplificación Disyuntiva

p  q p   q  r     r    

p

q

p

q

r

 

r

 
 

p

r

q

r

p

q

r

Regla de la demostraci ón condiciona l

Regla demostraci ón por casos

p  q r  s p  r q   s p r

p

q

r

s

p

r

q

 

s

p

r

q

s

 

q

s

 p  r

Regla del dilema constructi vo

Lema del dilema destructivo

Cuantificadores
Cuantificadores
Cuantificadores
Cuantificadores
Cuantificadores
Existen enunciandos los cuales no se pueden simbolizar, utilizando las herramientas del cálculo proposicional. Todos

Existen enunciandos los cuales no se pueden simbolizar, utilizando las herramientas del cálculo proposicional.

Todos los seres Humanos son Mortales

Juan es un ser humano

Juan es mortal

p :todos los seres humanos son mortales q : Juan es un ser humano r : Juan es mortal

p

q

r

Función Proposicional o Predicado Sea P(x) una oración que incluye la variable “x” , Sea
Función Proposicional o Predicado
Función Proposicional
o Predicado

Sea P(x) una oración que incluye la variable “x” ,

Sea D una colección. P(x) se llama función proposicional (respecto a D)

Si para cada elemento de la colección D, P(x) es una proposición lógica.

D se llama Universo de Discurso de P(x)

Ejemplo

P(n): n es un entero par

D=Los números enteros

Más ejemplos de predicados p ( n ) : n 2  2 n es
Más ejemplos de predicados
Más ejemplos de predicados

p ( n ) : n 2 2 n

es un entero impar

D1: Números Enteros

q

(

2

x ) : x x 6

0

D2: Números Reales

EL beisbolista bateó mas de .300 en 2003 D3: Conjunto de beisbolistas

Proposiciones Cuantificadas Universalmente Hacen referencia a todos los elementos del universo de discurso Todos los

Proposiciones Cuantificadas Universalmente

Hacen referencia a todos los elementos del universo de discurso

Todos los humanos son mortales

x D : p ( x )

Proposiciones Cuantificadas existencialmente

Hacen referencia a una parte del universo de discurso

Existen números pares

x D : q ( x )

 x  D : p ( x ) Cuantificador Predicado Universo de Discurso 

x D : p ( x )

Cuantificador

 x  D : p ( x ) Cuantificador Predicado Universo de Discurso  x

Predicado

Universo de Discurso

x D : q ( x )

Todos los estudiantes de la FCC toman el curso de Matemáticas Elementales. C uantificad or

Todos los estudiantes de la FCC toman el curso de Matemáticas Elementales.

C uantificad or :

D : Los estudiante s de la FCC.

P(x) : x toma el curso de Matemáticas Elementales

: x toma el curso de Matemáticas Elementales

x

D

: P(x)

x

D

Existen personas en México que ya tienen el nuevo IPAD. Cuantifica dor : Exitencial :

Existen personas en México que ya tienen el nuevo IPAD.

Cuantifica dor : Exitencial :

D : Universo : Los Méxicanos

p(y) : y tiene el nuevo IPAD

y

D : y tiene el nuevo IPAD

y

D : p(y)

Toda las páginas que están en Internet son enciclopédicas Cuantifica dor : Universal : 

Toda las páginas que están en Internet son enciclopédicas

Cuantifica dor : Universal :

Universo de Discurso : Páginas de Internet : D

p(x) : x es enciclopéd ica

y

D : y es enciclopéd ica

y

D : p(y)

En Programación existen diferentes tipos de Lenguaje Cuantifica dor : Existencia l :  Universos

En Programación existen diferentes tipos de Lenguaje

Cuantifica dor : Existencia l :

Universos de Discurso : Lenguajes de Programación : L

p(x, y) : x es diferente a y

L : x es diferente a y

x, y

L : p(x, y)

x, y

Es verdadera E s f a l s a  x  D : p

Es verdadera

Es falsa

x D : p ( x )

Para cada remplazo, de x Existe al menos un elemento del en el universo universo
Para
cada
remplazo, de x
Existe al menos
un elemento del
en el universo
universo que hace
de
discurso,
falsa a p(x)
p(x)
es
verdadera
Existe al menos Para cada un elemento del remplazo, de x en universo de discurso
Existe al menos
Para cada
un elemento del
remplazo, de x en
universo de
discurso que
hace q(x) es
verdadera
el universo de
discurso, q(x) es
falsa

x D : q ( x )

 x  D : p ( x )  x  D : q

x D : p ( x )

x D : q ( x )

Los predicados

p ( x )

Compuestos

p

(

x

):

 

:

:

p

1

(

x

)

p

p

1

1

(

(

x

)

p

2

(

x

)

x v p

2

(

x

)

)

: p

: p

) p
1

( x

2

) p
1

( x

2

(

x

)

(

x

)

q

(

x

) :

 

:

:

:

:

q ( x )

q

q

q

1

1

(

(

1

(

x )

x

) q

)

x Vq

2

2

(

(

x

x

)

)

q

q

1

1

( x ) q

2

( x ) q

2

(

x

)

(

x

)

 x  U :  p ( x )  q ( x )

x U :p ( x) q ( x)

x U :q( x) p ( x)

x U :q ( x ) p ( x )

x U :p ( x ) q ( x )

Recíproca

Contra recíproca

Inversa

Equivalencias e implicaciones lógicas para proposiciones cuantificadas de una variable.   x  x

Equivalencias e implicaciones lógicas para proposiciones cuantificadas de una variable.

 

x

x

x

x

U

U

:

:

U :

U :

p

(

x

)

q

(

x

)

 

x

U

:

p

(

x

)

p

(

x

)

q

(

x

)

 

x

U

:

p

(

x

)

p

(

x

)

q

(

p

(

x

)  x

x

)

 x

U

:

q

(

x

U

:

p

(

x

)

 

x

 x

U

:

 x

U

:

)

 

x

U

:

p

(

x

U

)

q

(

x

)

q

(

x

)

:

q

q

(

(

x

)

x

)

Otras equivalencias lógicas  x  U :  p ( x )  

Otras equivalencias lógicas

x U :p ( x)q ( x)r ( x)x U :p ( x)q ( x) r ( x)

x U :p ( x ) x U : p ( x )

x U :p ( x)q ( x)x U :p ( x)q ( x)

x U :p ( x)q ( x)x U :p ( x)q ( x)

Reglas para negar proposiciones cuantificadas    x  U : p ( x

Reglas para negar proposiciones

cuantificadas

x U : p ( x)x U :p ( x )

x U : p ( x)x U :p ( x )

 x  U ,  y  U : p ( x , y

x U ,y U : p ( x, y ) y , x U : p ( x, y )

x, y U : p ( x, y ) y U ,x U : p ( x, y )

x , y , z U : p ( x , y , z

)



U p x y z

:

,

,

(

)

(

)

y x z

,

,

 x z y U p x y z

,

,

:

,

,

Cuando el universo de discurso, esta CLARO en la notación simbólica, puede omitirse  x

Cuando el universo de discurso, esta CLARO en la notación simbólica, puede omitirse

xy : p( x, y )

Aquí debemos entender que se trata de un mismo universo

Y la expresión se lee de izquierda a derecha

U Números Enteros

p

:

(

) :

x y x y

,

17

xy : p( x, y )

Para cada entero x existe un entero y tal que x y 17

Ejercicios de traducción a ( x ) : todos los angulos internos de x son
Ejercicios de traducción a ( x ) : todos los angulos internos de x son
Ejercicios de traducción
a
(
x
) :
todos los angulos internos de x son iguales

e(x) : x e s un triángulo equilatero

h(x) : todos los lados de x son iguales

i(x) : x e s un triangulo isósceles

p

(

x

) :

q

(

x

) :

x

x

o

e s un triángulo interno mayor que 180

e s un cuadriláte r o

r(x) : x e s un rectángulo

s(x) : x e s un cuadrado

t(x) : x e s un triángulo

U :Polígonos contreso cuatro lados

 x : t ( x )  p ( x )    x

x

:

t

(

x

)

p

(

x

)

 

x

:

r

(

x

)

 s ( x

)

x

 

:

h

(

x

)

q

(

x

)

s

(

x

)

x

:

s

(

x

)

a

(

x

)

h

(

x

)

x

:

i

(

x

)

e

(

x

)

x

:

q

(

x

)



r

(

x

)

El grupo de cuántica del profesor Olmedo está formado por 29 estudiantes, de los cuales

El grupo de cuántica del profesor Olmedo está formado por

29 estudiantes, de los cuales exactamente.

1.

Tres estudiantes de física están en su penúltimo año

2.

Dos estudiantes de ingeniería eléctrica están en su último año

3.

Cuatro estudiantes de matemáticas están en su

penúltimo año

4.

Doce estudiantes de física están en su último año

5.

Cuatro estudiantes de ingeniería eléctrica están es su último año

6.

Dos estudiantes de ingeniería eléctrica son de

posgrado

7.

Dos estudiantes de matemáticas son de posgrado

Considere las siguientes proposiciones abiertas c(x): El estudiante x está en la clase. j(x): el

Considere las siguientes proposiciones abiertas

c(x): El estudiante x está en la clase.

j(x): el estudiante x está en su penúltimo año.

s(x): el estudiante x está en su último año

g(x): el estudiante x es de posgrado.

p(x):el estudiante x esta en la especialidad de física

e(x): el estudiante x está en la especialidad de ingeniería

eléctrica.

m(x): el estudiante x está en la especialidad de matemátias

Escriba cada una de las proposiciones en términos de

cuantificadores y los predicados anteriores

• En la clase existe un estudiante de matemáticas que está en su penúltimo año.

En la clase existe un estudiante de matemáticas que

está en su penúltimo año.

En la clase existe un estudiante del último año que no está en la especialidad de matemáticas.

Todo estudiante de la clase está en la especialidad de

matemáticas o física.

Ningún estudiante de posgrado en la clase está en la especialidad de física.

En la clase, todo estudiante del último año está en la

especialidad de física, o de ingeniería eléctrica.