Beruflich Dokumente
Kultur Dokumente
Proposiciones
1.1
Notacin
2.1
Conectivos lgicos
Operacin asociada
Negacin:
2.2
^
_
Implicacin o condicional: p ) q
Doble implicacin: p , q
Signicado
No p; o no es
cierto que p
pyq
poq
Si p, entonces q;
o p implica q
p si y slo si q
Negacin
p
F
V
La negacin es una operacin unitaria puesto que opera sobre una sola
proposicin p, a quien le hace corresponder la proposicin p.
Example 2 Si p es la proposicin el dique Cabra Corral se llama Embalse
Gral. Belgrano y (p) = V , entonces su negacin ser:
p: no es cierto que el dique Cabra Corral se llama Embalse Gral. Belgrano
o, el dique Cabra Corral no se llama Embalse Gral. Belgrano y ( p) = F .
Si bien es cierto que, de acuerdo a la denicin, para formar la negacin
de cualquier proposicin basta con anteponer la palabra no a la misma, en
el lenguaje cotidiano la costumbre es colocar la palabra no junto al verbo o,
si se quiere que est al principio, hay que recurrir a giros como no es cierto
que: : :.
2.3
Conjuncin
q
V
F
V
F
p^q
V
F
F
F
3
2.4
Disyuncin
q
V
F
V
F
p_q
V
V
V
F
2 es un entero positivo.
Buenos Aires es la capital de Argentina.
5 4 = 20
el centro de una circunferencia es un punto de ella.
todos los hombres son mortales.
San Martn cruz los Andes.
(b)
(p) = V
( q) = F
(q ^ r) = V
( r ^ u) = F
q)) ^ (
V
r _ p ^ q)
V
(r ^ (p _
q)) ^ (
V
r _ (p ^ q))
r _ (p ^ q))
1. (d) Para resolver sto conviene hacer una tabla que se confecciona del
siguiente modo: como las proposiciones implicadas son tres, la tabla
tendr 8 = 23 las y, en general, 2n las cuando sea n el nmero
de proposiciones simples que intervienen (en nuestro caso 3) y tantas columnas como operaciones haya. Para no olvidarnos ninguna
combinacin de valores de verdad, conviene colocar, en la primera
columna (p), los valores V y F alternados de 1 en 1 (20 ), en la segunda columna ( q ) los valores V y F alternados de 2 en 2 (21 ), en
la tercera columna ( r ) los valores de V y F alternados de 4 en 4
(22 ). Si hubieran ms proposiciones, se contina del mismo modo,
siempre alternando segn las potencias de 2.
p
V
F
V
F
V
F
V
F
q
V
V
F
F
V
V
F
F
r
V
V
V
V
F
F
F
F
r
F
F
F
F
V
V
V
V
q^
F
F
F
F
V
V
F
F
p
F
V
F
V
F
V
F
V
p _ (q ^
F
V
F
V
V
V
F
V
r)
(a)
(b)
(c)
p
p p_ p
q
q q^ q
p
p
( p)
V
F
V
V
F
F
V
F
V
F
V
V
F
V
F
F
V
F
Observamos que la primera frmula es una tautologa, la segunda una contradiccin y la tercera una contingencia.
Decimos que la expresin 8x : p(x) es verdadera si y slo si cualquier sustitucin de x por un elemento de un conjunto adecuado, da origen a una proposicin
verdadera. Por otra parte, 9xjp(x) es verdadera si y slo si existe por lo menos
una sustitucin de x que la transforme en una proposicin verdadera.
Implicacin o condicional
(hiptesis falsa)
(conclusin verdadera)
plo:
1=2
3=3
4=5
(hiptesis falsa)
(conclusin falsa)
5.1
Diferentes formas
1. p ) q
2. Si p entonces q
3. p es suciente para q
4. q es necesario para p
5. q si p
6. p slo si q.
5.2
q
V
F
V
F
p,q
V
F
F
V
q
V
F
V
F
p)q
V
F
V
V
q)p
V
V
F
V
(p ) q) ^ (q ) p)
V
F
F
V
Observamos que los valores de la ltima columna de ambas tablas son exactamente los mismos, como era de esperarse, ya que denimos la doble implicacin
como la conjuncin de estas dos implicaciones que, como veremos, sern designadas como la directa y la recproca, la una de la otra. Cuando dos expresiones
tienen el mismo valor de verdad, para los distintos valores de verdad de las
proposiciones componentes, se dice que son lgicamente equivalentes.
Example 8
1. (a) La equivalencia ( 1)3 = 1 , 33 = 27 es verdadera, puesto que las
dos proposiciones son verdaderas.
10
(b) La equivalencia un tringulo es equiltero , un tringulo es equinguloes verdadera, porque ambas proposiciones se reeren al mismo
conjunto de tringulos.
(c) La equivalencia 1 = 2 , 22 = 4 es falsa, ya que la primera proposicin es F y la segunda V .
5.3
Implicaciones asociadas
q
V
V
F
F
p)q
V
V
F
V
p
V
F
V
F
q
V
V
F
F
p
F
V
F
V
q
F
F
V
V
q)
V
V
F
V
q)p
"
C
O
N
T
R
A
R
I
A
S
#
q) p
5.4
12
i. q ) p
ii. p ) q
iii. q ) p
13
Forma equivalente
p es condicin suciente para q
p es condicin necesaria para q
(q ) p) = V
(p ) q) = V
(p ) q) = F
p es suciente
pero no necesaria
para q
(p ) q) = F
^
(q ) p) = V
p es necesaria
pero no suciente
para q
Leyes lgicas
p) , p
p
V
F
p
F
V
2. Idempotencia: (p ^ p) , p
( p)
V
F
p) , p
V
V
(p _ p) , p
3. Conmutatividad:
(a) de la disyuncin: p _ q , q _ p
(b) de la conjuncin: p ^ q , q ^ p
4. Asociatividad:
(a) de la disyuncin: (p _ q) _ r , p _ (q _ r)
(b) de la conjuncin: (p ^ q) ^ r , p ^ (q ^ r)
5. Distributividad:
(a) de la conjuncin con respecto a la disyuncin : (p _ q) ^ r , (p ^ r) _
(q ^ r)
(p _ q) ,
(p ^ q) ,
p^
p_
q
q
Conjunto de verdad
El conjunto de valores de x, que hace que p(x) sea una proposicin falsa se
llama el complemento del conjunto P y se representa con P .
En nuestro ejemplo: P = fx 2 Rjx 6= 5g.
Una implicacin p(x) ) q(x) es verdadera, si el conjunto de verdad de
p(x), que llamaremos P , est incluido en el conjunto de verdad de q(x), que
llamaremos Q. En smbolos, P Q.
Example 14
1. (a) x2 = 1 ) x = 1
p(x) : x2 = 1
P = f 1; 1g
q(x) : x = 1
Q = f1g
Como f 1; 1g * f1g, diremos que la implicacin es falsa.
(b) x2 2x + 1 = 0 ) x2 4x + 3 = 0
p(x) : x2 2x + 1 = 0
P = f1g
q(x) : x2 4x + 3 = 0
Q = f1; 3g
Como P Q, la implicacin es verdadera.
Una equivalencia p(x) , q(x) es verdadera si el conjunto de verdad de p(x)
es igual al conjunto de verdad de q(x). En smbolos: P = Q.
Example 15
1. (a) x + 5 = 0 , x = 5
p(x) : x + 5 = 0
P = f 5g
q(x) : x = 5
Q = f 5g
Como P = Q, la equivalencia es verdadera.
(b) x 3 = 0 , x2 = 9
p(x) : x 3 = 0
P = f3g
q(x) : x2 = 9
Q = f 3; 3g
Como P 6= Q, la equivalencia es falsa.
8.1
q
V
F
V
F
p)q
V
F
V
V
(p ) q)
F
V
F
F
p^ q
F
V
F
F
F
V
F
V
16
q)
8.2
q) _ (q^
p)
En resumen:
Operacin
Conjuncin
Disyuncin
Implicacin
En smbolos
p^q
p_q
p)q
Equivalencia
p,q
Negacin
p_ q
p^ q
p^ q
p , q; p , q o
(p^ q) _ (q^ p)
8.3
Negacin de cuanticadores
Example 18 Existen nmeros que son cuadrados perfectos tiene como negacin a: todos los nmeros no son cuadrados perfectos.
Podemos, entonces, expresar esto simblicamente:
(8x; p(x)) , 9x :
(9x : p(x)) , 8x;
p(x)
p(x)
0)
(9xjx + 5x + 4 = 0) , 8x : x + 5x + 4 6= 0
[8x : (p(x) )
Proposicin
i. Todos los alumnos
estudian.
ii. Algunos alumnos estudian computacin.
Negacin
Algunos alumnos
no estudian.
Ningn alumno estudia computacin
Negacin incorrecta
Todos los alumnos
no estudian.
Algunos alumnos no
estudian computacin
o, no todos los alumnos
estudian computacin.
Para emplear los trminos con precisin no deben usarse las expresiones
todos : : : no y no todos : : :. En lgica, as como en el lenguaje comn, es
conveniente reemplazar la frmula todos los x no son : : :por ningn x es : : :,
cuando se tiene que formar la negacin de algn x es : : :. Recprocamente, la
negacin de todos los x son : : :, es: algn x no es : : :.
(algn x es : : :)
ningn x es : : :
algn x no es : : :
18
no es cierto que algunos videos son actuales o no todos son interesantes. Aplicando lo aprendido anteriormente, a cada una de las
proposiciones, resulta:
Todos los videos no son actuales o algunos no son interesantes (negando los cuanticadores primero, sin tener en cuenta la ambiguedad);
pero, segn dijimos, es conveniente expresar sto del siguiente modo:
ningn video es actual o algunos no son interesantes.
(b) Si no pagamos el gas, algunas personas podran imitarnos.
Se trata de una implicacin y escribimos su negacin as:
no pagamos el gas y no es cierto que algunas personas podran imitarnos; aplicando lo visto, resulta: no pagamos el gas y todas las
personas no podran imitarnos. Correctamente, sera: no pagamos
el gas y ninguna persona podra imitarnos.
Mtodos de demostracin
n (por H1 y H2 ).
m (por H3 y H1 ).
19
9.1
Mtodo directo
2k
x2
4k 2
2(2k 2 )
2m
(k 2 Z)
c.q.d.
D) ajb ) b = k a
bjc ) c = k 0 b
con k 2 Z
con k 0 2 Z
(1)
(2)
9.2
Mtodo indirecto
(2k + 1)2
4k 2 + 4k + 1
2(2k 2 + 2k) + 1
2m + 1, con m = 2k 2 + 2k
Esta ltima expresin nos dice que x2 es impar, con lo que establecemos que el
consecuente o tesis es falso y as queda demostrada la implicacin.
Una variante del mtodo indirecto es el mtodo por reduccin al absurdo,
que consiste en negar la implicacin dada, es decir, suponer la verdad de p^ q
y examinar las consecuencias de esta negacin. Si se llega a contradecir algn
resultado conocido, diremos que este absurdo provino de suponer que p ) q era
falsa, por lo que debe ser verdadera.
Example 23 Pruebe que: x es impar ) x2 es impar.
Partimos de la negacin de la implicacin:
x es impar
x2 es par
x = 2k + 1
x2 = 2m
x2 = (2k + 1)2
x2 = 2m
x2 = 4k 2 + 2k + 1
x2 = 2m
x2 = 2(2k 2 + k) + 1
x2 = 2m
x2 = 2p + 1
x2 = 2m
9.3
Contraejemplo
5
11
17
23
29
35
41
:::
93
:::
117
22
10
Razonamientos vlidos
Entendemos por razonamiento la armacin de que una cierta proposicin (llamada conclusin) se deduce de otras proposiciones (las premisas). Diremos que
el razonamiento es vlido si y slo si la conjuncin de las premisas implica
la conclusin (se sobreentiende que tanto las premisas como la conclusin estn expresadas mediante ciertas proposiciones simples o elementales y ciertos
conectivos lgicos).
En smbolos: sean P1 ; P2 ; : : : ; Pn las premisas y q la conclusin: P1 ^ P2 ^
: : : ^ Pn ) q.
Si llamamos P a la conjuncin de las premisas, ser posible analizar el valor
de verdad de P ) q. Pueden darse tres casos:
1. (a) P ) q es V para todas las combinaciones posibles de valores de
verdad de las proposiciones elementales (tautologa).
(b) P ) q es F para todas las combinaciones posibles de valores de
verdad de las proposiciones elementales (contradiccin).
(c) p ) q es V para algunas combinaciones y F para otras (contingencia).
Slo en el primer caso sera vlido el razonamiento y diremos que de p se
deduce q.
Para probar, entonces, si un razonamiento es vlido o no, puede seguirse tres
caminos:
1) Hacer una tabla con todas las combinaciones posibles de valores de verdad
de las proposiciones elementales y luego establecer si la implicacin p ) q
es una tautologa o no.
Example 24 Si nosotros tuviramos acceso a una computadora, entonces el
uso de internet sera masivo. Si no puede usar una computadora, un ciudadano
comn no podr acceder a la informacin distribuda a travs de los satlites
de la red. Por lo tanto: si la gente comn puede acceder a toda la informacin distribuda a travs de los satlites de la red, entonces podemos usar una
computadora.
Solucin
Escribimos ese razonamiento en forma simblica, asignando nombre a las
proposiciones:
p:
q:
r:
El razonamiento sera:
p)q
p) r
r)p
23
q
V
V
F
F
V
V
F
F
r
V
V
V
V
F
F
F
F
p)q
V
V
F
V
V
V
F
V
P
z
}|
(p ) q) ^ ( p )
V
F
F
F
V
V
F
V
p
F
V
F
V
F
V
F
V
{
r)
r
F
F
F
F
V
V
V
V
Q
z }| {
(r ) p)
V
F
V
F
V
V
V
V
p)
V
F
V
F
V
V
V
V
P )Q
V
V
V
V
V
V
V
V
24
r : 2 es impar.
Escribimos este razonamiento en forma simblica y, luego, suponenemos verdaderas a todas las premisas, comenzando el anlisis por la que juzguemos es
ms conveniente:
p)
r_q
r
p
r) = V ) (r) = F
(r _ q) = V ^ (r) = F ) (q) = V ) (
(p )
q) = V ^ (
q) = F
q) = F ) (p) = F ) (
p) = V
q:
r:
s:
s)
p)
r
s
25
(s )
(r_
r) = V ^ (s) = V ) (
q) = V ^ (r) = F ) (
r) = V ) (r) = F
q) = V ) (q) = F
26