Proposiciones, Conjunciones, Disyunciones, Implicaciones

24/8/2017 PROPOSICIONES, CONJUNCIONES, DISYUNCIONES, IMPLICACIONES.
| ERIC PACHECO /blog/
ERIC PACHECO /blog/
Apuntes sobre matemticas

permanece al da va rss
PROPOSICIONES, CONJUNCIONES,
DISYUNCIONES, IMPLICACIONES.
Publicado: junio 17, 2010 en Uncategorized

3
TEMARIO:
Forma de simbolizar una proposicin.

Proposicin simple.
Valor de verdad de una proposicin.
Ejemplos.
Proposiciones compuestas y conectivos lgicos.
Negacin de una proposicin.
Conjuncin.
Valor de verdad de la conjuncin.
Disyuncin.
Valor de verdad de una disyuncin.
Disyuncin exclusiva.
Implicacin o condicional.
Valor de verdad de la implicacin.
Equivalencia o bicondicional.
Valor de verdad de la equivalencia
Tablas de verdad.
Tautologas.
Contradiccin.
Funciones proposicionales.
Proposiciones con cuanticadores.
Negacin de proposiciones con cuanticaciones.
1. PROPOSICIONES:
Son enunciados que en un contexto determinado o en una teora se pueden calicar como verdaderas
o falsas.
Para designar una proposicin se utilizaran las letras minsculas.
p, q , r, s
https://ericmat.wordpress.com/2010/06/17/proposiciones-conjunciones-disyunciones-implicaciones/ 1/15
24/8/2017 PROPOSICIONES, CONJUNCIONES, DISYUNCIONES, IMPLICACIONES. | ERIC PACHECO /blog/
p, q , r, s
Ejemplo:
a. p: El pentgono tiene 6 lados.

b. q: Colombia tiene dos mares.
c. r:Cul es tu nombre?.
d. s: l lo hizo!
e: t: 3/4 de 12 es 9.
f. o: Estoy de acuerdo!Observacin: Las opiniones, preguntas, rdenes y exclamaciones no son
consideradas proposiciones.
Proposicin SIMPLE:
Es aquella que se forma sin utilizar trminos de enlace.

Ejemplo: p: Hoy es jueves
q: 7 elevado a la 3=343
Valor de verdad de una proposicin, (V) O (F).
Se pueden calicar como verdaderas o falsas.

Ejemplo: -4 es mayor que -3 (F)
2**r es la longitud de la circunferencia (V)
Hoy llueve en Medelln.
Para todas las personas que habitan en Medelln no tiene el mismo valor de verdad.
Ejercicio: Determine el valor de verdad de cada proposicin simple.

1. p: Los elefantes vuelan.
2. q: Lina tiene 7 annos.
3. r: Raz cuadrada de -9 es un nmero real.
4. 7 es factor de 84.
PROPOSICIONES COMPUESTAS Y CONECTIVOS LGICOS
Las proposiciones compuestas son aquellas que estn formadas por dos o ms proposiciones simples
ligadas por un conector
Es un rectngulo si y slo si tienen 4 ngulos rectos.
Viajamos de da o viajamos de noche.
Si el permetro aumenta, entonces el rea se duplica.
8 es un nmero par y 8 es divisible por 2.
Los conectores y, o. entonces, si y slo si, permiten unir dos preposiciones simples.
(h p://3.bp.blogspot.com/_5MBjaUDlp-
s/TBmQ29TMVFI/AAAAAAAAAAs/sLIsJFtnlec/s1600/Sin+t%C3%ADtulo.png)
AXIOMAS:
Son proposiciones que son verdaderas por denicin.
Ejemplo: El todo es mayor que las partes
Dos cosas iguales a una tercera son iguales entre si.
El mtodo deductivo permite partir de un conjunto de hiptesis y llegar a una conclusin.
En matemticas, la deduccin es un proceso concatenado de la forma:
Si A entonces B, si B entonces C, si C entonces D hasta llegar a una conclusin.
TEOREMA: Es el conjunto de hiptesis mas la demostracin, hasta llegar a una conclusin.
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 matemticas.
Puedo ensenar matemticas.
POSIBILIDADES LGICAS.
Una proposicin simple p slo tiene dos posibilidades, o es verdadera o es falsa.
s/TBmi6826IJI/AAAAAAAAABE/Fi5uQ9EgW3s/s1600/Sin+t%C3%ADtulo.png)
Dos proposiciones Simples forman una compuesta
s/TBmjLROz1DI/AAAAAAAAABM/1eMtwX5sRdw/s1600/Sin+t%C3%ADtulo..png)
Tres proposiciones tendrn 2 elevado a la 3 =8
s/TCJKBgirBcI/AAAAAAAAABU/6pJVLCy6Pyo/s1600/Sin+t%C3%ADtulo..png)
En general el nmero de proposiciones simples que se tienen es n, entonces el nmero de
posibilidades es 2 elevado a la n.
NEGACIN DE UNA PROPOSICIN
La negacin es el conectivo lgico que permite cambiar el valor de verdad de una proposicin.
Si p es verdadero (V)
Su negacin p es falsa (F)
p se lee no p.
Ejemplo: Negar las siguientes proposiciones simples:

