Preposiciones

name
Page 1 of 31
Proposiciones
PROPOSICIONES Una proposicin es un enunciado cuyo contenido est sujeto a ser calificado como "verdadero" o "falso", pero no ambas cosas a la vez. Toda proposicin tiene una y solamente una alternativa. 1: Verdadero 0: Falso Ejemplos Los siguientes enunciados son proposiciones: Coro es un municipio de Miranda (falso). Los estudiantes de UFT son aplicados (verdadero). El hidrgeno es un gas (verdadero). Algunos estudiantes son universitarios (verdadero). Todo estudiante es universitario (falso). Los siguientes enunciados no son proposiciones: Qu hora es?. Estudie!. Ojal que llueva caf. Levntate temprano!. No corras, el pas te necesita. Cmo te llamas? Notacin: Las proposiciones se notarn con letras minsculas p, q, r, s, t, ya que las letras maysculas las usaremos para denotar los conjuntos. Ejemplos P: La matemtica es una ciencia. q: 2 es un nmero impar. r: maana es 27 de junio. Llamaremos valor lgico de una proposicin, el cual denotaremos por VL, al valor 1 si la proposicin es verdadera; y 0 si es falsa. Como ejemplo de las proposiciones anteriores, podemos decir que VL(P)=1, VL(q)=0. Los Conectivos u Operadores Lgicos son smbolos o conectivos que nos permiten construir otras proposiones; o simplemente unir dos o ms proposiciones, a partir de proposiciones dadas. Cuando una proposicin no contiene conectivos lgicos diremos que es una proposicin atmica o simple; y en el caso contrario, diremos que es una proposicin molecular o compuesta. Ejemplos de Proposiciones Atmicas -Coro es un municipio de Miranda. -Los estudiantes de UFT son aplicados. -El oxgeno es un gas. -Algunos estudiantes es indagador. -Todo estudiante universitario es inteligente. A continuacin daremos una tabla de los conectivos que se usarn y la operacin que se realiza con cada uno de ellos para formar nuevas proposiciones. Estas operaciones son llamadas operaciones veritativas. Aqu g y t representan dos proposiones cualesquiera.
Sitio: Aula Virtual UFT-SAIA Curso: Estructuras Discretas I - 2011/04 - Domingo Mendez - SAIA A Libro: Proposiciones Imprimido por: Miguel Angel Guevara Jimenez Fecha: Saturday, 12 de November de 2011, 17:36
http://saia.uft.edu.ve/ead/mod/book/print.php?id=192432
12/11/2011
name
Page 2 of 31
Tabla de contenidos
1 .Proposiciones 2 .Operaciones Veritativas 3 .Conectivos logicos: La negacin 4 .La conjuncin 5 .La disyuncin inclusiva 6 .La disyuncin exclusiva 7 .El condicional 8 .El Bicondicional 9 .Tablas de Verdad de las formas proposicionales 10 .Tautologias y Contradicciones 11 .Leyes del Algebra de Proposiciones 12 .Equivalencia e Implicacin logica 13 .Razonamientos 14 .Mtodos de Demostracin 15 .Inferencia 16 .Circuitos Logicos
12/11/2011
name
Page 3 of 31
1 .Proposiciones
Una proposicin es un enunciado cuyo contenido est sujeto a ser calificado como "verdadero" o "falso", pero no ambas cosas a la vez. Toda proposicin tiene una y solamente una alternativa. 1: Verdadero 0: Falso Ejemplos Los siguientes enunciados son proposiciones: Coro es un municipio de Miranda (falso). Los estudiantes de UFT son aplicados (verdadero). El hidrgeno es un gas (verdadero). Algunos estudiantes son universitarios (verdadero). Todo estudiante es universitario (falso). Los siguientes enunciados no son proposiciones: Qu hora es?. Estudie!. Ojal que llueva caf. Levntate temprano!. No corras, el pas te necesita. Cmo te llamas? Notacin: Las proposiciones se notarn con letras minsculas p, q, r, s, t, ya que las letras maysculas las usaremos para denotar los conjuntos. Ejemplos P: La matemtica es una ciencia. q: 2 es un nmero impar.
12/11/2011
name
Page 4 of 31
r: maana es 27 de junio. Llamaremos valor lgico de una proposicin, el cual denotaremos por VL, al valor 1 si la proposicin es verdadera; y 0 si es falsa. Como ejemplo de las proposiciones anteriores, podemos decir que VL(P)=1, VL(q)=0.
12/11/2011
name
Page 5 of 31
2 .Operaciones Veritativas
Los Conectivos u Operadores Lgicos son smbolos o conectivos que nos permiten construir otras proposiones; o simplemente unir dos o ms proposiciones, a partir de proposiciones dadas. Cuando una proposicin no contiene conectivos lgicos diremos que es una proposicin atmica o simple; y en el caso contrario, diremos que es una proposicin molecular o compuesta. Ejemplos de Proposiciones Atmicas -Coro es un municipio de Miranda. -Los estudiantes de UFT son aplicados. -El oxgeno es un gas. -Algunos estudiantes es indagador. -Todo estudiante universitario es inteligente. A continuacin daremos una tabla de los conectivos que se usarn y la operacin que se realiza con cada uno de ellos para formar nuevas proposiciones. Estas operaciones son llamadas operaciones veritativas. Aqu g y t representan dos proposiones cualesquiera.
12
12/11/2011
name
Page 6 of 31
12/11/2011
name
Page 7 of 31
3 .Conectivos logicos: La negacin

Tabla de verdad de los conectivos logicos Sea p una proposicin, la negacin de p es otra proposicin identificada por: ~ p, que se lee "no p", "no es cierto que p", "es falso que p", y cuyo valor lgico est dado por la negacin de dicha proposicin.
La tabla anterior dice, que ~ p es falsa cuando p es verdadera y que ~ p es verdadera cuando p es falsa. Este mismo resultado lo podemos expresar en forma analtica mediante la siguiente igualdad: VL (p)= 1- VL(~ p) En efecto Si VL(~ p) = 1, entonces VL(p) = 1 - VL(~ p) = 1-1 = 0 Si VL(~ p) = 0, entonces VL(p) = 1 - VL(~ p) = 1- 0 = 1 Ejemplo Si p es la proposicin P: Barcelona es un estado Oriental. Entonces su negacin se puede expresar de tres formas: ~ p: Es falso que Barcelona es un estado Oriental. ~ p: No es cierto que Barcelona sea un estado Oriental. ~ p: Barcelona no es un estado Oriental. ~ p: De ninguna manera Barcelona es un estado Oriental. La tabla anterior dice, que ~ p es falsa cuando p es verdadera y que ~ p es verdadera cuando p es falsa. Este mismo resultado lo podemos expresar en forma analtica mediante la siguiente igualdad: VL (p)= 1- VL(~ p)
12/11/2011
name
Page 8 of 31
En efecto Si VL(~ p) = 1, entonces VL(p) = 1 - VL(~ p) = 1-1 = 0 Si VL(~ p) = 0, entonces VL(p) = 1 - VL(~ p) = 1- 0 = 1 Ejemplo Si p es la proposicin P: Barcelona es un estado Oriental. Entonces su negacin se puede expresar de tres formas: ~ p: Es falso que Barcelona es un estado Oriental. ~ p: No es cierto que Barcelona sea un estado Oriental. ~ p: Barcelona no es un estado Oriental. ~ p: De ninguna manera Barcelona es un estado Oriental.
12/11/2011
name
Page 9 of 31
4 .La conjuncin
Definicin: Sean p y q dos proposiciones. La conjuncin de p y q es la proposicin p q, que se lee "p y q", y cuyo valor lgico est dado con la tabla o igualdad siguiente:
VL(p^q) = min (VL(p), VL(q)) en otras palabras el menor valor de los nmeros dados. Ejemplo Si, p: El Negro Primero pele en Carabobo. q: Bolvar muri en Colombia. r: Miranda naci en Coro. Entonces 1. p ^ q: El Negro Primero pele en Carabobo y Bolvar muri en Colombia. Adems, VL(p ^ q) = 1, ya que VL(p)= 1 y VL(q)= 1. 2. q ^ r: Bolvar muri en Colombia y Miranda naci en Coro. Adems, VL(q ^ r) = 0, ya que VL(q)= 1 y VL(r)= 0.
12/11/2011
name
Page 10 of 31
5 .La disyuncin inclusiva

Definicin: Sean p y q dos proposiciones. La disyuncin de p y q es la proposicin p vq, que se lee "p o q", y cuyo valor lgico est dado por la tabla siguiente:
VL(pvq)=mximo valor(VL(p),VL(q)). Ejemplo Si p: La estatua de la Divina Pastora est en Barquisimeto. q: La estatua de Miranda est en Caracas. r: El Chorro de Milla est en Carabobo. Entonces 1. p v q: La estatua de la Divina Pastora est en Barquisimeto o La estatua de Miranda est en Caracas. VL(pvq)=1, ya que VL(p)=1 y VL(q) = 0. b. q v r: La estatua de Miranda est en Caracas o El chorro de Milla est en Carabobo. VL(q v r)= 0, ya que VL(q)= 0 y VL(r) = 0. Ya hemos vistos dos de los conectivos ms usados como lo son la conjuncin y la disyuncin, pero pudiramos tener una proposicin con combinacin de ambos conectivos, de las cuales existen dos que reciben un nombre especial como son las formas normales, que se clasifican en normal conjuntiva y normal disyuntiva.
12/11/2011
name
Page 11 of 31
6 .La disyuncin exclusiva

Definicin: Sean p y q dos proposiciones. La disyuncin exclusiva de p y q es la proposicin p vq, que se lee "o p o q", y cuyo valor lgico est dado por la tabla. En otras palabras, la disyuncin exclusiva es falsa slo cuando los valores de p y q son iguales. VL(pv q) = 0 si VL (p) = VL ( q ).
Ejemplo Si, p: 17 es un nmero primo. q: 17 es un nmero par. r: 17 es mayor que 2. Entonces1.p v q: 17 es un nmero primo 17 es un nmero par VL(p v q) = 1, ya que VL(p) = 1 y VL(q) = 0. p v r: 17 es un nmero primo 17 es mayor que 2 VL(p r) = 0, ya que VL(p) = 1 y VL(r) =1
12/11/2011
name
Page 12 of 31
7 .El condicional
Definicin: Sean p y q dos proposiciones. El condicional con antecedente p y consecuente q es la proposicin p q, que se lee "si p, entonces q", y cuyo valor lgico est dado por la siguiente tabla: Ejemplo a. Observe las proposiciones condicionales siguientes: 1. Si 5 es primo, entonces 2 + 1 = 3 (Verdadera). 2. Si 5 es primo, entonces 2 + 1 = 4 (Falsa). 3. Si 6 es primo, entonces 2 + 1 = 3 (Verdadera). 4. Si 6 es primo, entonces 2 + 1 = 4 (Verdadera). Condicin Necesaria y Condicin Suficiente El condicional es una de las proposiciones ms importantes en la matemtica, ya que la mayora de teoremas vienen dados en esa forma. En los teoremas, el antecedente es llamado hiptesis y el consecuente tesis. Un condicional puede ser expresado tambin con las llamadas condiciones necesarias y suficientes. El antecedente es la condicin suficiente y el consecuente la condicin necesaria. As el condicional A C puede ser ledo de las siguientes maneras: 1. Si A entonces C 2. C es condicin necesaria para A 3. Una condicin necesaria para A es C 4. A es condicin suficiente para C 5. Una condicin suficiente para C es A 6. C si A 7. A slo si C 8. A solamente si C b. El siguiente ejemplo fue tomado del libro "Fundamentos de la Matemtica", de Jorge Saenz. Sean las proposiciones:
12/11/2011
name
Page 13 of 31
t: La figura es un rectngulo. c: La figura es un cuadrado. r: La figura es un rombo. d: La figura es un cuadriltero. Expresar simblicamente las siguientes proposiciones: 1. La figura es un cuadrado slo si la figura es un rectngulo. 2. Una condicin suficiente para que la figura sea un rombo es que la figura sea un cuadrado. 3. Una condicin necesaria para que la figura sea un rectngulo es que la figura sea un cuadriltero . 4. Que la figura sea un cuadrado es condicin necesaria para que la figura sea un rombo y un rectngulo. Solucin a) c t b) c r c) t d d) (r ^ t) c .
Condicionales Asociados Dado un condicional pq podemos asociarles los siguientes condicionales: 1. Directo: p q 2. Recproco: q p 3. Contrarrecproco: ~ q ~ p 4. Contrario: ~ p ~ q Ejemplo Escribir el recproco, contrarrecproco y contrario del siguiente condicional: Si 5 es primo entonces 7 es impar. Solucin * Recproco: Si 7 es impar entonces 5 es primo. * Contrario: Si 5 no es primo entonces 7 no es impar.
12/11/2011
name
Page 14 of 31
* Contrarrecproco: Si 7 no es impar entonces 5 no es primo.
12/11/2011
name
Page 15 of 31
8 .El Bicondicional
Definicin: Sean p y q dos proposiciones. Se llama Bicondicional de p y q a la proposicin p q, que se lee "p si slo si q", o "p es condicin necesaria y suficiente para q", y cuyo valor lgico es dado por la siguiente tabla. p 1 1 0 0 q 1 0 1 0 Pq 1 0 0 1
o en otras palabras el VL (P q ) = 1 si VL (p) = VL (q) La tabla nos dice que p q es verdadero cuando VL(p) = VL(q), y esa falsa cuando VL(p) VL(q) Ejemplo N 1. Consideremos las siguientes proposicones: a: 2 + 1 = 3 si y slo si 2< 3 b: 2 + 1 = 3 si y slo si 2 > 3 c: 2 + 1 = 4 si y slo si 2 > 3 d: 2 + 1 = 4 es condicin necesaria y suficiente para que 2< 3. Entonces VL(a)=1, VL(b)= 0, VL(d) = 0 Ejemplo N 2. Construir la "Tabla de Verdad" para las proposiciones dadas: (p q) ~ (p r) Solucin (p q) ~ (p r) 111 111 100 100 011 011 010 010 0 1 0 0 0 0 0 0 0111 1100 0111 1100 0011 0010 0011 0010
Formas Proposicionales A las nuevas expresiones que se obtienen al aplicar los conectivos lgicos a las variables
12/11/2011
name
Page 16 of 31
proposicionales p, q, r, s, t, etc., se les llaman formas proposicionales, por ejemplo t (q ~ r) ~ [(p s) (r q)] son formas proposicionales y podemos decir, para ser ms preciso que las variables proposicionales tambin son formas proposicionales.
12/11/2011
name
Page 17 of 31
9 .Tablas de Verdad de las formas proposicionales

Tablas de verdad Las tablas de verdad permiten determinar el valor de verdad de una proposicin compuesta y depende de las proposiciones simples y de los operadores que contengan. Es posible que no se conozca un valor de verdad especfico para cada proposicin; es este caso es necesario elaborar una tabla de verdad que nos indique todas las diferentes combinaciones de valores de verdad que pueden presentarse. Las posibilidades de combinar valores de verdad dependen del nmero de proposiciones dadas. Para una proposicin (n = 1), tenemos 21 = 2 combinaciones Para dos proposiciones (n = 2), tenemos 22 = 4 combinaciones Para tres proposiciones (n = 3), tenemos 2 3 = 8 combinaciones Para n proposiciones tenemos 2n combinaciones Ejemplo: dado el siguiente esquema molecular, construir su tabla de valores de verdad: Pasos para construir la tabla: ( p q) (p r) 1. Determinamos sus valores de verdad 2 3 = 8 combinaciones 2. Determinamos las combinaciones:
p V V V V F F F F
q V V F F V V F F
r V F V F V F V F
3. Adjuntamos a ste cuadro el esquema molecular y colocamos debajo de cada una de la variables sus valores de verdad :
12/11/2011
name
Page 18 of 31
p V V V V F F F F
q V V F F V V F F
r V F V F V F V F
(p F F F F V V V V (4)
F F F F V V F F
q ) V V F F V V F F
V F V F V V F F
(p V V V V F F F F
F V F V V V V V (5)
r) F V F V F V F V
(6)
12/11/2011
name
Page 19 of 31
12/11/2011
name
Page 20 of 31
10 .Tautologias y Contradicciones
Proposicin Tautolgica o Tautologa
Definicin: Es aquella proposicin molecular que es verdadera (es decir, todos los valores de verdad que aparecen en su tabla de verdad son 1) independientemente de los valores de sus variables.
U1t1img3.1.jpg
Ejemplo: Probar que P ~ P es una tautologa P~P 110 011 Contradiccin

Definicin: Es aquella proposicin molecular que siempre es falsa (es decir cuando los valores de verdad que aparecen en su tabla de verdad son todos 0) independientemente de los valores de sus variables proposicionales que la forman. Por ejemplo, la proposicin molecular del ejemplo siguiente es una contradiccin, p p, para chequearlo recurrimos al mtodo de las tablas de verdad.
Ejemplo: Probar que p ~ p es una contradiccin p~p 1 0 0 0 0 1
12/11/2011
name
Page 21 of 31
11 .Leyes del Algebra de Proposiciones

1. Leyes Idempotentes 1.1. p p p 1.2. p p p 2. Leyes Asociativas 2.1. (P q) r p (q r) 2.2. (P q) r p (q r) 3. Leyes Conmutativas 3.1. P q q p 3.2. P q q p 4. Leyes Distributivas 4.1. P ( q r ) ( p q ) (p r) 4.2. P ( q r ) ( p q ) (p r) 5. Leyes de Identidad 5.1. P F P 5.2. P F F 5.3. P V V 5.4. P V P 6. Leyes de Complementacin 6.1. P ~ P V (tercio excluido) 6.2. P ~ P F (contradiccin) 6.3. ~ ~ P P (doble negacin) 6.4. ~ V F, ~ F V 7. Leyes De Morgan 7.1. ~ ( P q ) ~ P ~ q 7.2. ~ ( P q ) ~ P ~ q Otras Equivalencias Notables a. p q ~ p q (Ley del condicional) b. p q (p q) (q p) (Ley del bicondicional) c. p q ( p ~ q ) ( q ~ p ) (Ley de disyuncin exclusiva) d. p q ~ q ~ p (Ley del contrarrecproco) e. p q ~ ( ~ p ~ q ) f. ( (p q ) r ) ( p r ) (q r ) (Ley de demostracin por casos)
12/11/2011
name
Page 22 of 31
g. (p q) (p ~ q F) (Ley de reduccin al absurdo) Todas las equivalencias que aparecen en ambos cuadros pueden ser probadas. Para esto, slo se tiene que verificar que el bicondicional correspondiente es una tautologa. Para muestra, vamos a probar dos de estas leyes, dejando el resto como ejercicio para el lector. Ejemplo a. Probar la primera Ley de De Morgan: ~ ( P q ) ~ P ~ q b. Probar la Ley del contrarrecproco: p q ~ q ~ p Solucin Debemos probar que los siguientes bicondiconales son tautologas: a. ~ ( P q ) ~ P ~ q b. (P q) ( ~ q ~ p) 011110001111000 011010001001100 001111000111011 100011110101111 Ejemplo 1. Expresar el bicondicional usando solamente la negacin y la disyuncin Solucin P q ~ ( p q ) ( q p ) ( Ley del bicondicional ) ( ~ p q ) (~ q p ) ( Ley condicional ) ~ ( ~ (~ p q ) ~ (~ q p ) ) 2. Probar deductivamente la ley de exportacin ( p q ) r ) ( p (q r ) Solucin ( p q ) r ~ ( p q ) r ( Ley condicional ) (~ p ~ q) r ( Ley de De Morgan) ~ p (~ q r ) ( Ley asociativa ) ~ p (q r) ( Ley condicional) Es evidente que cualquier forma proposicional que es equivalente a una tautologa o a una contraccin, tambin es una tautologa o una contraccin, respectivamente. 3. Usando las leyes del lgebra de proposiciones, probar que es una tautologa. ( p ( p q))q Solucin ( p ( p q ) ) q ~ ( p (~ p q ) q ( Ley del condicional )
12/11/2011
name
Page 23 of 31
~ p ~ (~ p q ) q ( Ley de De Morgan) ~ p (~ (~ p q ) q ) ( Ley asociativa ) ~ p (q ~ (~ p q) (Ley conmutativa ) (~ p q ) ~ (~ p q ) ( Ley asociativa ) v ( Ley del tercio Excluido ) Luego, ( p ( p q ) ) q , por ser equivalente a una tautologa, es tambin una tautologa. Una de las grandes utilidades de las leyes dadas anteriormente es que nos permiten simplificar proposiciones; el ejercio anterior es una prueba de ello. El procedimiento probar que una proposicin es equivalente a otra usando las leyes del lgebra proposicional, es llamada prueba deductiva.
12/11/2011
name
Page 24 of 31
12 .Equivalencia e Implicacin logica

Definicin: Sean A y B dos formas proposicionales. Se dice que A Implica Lgicamente a B, o simplemente A implica a B, y se escribe: A B si el condicional A B es una tautologa Ejemplos Dos implicaciones lgicas muy conocidas son las leyes de simplificacin y adicin, las cuales probaremos a continuacin. (Ley de Simplificacin) Probar que p q implica lgicamente a p; o sea, ( p q ) p (Ley de Adicin) Probar que p implica lgicamente a p q; o sea, p ( p q ) Solucin Debemos probar que (p q) p y p (p q) son tautologa:
12
Definicin (Proposiciones Equivalentes) Sean A y B dos formas proporsicionales. Diremos que A es Lgicamente Equivalente a B, o simplemente que A es equivalente a B, y escribimos A B o A B, Si y slo si la forma bicondicional A B es una tautologa. Ejemplo ( Ley del condicional ) Probar que p q es lgicamente equivalente a ~ p v q; esto es, (P q) (~ P q) Solucin Debemos probar que (P q) (~ P q) es una tautologa.
12/11/2011
name
Page 25 of 31
12
12/11/2011
name
Page 26 of 31
13 .Razonamientos
Definicin: Un razonamiento o una inferencia es la aseveracin de que una proposicin, llamada conclusin es consecuencia de otras proposiciones dadas llamadas premisas. Forma Proposicional de un Razonamiento Un razonamiento con premisas P1, P2, P3, P4, & .., Pn y conclusin C lo escribiremos en forma proposicional como: P1 P2 P3 P4 . . . Pn ---C Ejemplo1: El siguiente es un razonamiento: Si hoy es domingo, entonces maana habr examen. Si hoy es sbado, entonces maana no hay examen. Hoy es domingo. Luego, maana habr examen. Este razonamiento lo podemos simbolizar de la manera siguiente: Premisa 1: d e Premisa 2: s ~ e Premisa 3: d ----------------------.
U1t1img3.2.jpg
12/11/2011
name
Page 27 of 31
Conclusin: e Donde: d: hoy es domingo s: hoy es sbado e: maana habr examen Ejemplo 2: El siguiente es otro razonamiento lgico: Si el animal vuela, entonces el animal tiene alas. Si el animal tiene alas, entonces el animal es un pjaro. Luego, si el animal vuela, entonces el animal es un pjaro. Simblicamente lo podemos representar de la manera siguiente: v a Donde v: el animal vuela a p a: el animal tiene alas _____ p: el animal es un pjaro vp En este razonamiento podemos notar que la conclusin es falsa, puesto que existen otros animales que tambin vuelan pero no son pjaros. Nos interesaremos en aquellos razonamientos en los que premisas verdaderas derivan conclusiones verdaderas, stos son los razonamientos correctos. Definicin: Diremos que un razonamiento es vlido o correcto si la conjuncin de premisas implica lgicamente la conclusin, en otro caso se dice que es no vlido. Un razonamiento que no es vlido es llamado falacia. Para saber si un razonamiento es vlido utilizaremos una serie de pasos lgicos, tomando en cuenta las premisas para llegar a la conclusin. Este procedimiento es llamado demostracin. En general, llamaremos demostracin al encadenamiento de proposiciones que nos permitan obtener otra proposicin llamada conclusin, a partir de ciertas proposiciones iniciales supuestas verdaderas. Las proposiciones iniciales las llamaremos premisas y constituyen las hiptesis de la demostracin.
12/11/2011
name
Page 28 of 31
14 .Mtodos de Demostracin
Demostracin Directa En la demostracin directa debemos probar una implicacin: P q. Esto es, llegar a la conclusin q a partir de la premisa p mediante una secuencia de proposiciones en las que se utilizan axiomas, definiciones, teoremas o propiedades demostradas previamente. Demostracin Indirecta Dentro de este mtodo veremos dos formas de demostracin: Mtodo del Contrarrecproco: Otra forma proposicional equivalente a p C nos proporciona la Ley del contrarrecproco: P C C P. Esta equivalencia nos proporciona otro mtodo de demostracin, llamado el mtodo del contrarrecproco, segn el cual, para demostrar que p C, se prueba que C P. En el siguiente enlace encontrar ejemplos del mtodo del contrarrecproco, haga clic Aqu Demostracin por Reduccin al Absurdo: Veamos que la proposicin p q es tautolgicamente equivalente a la proposicin (p q) (r r) siendo r una proposicin cualquiera, para esto usaremos el til mtodo de las tablas de verdad.
12/11/2011
name
Page 29 of 31
15 .Inferencia
1. Modus Ponendo Ponens(MPP) (p q) p q p q p ---------q
2. Modus Tollendo Tollens (MTT) (p q) q p p q q ----------p
3. Silogismo Disyuntivo (S.D) (p q) q p (p q) p q pq q -----------p
pq
p
----------q
4. Silogismo Hipottico(S.H) (p q) (q r) (p r) p q q r ---------p r
5. Ley de Simplificacin pqp pqq 6. Ley de la Adicin p p q qpq 7. Ley de Conjuncin ( p ) ( q) ( p q) p q --------pq p ---------pq q --------pq pq p pq q
12/11/2011
name
Page 30 of 31
16 .Circuitos Logicos
Los circuitos lgicos o redes de conmutacin los podemos identificar con una forma
proposicional. Es decir, dada una forma proposicional, podemos asociarle un circuito; o dado un circuito podemos asociarle la forma proposicional correspondiente. Adems, usando las leyes del lgebra proposicional podemos simplificar los circuitos en otros ms sencillos, pero que cumplen la misma funcin que el original. Veamos los siguientes interruptores en conexin:
12
Conexin en serie pq
12
la cual se representa como
Conexin en paralelo
la cual se representa como p q
Estas representaciones nos servirn de base para la correspondencia entre los circuitos y las proposiciones. Ejemplo: Construir el circuito correspondiente a cada una de las siguientes expresiones: i) p (q r) (ii) (p q) [( p r) ~ s)] (iii) t [q (s p)] Sol
12
i)
12
(q r)
ii)
: (p
q) [( p r) s)]
12/11/2011
name
Page 31 of 31
12
iii) Ejemplo: Simplificar el siguiente circuito:

12
:t
[q (s p)]
<!
Sol (p q) ( p q) ( p q) [(p q) ( p q)] ( p q) [(p p) q] ( p q) [F q] ( p q) q ( p q) ( q p) (q q) ( q p) F ( q p)
12
As, el circuito se simplifica a:
12/11/2011

Preposiciones

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Preposiciones

Uploaded by

Copyright:

Available Formats

name

3 .Conectivos logicos: La negacin

5 .La disyuncin inclusiva

6 .La disyuncin exclusiva

* Contrarrecproco: Si 7 no es impar entonces 5 no es primo.

9 .Tablas de Verdad de las formas proposicionales

Ejemplo: Probar que P ~ P es una tautologa P~P 110 011 Contradiccin

Ejemplo: Probar que p ~ p es una contradiccin p~p 1 0 0 0 0 1

11 .Leyes del Algebra de Proposiciones

12 .Equivalencia e Implicacin logica

2. Modus Tollendo Tollens (MTT) (p q) q p p q q ----------p

3. Silogismo Disyuntivo (S.D) (p q) q p (p q) p q pq q -----------p

4. Silogismo Hipottico(S.H) (p q) (q r) (p r) p q q r ---------p r

la cual se representa como

la cual se representa como p q

iii) Ejemplo: Simplificar el siguiente circuito:

As, el circuito se simplifica a:

You might also like