miércoles, 16 de junio de 2010

PROPOSICIONES, CONJUNCIONES, DISYUNCIONES, IMPLICACIONES.

TEMARIO:


  • Forma de simbolizar una proposición.
  • Proposición simple.
  • Valor de verdad de una proposición.
  • Ejemplos.
  • Proposiciones compuestas y conectivos lógicos.
  • Negación de una proposición.
  • Conjunción.
  • Valor de verdad de la conjunción.
  • Disyunción.
  • Valor de verdad de una disyunción.
  • Disyunción exclusiva.
  • Implicación o condicional.
  • Valor de verdad de la implicación.
  • Equivalencia o bicondicional.
  • Valor de verdad de la equivalencia
  • Tablas de verdad.
  • Tautologías.
  • Contradicción.
  • Funciones proposicionales.
  • Proposiciones con cuantificadores.
  • Negación de proposiciones con cuantificaciones.
  1. PROPOSICIONES:

Son enunciados que en un contexto determinado o en una teoría se pueden calificar como verdaderas o falsas.
Para designar una proposición se utilizarían las letras minúsculas.

p, q , r, s

Ejemplo: 

a. p: El pentágono tiene 6 lados.
b. q: Colombia tiene dos mares.
c. r:¿Cuál es tu nombre?.
d. s: ¡Él lo hizo!
e: t: 3/4 de 12 es 9.
f. o: Estoy de acuerdo!Observación: Las opiniones, preguntas, órdenes y exclamaciones no son consideradas proposiciones.

Proposición SIMPLE:

Es aquella que se forma sin utilizar términos de enlace.
Ejemplo:      p: Hoy es jueves
                     q: 7 elevado a la 3=343 

Valor de verdad de una proposición, (V) O (F).

Se pueden calificar como verdaderas o falsas.
Ejemplo: -4 es mayor que -3 (F)
                  2*π*r es la longitud de la circunferencia (V)    
                 Hoy llueve en Medellín.
Para todas las personas que habitan en Medellín no tiene el mismo valor de verdad.

Ejercicio: Determine el valor de verdad de cada proposición simple.
  1. p: Los elefantes vuelan.
  2. q: Lina tiene 7 annos.
  3. r: Raíz cuadrada de -9 es un número real.
  4. 7 es factor de 84.
PROPOSICIONES COMPUESTAS Y CONECTIVOS LÓGICOS


Las proposiciones compuestas son aquellas que están formadas por dos o más proposiciones simples ligadas por un conector
  • Es un rectángulo si y sólo si tienen 4 ángulos rectos.
  • Viajamos de día o viajamos de noche.
  • Si el perímetro aumenta, entonces el área se duplica.
  • 8 es un número par y 8 es divisible por 2.
Los conectores y, o. entonces, si y sólo si, permiten unir dos preposiciones simples.












AXIOMAS: 
Son proposiciones que son verdaderas por definición.
Ejemplo: El todo es mayor que las partes
                 Dos cosas iguales a una tercera son iguales entre si.
                
El método deductivo permite partir de un conjunto de hipótesis y llegar a una conclusión.
En matemáticas, la deducción es un proceso concatenado de la forma:


Si A entonces B, si B entonces C, si C entonces D... hasta llegar a una conclusión.


TEOREMA: Es el conjunto de hipótesis mas la demostración, hasta llegar a una conclusión.


Ejercicios: Formar proposiciones compuestas, a partir de proposiciones simples.


  • Este mes me voy a trabajar.
  • Este mes me muero de hambre.
  • Vivo en Lima. 
  • Vivo en Madrid.
  • Estudio matemáticas.
  • Puedo ensenar matemáticas.
POSIBILIDADES LÓGICAS.

Una proposición simple p sólo tiene dos posibilidades, o es verdadera o es falsa.

Dos proposiciones Simples forman una compuesta






Tres proposiciones tendrán 2 elevado a la 3 =8


En general el número de proposiciones simples que se tienen es "n", entonces el número de posibilidades es 2 elevado a la n.


NEGACIÓN DE UNA PROPOSICIÓN


La negación es el conectivo lógico que permite cambiar el valor de verdad de una proposición.
Si p es verdadero (V)
Su negación ¬p es falsa (F)
¬p se lee no p.


Ejemplo: Negar las siguientes proposiciones simples:
p: Todos los números primos son pares.
q: No todos los triángulos son isóceles.
r: -15+18=7


Solución:
¬p: No todos los números primos son pares.
¬q: Todos los triángulos son isóceles.
¬r:-15+18+ 7

¿Cuál es el resultado de ¬(¬p)?
Observación: Si una proposición p es verdadera, su negación es falsa y viceversa.


LA CONJUNCIÓN (p ^ q) símbolo lógico ^.


La proposición p ^q es verdadera únicamente si p y q son verdaderas, los demás casos p y q es falsa.


Ejemlo: Juanita, podrás salir a la calle cuando arregles la cama y limpies los muebles.


TABLA DE VERDAD DE LA CONJUNCIÓN


LA DISYUNCIÓN
Símbolo gramatical: o
Símbolo lógico: v


La disyunción inclusiva es verdadera cuando al menos una de las proposiciones sea verdadera y es falsa cuando todas las proposiciones simples sean falsas.
Ejemplo: Juanita, te dejo salir a jugar cuando arregles la cama o sacudas el polvo.


TABLA DE VERDAD DE LA DISYUNCIÓN

DISYUNCIÓN EXCLUSIVA
La proposición p v  q cuando únicamente una de las proposiciones es verdadera y la otra falsa.
El número 3 o es divisor de 6 o divisor de 10.


TABLA DE VERDAD




v n
V
La proposición m es verdadera y la proposición n es falsa luego m v  n es verdadera.
Ejemplo: 18 es múltiplo de 6 ô 18 es múltiplo de 5.
p (V) ; q (F) por lo tanto p v  q es verdadera.


EL CONDICIONAL Y LA IMPLICACIÓN


Es una proposición compuesta por proposiciones simples unidas mediante el conectivo lógico:
"Si... entonces..."  que se simboliza =>. p=>q
p se denomina antecedente y q se llama consecuente.


VALOR DE VERDAD DE LA IMPLICACIÓN


La proposición p => q es falsa únicamente si el antecedente es verdadero y el consecuente es falso. En los demás casos es verdadera.


TABLA DE VERDAD

OBSERVACIÓN: Todo condicional no es una implicación.
Ejemplo: Si el mar es dulce entonces 3 es un número impar.
  1. Si estudias entonces irás al paseo.
  2. Si x+3=5, entonces x=2.
  3. Si ABC es un triángulo, entonces el ángulo A mas el ángulo B mas el ángulo C es igual a 180 grados.
  4. Si ha llovido entonces las calles están mojadas.
Cada uno de estos enunciados reciben el nombre de condicional.


BICONDICIONAL Y DOBLE IMPLICACIÓN


Forma gramatical: si y sólo si
Símbolo lógico: <=>


Ejemplo: x es un número par si y sólo si x es múltiplo de 2.
p: x es un número par.
q: x es múltiplo de 2.


p=>q ^q=>p.


VALOR DE VERDAD DE LA EQUIVALENCIA.


La proposición p <=> q es verdadera cuando ambas proposiciones son verdaderas o ambar proposiciones son falsas.


TABLA DE VERDAD

Ejemplo: r <=> s : A es un polígono de 4 lados si y sólo si A es un cuadrilátero.
r es verdadera, s es verdadera.
Nota cuando el condicional es verdadero se acostumbra a decir que las proposiciones que intervienen son equivalentes,

Ejemplos generales:

1. Sabemos que p es falsa, q es verdadera y r es falsa. ¿Cuál será el valor de verdad de la proposición:
q =>(p ^ r) ? = F
                                                                    .          .
                                                                    .          .
                                                                    .          .
                                                                   V   =>  F = F

Luego q =>(p ^ r) = F

2. Si el valor de verdad de la preposición p => ¬q es falso. ¿Cuál será el valor de verdad de ¬q ^ p?
q => ¬q
.
.
.
V   => F
Si q es verdadera, entonces ¬q es falsa
Si ¬p es falsa, entonces p es verdadera

¬q  ^  p

                                                                     F ^ V
                               
                                                                   F

Luego las proposiciones:

q=> ¬p <=> ¬q ^ p
     F        V        F

Ejercicios

Completar con F o V cada una de las siguientes proposiciones. Justificar la respuesta.

a) Se sabe que p ^q es verdadera, por lo tanto el valor de verdad de ¬p => q es ____________
b) Se sabe que ¬p => q es falsa. Por lo tanto el valor de verdad de p v ¬ q es ___________
c) Se sabe que ¬p v q es falsa. Por lo tanto, el valor de verdad de p <=> q es ___________
d) Se sabe que p es falsa y ¬p <=> q es verdadera. Por lo tanto, p => ¬q es ___________