p: Todos los nmeros primos son pares.
q: No todos los tringulos son isceles.

q: No todos los tringulos son isceles.

r: -15+18=7
Solucin:
p: No todos los nmeros primos son pares.
q: Todos los tringulos son isceles.
r:-15+18+ 7
Cul es el resultado de (p)?

Observacin: Si una proposicin p es verdadera, su negacin es falsa y viceversa.
LA CONJUNCIN (p ^ q) smbolo lgico ^.
La proposicin p ^q es verdadera nicamente si p y q son verdaderas, los dems casos p y q es falsa.
Ejemlo: Juanita, podrs salir a la calle cuando arregles la cama y limpies los muebles.
TABLA DE VERDAD DE LA CONJUNCIN
(h p://3.bp.blogspot.com/_5MBjaUDlp-s/TCTN_-
i1JxI/AAAAAAAAACc/XwkCK3qugIU/s1600/JAJAJA.png)
LA DISYUNCIN
Smbolo gramatical: o
Smbolo lgico: v
La disyuncin 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 DISYUNCIN
s/TCTOh2GFwPI/AAAAAAAAACk/KnzqmVmeU1k/s1600/JAJAJA.png)
DISYUNCIN EXCLUSIVA
La proposicin p v q cuando nicamente una de las proposiciones es verdadera y la otra falsa.
El nmero 3 o es divisor de 6 o divisor de 10.
TABLA DE VERDAD
s/TCTPILo3wZI/AAAAAAAAACs/rUwzziSuUEQ/s1600/JAJAJA.png)
s/TCTP4v3L1UI/AAAAAAAAAC0/yXOOqhlmwT0/s1600/LERO.png)
mvn
V
La proposicin m es verdadera y la proposicin n es falsa luego m v n es verdadera.

Ejemplo: 18 es mltiplo de 6 18 es mltiplo de 5.
p (V) ; q (F) por lo tanto p v q es verdadera.
EL CONDICIONAL Y LA IMPLICACIN
Es una proposicin compuesta por proposiciones simples unidas mediante el conectivo lgico:
Si entonces que se simboliza =>. p=>q
p se denomina antecedente y q se llama consecuente.
VALOR DE VERDAD DE LA IMPLICACIN
La proposicin p => q es falsa nicamente si el antecedente es verdadero y el consecuente es falso. En los

dems casos es verdadera.
TABLA DE VERDAD
s/TCTQ3jIV5WI/AAAAAAAAAC8/Sw8W5TsC9H8/s1600/LERO.png)
OBSERVACIN: Todo condicional no es una implicacin.

Ejemplo: Si el mar es dulce entonces 3 es un nmero impar.
1. Si estudias entonces irs al paseo.

2. Si x+3=5, entonces x=2.
3. Si ABC es un tringulo, entonces el ngulo A mas el ngulo B mas el ngulo C es igual a 180 grados.
4. Si ha llovido entonces las calles estn mojadas.
Cada uno de estos enunciados reciben el nombre de condicional.
BICONDICIONAL Y DOBLE IMPLICACIN
Forma gramatical: si y slo si

Smbolo lgico: <=>
Ejemplo: x es un nmero par si y slo si x es mltiplo de 2.

p: x es un nmero par.
q: x es mltiplo de 2.
p=>q ^q=>p.
p=>q ^q=>p.
VALOR DE VERDAD DE LA EQUIVALENCIA.
La proposicin p <=> q es verdadera cuando ambas proposiciones son verdaderas o ambar proposiciones
son falsas.
TABLA DE VERDAD
Ejemplo: r <=> s : A es un polgono de 4 lados si y slo si A es un cuadriltero.

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. Cul ser el valor de verdad de la proposicin:
q =>(p ^ r) ? = F
. .
. .
. .
V => F = F
Luego q =>(p ^ r) = F
2. Si el valor de verdad de la preposicin p => q es falso. Cul 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. Justicar 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 proposicin (p => q) ^(q => p) es lgicamente equivalente a (p <=> q) ^(q <=> p)
s/TCTTADJqMTI/AAAAAAAAADM/Ch3eWjoBPp0/s1600/LERO.png)
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 proposicin dada en la forma si p entonces q determina su valor de verdad.
a) Los pjaros son aves.

a) Los pjaros son aves.

b) Slo las rectas no paralelas se cortan.
c) Slo las rectas perpendiculares forman ngulos rectos.
SIGNOS DE PUNTUACIN O AGRUPACIN

1. Los parntesis ( ).
2. Los corchetes [ ].
3. Las llaves { } son signos de puntuacin o agrupacin cuya funcin en el lenguaje corriente es separar
unas proposiciones de otras.
Ejemplo: En la proposicin 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 simblicamente las proposiciones siguientes.
a) 2 es nmero par y 21 es mltiplo de 3 o 5 es la raz cuadrada de 10.

Solucin:
p: 2 es nmero par.
q: 21 es mltiplo de 3.
r: 5 es la raz 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.

Solucin:
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 proposicin (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

b) [(p => q) ^ p] => q
s/TCTZCAfrQDI/AAAAAAAAADU/qah-V6Unmes/s1600/LERO.png)
AvB
s/TCTbxZ4Dg4I/AAAAAAAAADk/oLb8lsPAJd4/s1600/LERO.png)
TAUTOLOGAS
Es una proposicin 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
tautologas.
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 proposicin compuesta siempre falsa sin importar el valor de verdad que tengan las
proposiciones que la componen.
Ejemplo: Comprobar que la proposicin (p ^ p) es una contradiccin.
(p v q) ^ (q => p)
s/TCTe2mSXPKI/AAAAAAAAADs/ZUqNRsCUa9E/s1600/LERO.png)
Nota: Cuando en la tabla de verdad de una proposicin aparecen valores (V) y (F) se dice que la
proposicin es incierta o indeterminada.
Ejercicio:
Elaborar la tabla de verdad de las siguientes proposiciones y decir en casa caso si se trata de una
tautologa, una contradiccin o una indeterminacin.
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 tautolgicas.
AXIOMA 1 Leyes de Idempotencia
Si p es una proposicin 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 conjuncin y disyuncin 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

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 negacin.
Si p es una proposicin cualquiera, entonces:

(p) <=> v
Al negar dos veces una proposicin, obtenemos una armacin.
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 contradiccin
Si p es una proposicin 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 conjuncin o una disyuncin consiste en cambiar vo ^ y negar las proposiciones dadas.
AXIOMA 10 Denicin alterna del condicional
Usando tablas de verdad podemos vericar que

p =>q <=> p v q
Ejemplo de las leyes de Morgan:
Para negar la proposicin 7 es un nmero primo y 30 es divisible por 5, cambiamos y por o y

