Académique Documents
Professionnel Documents
Culture Documents
Ejemplo
Por ejemplo
SON PROPOSICIONES NO SON PROPOSICIONES
El 2 es un nmero primo. Pare inmediatamente!
25 es divisible entre 3 . 15 y 18 tienen la misma
6 + 5 = 10 . cantidad de divisores?.
El aula A1-205 est en el 2do En realidad, a qu se refiere?.
piso Lvalo.
El sol es una estrella Qu hermosos son tus ojos !
Manuel saco 20 en llover maana?
matemtica Haz esto por favor
Los problemas de matemtica
son fciles En el Per se ha llegado a niveles de
corrupcin de alta nocividad social;
Resuelva proposiciones
Cules de los siguientes enunciados son proposiciones?
2) 2 es divisor de 15.
5) x + 3 es un entero positivo.
6) Tranquilcese.
Ejemplos:
r: El 5 es un entero par
Ejemplos:
Enunciado abierto
Enunciado abierto
Ejemplos:
Enunciado abierto
Proposicin
(V)
Enunciado abierto
Proposicin
(F)
Clases de proposiciones
1) Simple Llamadas tambin atnica, o elementales, son remplazadas,
por una sola variable proposicional
Ejemplos:
El ro Rmac es llamado El Hablador p
Ejemplos
Las gallinas no tienen cuatro patas. No p
1.1 Simple : Usa la partcula: No, jams, nunca, ni sub, infra, des, etc.
Cambia el valor de verdad de una proposicin simple.
Ejemplos:
Ejemplo
falsa, p es verdadera.
La tabla de verdad
p p
V F
F V
Notacin
Las proposiciones se combinan mediante conectivos,
Ejemplo
Ejemplo
r es la proposicin compuesta p y q
Ejemplo:
Sea p: 2 divide a 68
q: 2 divide a 25.
p q : 2 es divisor de 68 y de 25.
Ejemplo:
Juan tiene diez aos tambin Elizabeth
Ejemplo:
Algunos han sido grandes otros han conseguido la grandeza
a otros les ha sido impuesta.
Ejemplo:
Tabla de Verdad
p q pq
V V V
V F F
F V F
F F F
3. LA DISYUNCIN (pq)
3.1 Disyuncin Dbil () O inclusiva vincula dos o mas
proposiciones mediante el conectivo o
Ejemplo:
La solucin de (x2).(y+2) = 0 es x = 2 o y = -2.
p q : 3 divide a 6 a 7
p q pq
V V V
V F V
F V V
F F F
3.2 Disyuncin Fuerte ( )
O exclusiva vincula dos proposiciones mediante el
conectivo o o .
Ejemplo :
O Juan arregla su cuarto o estudia p q
O ests sano o ests enfermos. P q
pq
Hiptesis Tesis
Antecedente Consecuente
Premisa Conclusin
Ejemplo:
Si estudio entonces apruebo. pq
Siempre que p, q
Dado que p , q
p por lo tanto q
p es suficiente para q
p luego q
p implica q
P se concluye q
P en consecuencia q
p as que q
Si p, q
p slo si q
q es necesaria para p
q se deduce de p
Ejemplo:
p: Los polvos de jardn contienen veneno
q: Los polvos de jardn son de colores brillantes.
veneno.
Tambin hay proposiciones donde el orden no es normal, es decir la
proposicin condicional est invertida y por lo tanto hay necesidad de
ordenarla.
Ejemplo:
Apruebo el curso si estudio
Ordenando
Ordenando
p ya que q
p pues q
de q.
Tabla de es falsa, nicamente, cuando el antecedente es
La implicacin
verdadero y el consecuente es falso. En este caso, a pesar de
verdad
estar dadas las condiciones, no se cumple la promesa.
Tabla de verdad
p q pq
V V V
V F F
F V V
F F V
Ejemplo:
p: La respuesta automtica se puede enviar.
p q :
q p :
q p :
p q:
a) If 2 + 2 = 4 then x:=x + 1
x = ??
Respuesta:
a) x = 2 c) x = 2
b) x = 1 d) x = 2
5. La Bicondicional ( p q)
Establece una relacin de doble dependencia entre las
proposiciones por
Ejemplo
Puedes titularte si y solo si ests expedito
q : 24 es divisible por 2.
p q p q
V V V
V F F
F V F
F F V
6. La Binegacin
Que vincula a dos proposiciones mediante no y no .
Ni ni ,
Ejemplo: