Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
163Activity
0 of .
Results for:
No results containing your search query
P. 1
UNIDAD II LOGICA PROPOSICIONAL(parte 2)

UNIDAD II LOGICA PROPOSICIONAL(parte 2)

Ratings:

4.75

(1)
|Views: 31,454|Likes:
Published by martin
Razonamiento Logico
Razonamiento Logico

More info:

Published by: martin on May 30, 2007
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

05/08/2014

pdf

text

original

 
RAZONAMIENTO LÓGICO ___ Guía elaborada por el prof: Ing Héctor González C._
2.2TAUTOLOAS Y CONTRADICCIONES
Dadas dos formas proposicionales equivalentes A y B, resulta de inmediato que la forma A
B obtendrá el valor lógico V para cualquier sustitución de los símbolos correspondientes por proposiciones. En razón de la importancia de estas formas proposicionales se les da elnombre de
tautologías
si se obtiene el valor lógico de
V
para cualquier sustitución de sussímbolos por proposiciones. En forma natural lo anterior nos lleva a considerar las formas proposicionales que obtienen el valor lógico
F
 para cualquier sustitución de sus símbolos por proposiciones. A estas formas se les denomina
contradicciones.
Es claro que todas lastautologías son equivalentes. Por esta razón y dada la importancia de estas formas proposicionales, resulta conveniente tener un símbolo para denotarlas. Se denotará unatautología por ( I ) y por (0) una contradicción.A continuación se muestran algunas tautologías más utilizadas para la simplificación deexpresiones.1)p
 
¬
p2)p
p3)( p
q )
q4)p
( p
q )5)
[
p
( p
q)
]
 
q6)( p
q)
 
[
p
( q
r )
]
7)( p
q)
 
[
( p
r )
q
]
8)
[
( p
r )
q
]
 
( p
q)9)
[
p
( q
r )
]
 
( p
q)10) ( p
q)
 
[
( p
r )
( q
r )
]
11) ( p
q)
 
[
( p
r )
( q
r )
]
12)
[
( p
q)
( q
r)
]
 
( p
r )
2.5 EQUIVALENCIA LÓGICA
En todo sistema algebraico se necesita definir una relación que establezca bajo cualescondiciones dos expresiones son, para los efectos de la teoría en cuestión, esencialmenteiguales. Tal es por ejemplo, la relación de igualdad en álgebra elemental y la equivalenciaen lógica proposicional, que se definen a continuación.Sean A y B dos formas proposicionales en los símbolos ( p, q, r, s,.......n). Se dice que A y Bson equivalentes si se obtienen los mismos valores lógicos para cualquiera sustitución delos símbolos mencionados anteriormente, en este caso se escribe A
BA continuación se muestran algunas equivalencias más utilizadas para la simplificación deexpresiones.28
 
RAZONAMIENTO LÓGICO ___ Guía elaborada por el prof: Ing Héctor González C._
1)p
q
 
¬
p
q2)p
( p
q )
p3)p
( p
q )
q4)p
(
¬
 p
q)
p
q5)p
(
¬
 p
q)
p
q6)p
q
 
¬
q
 
¬
 p7)p
q
 
[
(p
 
¬
q)
0
]
 8)( p
q )
p
( q
r )9)( p
q )
( p
 
¬
r )
 
¬
q10) p
( q
r )
( p
q )
( p
r )11) p
( q
r )
( p
q )
( p
r )2.6 LEYES DEL ÁLGEBRA DE PROPOSICIONES
 
Leyes del Álgebra de Proposiciones
 
 
↔¬¬
Doble negación
 
 
Idempotencia
 
 
Idempotencia
 
(
q
r)
(
 p
 
 
q
)
 
Ley asociativa
 
(
q
r)
(
 p
 
)
Ley asociativa(
 
 
q
)
(
¬
q
→ ¬
 p
)Ley del contrarrecíproco(
 p
 
 
q
)
(
q
 
 p
)Ley conmutativa(
 p
 
 
q
)
(
q
 p
)Ley conmutativa
 
(
q
r)
(
 
q
)
(
 p
 
 
)Ley distributiva
 
(
q
r)
(
 
q
)
(
 p
 
 
)Ley distributiva
¬
(
 
 
q
)
↔ ¬
 p
 
 
¬
q
 Ley De Morgan
¬
(
 p
 
q
)
↔ ¬
 p
 
 
¬
q
 Ley De Morgan
¬
(
 
Q
)
 
∧ ¬
Q
 
 
 
Q
 
 
Q
)
 29
 
RAZONAMIENTO LÓGICO ___ Guía elaborada por el prof: Ing Héctor González C._
2.7 CUANTIFICADORES
Los
cuantificadores
nos permiten construir proposiciones a partir de funciones proposicionales ya sea particularizando o generalizando. Ejemplifiquemos esto. Siconsideramos la función proposicional
P(x) : x
es mayor que 0, podemos particularizar esto diciendo:
 Existe un número real que es mayor que 0
, ogeneralizarlo diciendo
Todos los números reales son mayores que 0.
 Notemos que tanto en la particularización como en la generalización se especifica unconjunto en donde toma valores la variable, en este ejemplo el conjunto son los númerosreales.Existe una notación especifica para la particularización y la generalización:
x
R | x > 0,
que se lee
existe un
x
R
tal que
x
es mayor que 0
; mientras que
x
R, x > 0
se lee
 para todo
x
R
 se cumple que
x
es mayor que
0
.
El símbolo
 
se llama
cuantificador universal 
y el símbolo
 
es el
cuantificador existencial 
Como ya lo hemos afirmado, un cuantificador transforma una función proposicional en una proposición, a la cual se le asigna un valor de verdad.
2.7.1 Cuantificador Universal (
)
Si p(x) es una función proposicional con extensión A = U, entonces se tiene que : para cadax
U se cumple la condición p(x). Este hecho lo simbolizaremos por:(
x
U) p(x), o bien
x
U : p(x)
2.7.2 Cuantificador Existencial (
)
Si p(x) es una función proposicional con extensión A
≠∅
, entonces se tiene que existe por lo menos un x
U para el cual se cumple la condición p(x). Este hecho lo simbolizamos por:(
x
U) p(x), o bien
x
U : p(x)30

Activity (163)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
Jhon Ari Coronel liked this
Julio Galárraga liked this
Renzo Lbtmstr liked this
Yamith Cuello liked this
cfisicaster liked this
jhonjoner liked this
Jorge Baldeón liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->