negamos proposiciones simples que forman el enunciado.
7 no es un nmero 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
Solucin:
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 proposicin 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 tautologa
(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
TABLAS DE VERDAD - Ejercicio 1
comentarios Anuncios
FERNANDO dice:
febrero 10, 2012 en 10:05 pm
GRACIAS ME SIRVIO DE MUCHO
Responder
yohansel dice:
julio 8, 2012 en 10:54 pm
exelente tu pagina me acabas de salvar la vida
Responder
CARLOS dice:
noviembre 2, 2012 en 1:53 am
MUY BUENA PAGINA
Responder
Blog de WordPress.com.

Proposiciones, Conjunciones, Disyunciones, Implicaciones

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Proposiciones, Conjunciones, Disyunciones, Implicaciones

Diunggah oleh

Hak Cipta:

Format Tersedia

24/8/2017 PROPOSICIONES, CONJUNCIONES, DISYUNCIONES, IMPLICACIONES.

| ERIC PACHECO /blog/

ERIC PACHECO /blog/

Apuntes sobre matemticas

Publicado: junio 17, 2010 en Uncategorized

Forma de simbolizar una proposicin.

a. p: El pentgono tiene 6 lados.

Es aquella que se forma sin utilizar trminos de enlace.

Valor de verdad de una proposicin, (V) O (F).

Se pueden calicar como verdaderas o falsas.

Ejercicio: Determine el valor de verdad de cada proposicin simple.

PROPOSICIONES COMPUESTAS Y CONECTIVOS LGICOS

Si A entonces B, si B entonces C, si C entonces D hasta llegar a una conclusin.

TEOREMA: Es el conjunto de hiptesis mas la demostracin, hasta llegar a una conclusin.

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

Este mes me voy a trabajar.

Una proposicin simple p slo tiene dos posibilidades, o es verdadera o es falsa.

Dos proposiciones Simples forman una compuesta

Tres proposiciones tendrn 2 elevado a la 3 =8

NEGACIN DE UNA PROPOSICIN

Ejemplo: Negar las siguientes proposiciones simples:

q: No todos los tringulos son isceles.

q: No todos los tringulos son isceles.

Cul es el resultado de (p)?

LA CONJUNCIN (p ^ q) smbolo lgico ^.

La proposicin p ^q es verdadera nicamente si p y q son verdaderas, los dems casos p y q es falsa.

TABLA DE VERDAD DE LA CONJUNCIN

TABLA DE VERDAD DE LA DISYUNCIN

La proposicin m es verdadera y la proposicin n es falsa luego m v n es verdadera.

VALOR DE VERDAD DE LA IMPLICACIN

La proposicin p => q es falsa nicamente si el antecedente es verdadero y el consecuente es falso. En los

OBSERVACIN: Todo condicional no es una implicacin.

1. Si estudias entonces irs al paseo.

Cada uno de estos enunciados reciben el nombre de condicional.

BICONDICIONAL Y DOBLE IMPLICACIN

Forma gramatical: si y slo si

Ejemplo: x es un nmero par si y slo si x es mltiplo de 2.

VALOR DE VERDAD DE LA EQUIVALENCIA.

Ejemplo: r <=> s : A es un polgono de 4 lados si y slo si A es un cuadriltero.

2. Si el valor de verdad de la preposicin p => q es falso. Cul ser el valor de verdad de q ^ p?

Luego las proposiciones:

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

a) Se sabe que p ^q es verdadera, por lo tanto el valor de verdad de p => q es ____________

VALOR DE VERDAD DEL BICONDICIONAL

a) (p => q ) <=> (p ^q)

3. Escribir la proposicin dada en la forma si p entonces q determina su valor de verdad.

a) Los pjaros son aves.

a) Los pjaros son aves.

SIGNOS DE PUNTUACIN O AGRUPACIN

Ejemplo: En la proposicin compuesta:

a) 2 es nmero par y 21 es mltiplo de 3 o 5 es la raz cuadrada de 10.

b) Si 5 multiplicado por 12 es 60, y 3 es el cuadrado de 9, entonces, estudio o juego ajedrez.

VALORES DE VERDAD DE PROPOSICIONES COMPUESTAS

Ejemplo: Supongamos que se quiere determinar que la proposicin (p ^ q) es equivalente a (p => r)

p, q, r, (p ^ q) <=> (p => r).

Son utilizadas para establecer el valor de verdad de proposiciones compuestas.

b) [(p => q) ^ p] => q

b) [(p => q) ^ p] => q

a) (p => q) <=> (p ^ q).

LEYES DE LGEBRA PROPOSICIONAL

AXIOMA 1 Leyes de Idempotencia

Si p es una proposicin simple o compuesta, entonces:

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

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