Professional Documents
Culture Documents
CONECTIVOS LGICOS
V F
CONECTIVOS LGICOS.- Enlazan F V
proposiciones simples
Smbolo Operacin asociada Significado Se trata de una operacin unitaria, pues a partir
de una proposicin se obtiene otra, que es su
~ negacin.
no p o no es cierto
Negacin que p Ejemplo.
pyq La negacin de
Conjuncin o p: todos los alumnos estudian matemtica es
producto lgico p o q (en sentido ~p: no todos los alumnos estudian matemtica
incluyente) o bien: ~p: no es cierto que todos los alumnos
Disyuncin o suma estudian matemtica
lgica ~p: hay alumnos que no estudian matemtica
Implicacin p implica q, o si p
entonces q 2.-CONJUNCIN
p
p q qp (p q) (q p) Ahora bien , si analizamos la
q
proposicin q: ~p q, su tabla de verdad resulta:
V V V V V
V F F V F p q ~p q
F V V F F
F F V V V V V V
V F F
Diferencia Simtrica F V V
F F V
Diferencias simtrica o disyuncin en sentido
excluyente de las proposiciones p y q es la
proposicin p q (se lee "p o q en sentido
Como vemos, luego de realizar las tablas de valor
excluyente") cuya tabla de valores de verdad es: veritativo encontramos que ambas proposiciones
tienen el mismo resultado final. Con esto,
p q p q decimos que ambas proposiciones son
logicamente equivalentes, y en este caso
V V F particular lo simbolizamos:
V F V
F V V (p q) (~p q)
F F F
TAUTOLOGA, CONTRADICCIN Y
La verdad de p q est caracterizada por la CONTINGENCIA
verdad de una y slo una de las proposiciones
componentes.
Al conjunto de proposiciones, conectivos
lgicos y smbolos de agrupacin lo
Ejemplo.
denominamos frmula lgica. Por ejemplo:
Sea i) o vamos a Lima o vamos a Ica
~{ (p q) (s t) }
queda claro que slo podremos ir a uno de los Tautologa
dos lugares, y slo a uno. Es decir que el Si al evaluar una frmula lgica, resulta que
enunciado i) es verdadero slo si vamos a una de todos los valores de verdad resultantes son
las dos ciudades. En caso de ir a ambas, o de no siempre V para cualquier combinacin de sus
ir a ninguna, el enunciado es Falso. valores veritativos, decimos que dicha frmula
es una Tautologa o Ley lgica.
Ejemplo. V F V
F V V
Sea p: p q, recordamos su tabla de
reduce a la confeccin de su correspondiente
Vemos que para cualquier combinacin de las tabla de verdad, a saber:
proposiciones p y su negacin ~p, la proposicin
t: p ~p es siempre verdadera. Entonces, la Involucin
proposicin t es una tautologa. ~(~p) p
(se lee "no, no p, equivale a p")
Ejemplo.Analizemos ahora la frmula lgica
{(pq)p}q Idempotencia
(p ~p) p
(p ~p) p
p q pq qp {(pq)p}q
Conmutatividad
V V V V V
V F F F V a) de la disyuncin: p q q p
F V V F V b) de la conjuncin: p q q p
F F V F V
Asociatividad
Ejemplo ~( p q ) ~p ~q
Analizemos la frmula lgica p ~p " La negacin de una disyuncin equivale a la
conjuncin de las negaciones"
p ~p p ~p ~( p q ) ~p ~q
"La negacin de una conjuncin equivale a
V F F la disyuncin de las negaciones"
F V F
a)[(p q) q ] v p d) (p v q) p
b) (pq) v p e) [ (p q) p ] q
c) p(pq) f) p v ( p v q )
5.- Si p y q son proposiciones falsa y verdadera respectivamente , halle el valor de verdad de las
siguientes proposiciones:
a) p V ( p q ) c) p ( p q )
b) ( p V q ) p d) (p V q ) [ p ( p q ) ]
: ( p q) (: p : q)
4.- Dada las siguientes premisas:
p: Hoy es feriado
q: Maana es da laborable
r: Voy a clase
Formaliza la proposicin: No es verdad que, Hoy sea feriado y que no asista a clase. Por lo tanto voy a
clase.
5.-Si la proposicin: p ( : p q ) , es falsa indicar el valor de verdad de la proposicin:
( p q ) p ( p q)
6.-A menos que me equivoque, estoy loco. Pero si estoy loco, tengo que estar equivocado. Por tanto,
estoy equivocado
CONECTIVOS LGICOS SINNIMOS
y
Tambin
An
A la vez
^ conjuncin No obstante
Adems
Pero
Sin embargo
Aunque
No es cierto que
~ negacin Es falso que
No es el caso que
No sucede que
O
V disyuncin A menos que
p es condicin suficiente para q
p q implicacin Si p , q
q si p
Que p siempre que q
Cuando p , q
q es condicin necesaria para p
En caso de que p entonces q
p solo si q
Si y slo si
P q Cuando y slo cuando
Equivale a
Es necesario y suficiente para
En el caso , y slo en el caso , de que
1.- Cules de los siguientes enunciados son proposiciones , funcin proposicional .Determine su valor de
verdad:
a) El pisco es peruano
b) 3 es un nmero racional
c) Viva el Per!
d) Un tringulo es un polgono de tres lados
e) x es hermano de y
f) 28 < 15
g)Te gusta la Matemtica?
h) El es arquitecto
2
2
i) 36 21
8
j)Tenga calma ,no se impaciente
k) 9x + 3 = 12 , x R
l)18 es mltiplo de 3
ll) x R, x x 1
m)x es Ingeniero y Juan es Matemtico
1
n) x Q / .x 1
3
)Los cuadrilteros tienen 3 lados
o)3x 8 > 15 , x R
p) x + y 15 , x,y R
q) 2x + 5 > 11, x R
r) 3x + 7 = 11, x N
t)x es un animal
2.-
a) Si p es verdadera determinar el valor de verdad de ~pq
b)Si p es falsa p vq
c) Si p es falsa , entonces ~p q es
d) Si la proposicin (p ^ q)r es falsa , determina el valor de las proposiciones:
d .1( p r ) q
d .3( p q ) r
d .2( p q ) r
d .4 ( r p ) ( q p )
ll )x / x 4 4
e)x R, x 1
0
i )x Q / 2 x 1 0 m)x R , x x
a )x N , x 1 2 1
f )x R / x 1 j )x Z , x 2 2 x 1 0 n)x R , x x
b)x N / x 7 0 x k )x I / x 30 1
c )x Q, x 2 4 x 4
2
)x R, x 1
g )x R / x2 l )x x 02
x
d ) Si.x , x 2 0 x2
h)x R / x 2 9 0