VALOR DE VERDAD DEL BICONDICIONAL

Nos basaremos en el valor de verdad del condicional para poder determinar el valor de verdad del bicondicional.
Si (p <=> q) ^(q <=> p) es equivalente a p <=> q.
La proposición (p => q) ^(q => p) es lógicamente equivalente a (p <=> q) ^(q <=> p)



El bicondicional es verdadero cuando las proposiciones que interviene tienen el mismo valor de verdad.

2. Sabiendo que p es falso, q es verdadero y r falso. Hallar el valor de verdad de las siguientes proposiciones compuestas.

a) ¬ (p => ¬q ) <=> (p ^q)
   
     ¬ (F => F)  <=> (F ^ V)
         
         ¬ (V)      <=>  F

                   F  <=>  F

                         V
b) p => (q ^ r)
c) ¬p => (¬p ^ q)
d) (¬p ^ ¬q) => (p v r)
e) (¬q ^ r) v (q v ¬r)
f) (r ^ ¬r ) v r

3. Escribir la proposición dada en la forma si p entonces q determina su valor de verdad.
a) Los pájaros son aves.
b) Sólo las rectas no paralelas se cortan.
c) Sólo las rectas perpendiculares forman ángulos rectos.

SIGNOS DE PUNTUACIÓN O AGRUPACIÓN 
  1. Los paréntesis ( ).
  2. Los corchetes [ ].
  3. Las llaves { } son signos de puntuación o agrupación cuya función en el lenguaje corriente es separar unas proposiciones de otras.
Ejemplo: En la proposición compuesta:
a) p ^ ( q v r) ; ^ es el conector principal.
b) p => (p v r) ; => es el conector principal.
c) p => (p ^ r) ; => es el conector principal

     
Ejemplo: Escribir simbólicamente las proposiciones siguientes.

a) 2 es número par y 21 es múltiplo de 3 o 5 es la raíz cuadrada de 10.
Solución:
  • p: 2 es número par.
  • q: 21 es múltiplo de 3.
  • r: 5 es la raíz cuadrada de 10.
(p ^ q) v r

b) Si 5 multiplicado por 12 es 60, y 3 es el cuadrado de 9, entonces, estudio o juego ajedrez.
Solución:
  • p: 5 es multiplicado por 12 es 60.
  • q: 3 es el cuadrado de 9.
  • r: estudio.
  • s: juego ajedrez.
(p ^ q) => (r v s)

VALORES DE VERDAD DE PROPOSICIONES COMPUESTAS

Ejemplo: Supongamos que se quiere determinar que la proposición (¬p ^ q) es equivalente a (p => ¬r) suponiendo que:
  • p: es falsa.
  • q: es verdadera
  • r: es verdadera
p, q, r, (¬p ^ q) <=> (p => ¬r).

TABLAS DE VERDAD 


Son utilizadas para establecer el valor de verdad de proposiciones compuestas.
Ejemplo: Hallar el valor de verdad de las siguientes proposiciones compuestas:
a) ¬(p ^ q) v ¬(q <=> p)
b) [(p => q) ^ p] => q




A v B


TAUTOLOGÍAS 

Es una proposición compuesta siempre verdadera, sin importar el valor de verdad que tengan las proposiciones simples que la componen.
Ejemplos:
Comprobar por medio de una tabla de verdad que las siguientes proposiciones compuestas son tautologías.
  1. p v ¬p.
  2. [p ^ (p => q)] => q.
  3. (p v q) <=> (q v p).
  4. (p => q) <=> (¬q => ¬p).
  5. [(p => q) ^ (q => r)] = (p => r).
CONTRADICCIONES

Es una proposición compuesta siempre falsa sin importar el valor de verdad que tengan las proposiciones que la componen.
Ejemplo: Comprobar que la proposición (p ^ ¬p) es una contradicción.

¬(p v q) ^ ¬(q => p)


Nota: Cuando en la tabla de verdad de una proposición aparecen valores (V) y (F) se dice que la proposición es incierta o indeterminada.

Ejercicio:
Elaborar la tabla de verdad de las siguientes proposiciones  y decir en casa caso si se trata de una tautología, una contradicción o una indeterminación.

a) ¬(p => ¬q) <=> (p ^ q).
b) (p ^ ¬q) <=> (¬p v q).
c) p => (q ^ r).
d) ¬p => (¬p ^ q).
e) (¬p ^ ¬q) => (p v q).
f) (p => q) => ¬p.
g) (¬q ^ r) v (q v ¬r).
h) (r ^ ¬r) v r.

LEYES DE ÁLGEBRA PROPOSICIONAL

Las siguientes proposiciones constituyen unos axiomas conocidos como leyes tautológicas.

AXIOMA 1 Leyes de Idempotencia

Si p es una proposición simple o compuesta, entonces:
a) (p v p) <=> p
b) (p ^ p) <=> p

Quiere decir que p v p y p ^ p se sustituye por p.

AXIOMA 2 Leyes de identidad para "o" y para "y" (^ , v).

a) p v (V) <=> V
b) p ^ (F) <=> F
c) p ^ (V) <=> P ------------> El valor de verdad de la conjunción y disyunción v , ^ depende                                   
                                                      del valor de p.

AXIOMA 3 Leyes de conmutativas

Si p y q son proposiciones, entonces:
a) (p v  q) <=> (q v p)
b) (p ^ q) <=> (q ^ p)
Se pueden escribir en cualquier orden. 

AXIOMA 4 Ley asociativa

Si p , q , r son proposiciones cualesquiera, entonces:
a) (p ^ q ) ^ r <=> p ^ (q ^ r) 
b) p v (q v r) <=> (p v q) v r.

AXIOMA 5 Ley distributiva

Si p , q, r son proposiciones cualesquiera, entonces:
a) [p ^ (q v r)] <=> [(p ^ q) v (p ^ r)]
b)  [p v (q ^ r)] <=> [(p v q) ^ (p v r)]

AXIOMA 6 Ley de doble negación.

Si p es una proposición cualquiera, entonces:
¬(¬p) <=> v
Al negar dos veces una proposición, obtenemos una afirmación.

AXIOMA 7 Ley del tercero excluido.

(p v ¬p) <=> V
P "o" no p siempre es verdadera. independientemente del valor de p.

AXIOMA 8 Ley de contradicción

Si p es una proposición cualquiera, entonces:
(p ^ ¬p) <=> F



AXIOMA 9 Leyes de Morgan

Si p y q son proposiciones simples , o compuestas, entonces:
a) ¬(p ^ q) <=> (¬p v ¬q)
b) ¬(p v q) <=> (¬p ^ ¬q)

Negar una conjunción o una disyunción consiste en cambiar "v"o "^" y negar las proposiciones dadas.

AXIOMA 10 Definición alterna del condicional

Usando tablas de verdad podemos verificar que
p =>q <=> ¬p v q

Ejemplo de las leyes de Morgan:

Para negar la proposición 7 es un número primo y 30 es divisible por 5, cambiamos "y" por "o" y negamos proposiciones simples que forman el enunciado.
7 no es un número primo o 30 no es divisible por 5.

Ejemplo: Escribir sin condicional las proposiciones siguientes:
a) (p ^ q) => r
b) p => (¬p v ¬p)
c) ¬p => ¬q

Solución:

a) (p ^ q) => r   ;  p => q <=> ¬p v q
    (p ^ q) = A
    A => r
   ¬A v r
   ¬(p ^ q) v r

b) p => (¬q v ¬r)
     p = A
     (¬q v ¬r) = B
    ¬A v B
    ¬p v(¬q v ¬r)

c)  ¬p => ¬q <=> ¬(¬p) v ¬q
     ¬p => ¬q <=> p v ¬q

Ejemplo:
Escribir una proposición a: si x es par entonces x es divisible por 2.
p: x es par
q: x es divisible por 2
p => q <=> ¬p v q
x no es par o x no es divisible por 2.

Ejemplo:
Probar que p => q <=> ¬p v q

Aplicaciones de las leyes proposicionales.

Ejemplo: Probar que ¬(p => q) <=> [p ^ (¬q)]
¬(p => q) <=> ¬(¬p v q) ---------- AX 10
¬(p => q) <=> ¬(¬p) ^ ¬q ---------Ley de M
¬(p => q) <=> p ^ q

Ejemplo:
(p ^ q) => p es tautología
(p ^ q) => p <=> ¬(p ^ q) v p  ---------A 10      
(p ^ q) => p <=> (¬p v ¬q) v p  -------- L de M
(p ^ q) => p <=> (¬p v p) v ¬q  --------Ley conmutativa
(p ^ q) => p <=> [V] v ¬q -------------Ley del tercero excluido.
V Ley 

1 comentario: