UNIVERSIDAD FERMIN TORO ESCUELAS DE INGENIERIA CATEDRA ESTRUCTURAS DIACRETAS

ACTIVIDAD N1 PROPOSICIONES

Elaborado Por: Luisa Mirella Prez Daz C.I. 13.527.622

CABUDARE, NOVIEMBRE 2011

PROPOSICIONES Definicin de Proposiciones: cosas a las vez. Se distinguen dos tipos de proposiciones: simples y compuestas. Una proposicin se denomina simple cuando en ella no intervine ninguna conectividad lgica o termino de enlace (y, o, no, si...entonces..., si y slo si). Si se juntan una o varias proposiciones simples con un trmino de enlace, se forma una proposicin compuesta. Ejemplos de proposiciones simples: Hoy es jueves Hay clases de matemtica Coro es un municipio de Miranda El cielo es azul Ejemplos de proposiciones compuestas: Hoy es jueves y hay clases de matemtica Hoy es jueves o hay clases de matemtica Si hoy es jueves entonces hay clases de matemticas Hoy no hay clases de matemtica Operaciones Veritativas: Son conectivos lgicos o elementales, Como un enunciado cuyo contenido

esta sujeto a ser calificado como Verdadero o Falso, pero no ambas

smbolos que permiten enlazar o conectar proposiciones lgicas. Cuando una proposicin no contenga conectivos lgicos diremos que es una proposicin atmica o simple; y en el caso contrario, diremos que es una proposicin molecular o compuesta.

Conectivos lgicos: Nombre Negacin Conjuncin Disyuncin Disyuncin Exclusiva Condicional Bicondicional Tablas de la verdad: Estas tablas pueden construirse haciendo una interpretacin de los smbolos lgicos. La interpretacin corresponde al sentido que estas operaciones tienen dentro del razonamiento. Para la construccin de la tabla se asignar el valor 1(uno) a una proposicin cierta y 0 (cero) a una proposicin falsa. Tabla de la verdad de la negacin: Negacin: El valor de verdad de la negacin es el contrario de la proposicin negada. Si p es una proposicin, la negacin de P es otra proposicin identificada por: p p 1 0 Tabla de la verdad de la conjuncin: Conjuncin: Solamente si las componentes de la conjuncin son ciertas, la conjuncin es cierta. Smbolo Significado No, no en el caso que Y O O...O Si... entonces Si y solo si

p
0 1

p 1 1 0 0

q 1 0 1 0

P q 1 0 0 0

Tabla de la verdad de la disyuncin exclusiva: Sea p y q dos proposiciones. La disyuncin exclusiva de p y q es proposicin p q, que se lee o p o q y cuyo valor lgico esta dado por la siguiente tabla:

p 1 1 0 0

q 1 0 1 0

P q 0 1 1 0

Tabla de la verdad del condicional: El condicional solamente es falso cuando el antecedente es verdadero y el consecuente es falso. De la verdad no se puede seguir la falsedad. p q P q 1 1 1 1 0 0 0 1 1 0 0 1 Tabla de la verdad del bicondicional: El bicondicional solamente es cierto si sus componentes tienen el mismo valor de verdad.

p q 1 1 1 0 0 1 0 0 Tautologas y contradicciones:

Pq 1 0 0 1

Una tautologa es una forma proposicional que es verdad para cualquier valor lgico que se le asigne a sus variables proposicional. En otras palabras, una forma proposicional es una tautologa si en su tabla de verdad, la columna bajo su conectiva principal esta formada solo por unos. Ejemplo: p 1 1 0 0 1 q 1 0 1 0 1 (P q) p 1 1 0 1 1 1 0 1 2 3

Una contradiccin es una formula proposicional que es falsa para cualquier valor lgico que se le asigne a sus variables proposicionales; o sea, si la columna bajo su conectiva principal est formada solo por ceros Leyes del Algebra de Proposiciones: 1. Leyes Idempotentes pp p p ^pp (pq) rp(qr) (p^q) ^rp^ (q^r)

2. Leyes Asociativas

3. Ley conmutativa pqqp p^qq^p p(q^r) (pq) ^(pr) p^(qr) (p^q) (p^r) p0 p p^1p p11 p^00 Tercio Excluido p p1 Contradiccin p ^ p0 8. Doble negacin

4. Leyes distributivas

5. Leyes de identidad o de elemento neutro

6. Leyes de la dominacin

7. Leyes de Complementacin

pp 10 01
9. Ley de Morgan (pq) p^ q (p^q) p q

Otras equivalencias notables: Ley del condicional

Ley Ley Ley Ley Ley Ley

pq p q del bicondicional pq (Pq) ^ (qp) de la disyuncin exclusiva p (p^ q) (q^ p) q de contrareciproco pq qp de reduccin al absurdo (pq) (p^ q0) de demostracin por caso [(p r] (pr) ^ (qr) q) de la absorcin 1. p (p^q) p 2. p^(p p q)

Equivalencia e implicacin lgica: Sean A y B dos formas proporcionales. Diremos que A implica lgicamente a B, o simplemente A implica a B, y escribimos: AB Si y solo si la forma condicional AB es una tautologia. Razonamiento: Un razonamiento o una inferencia es la aseveracin de que una proposicin, llamada conclusin es consecuencia de otras proposiciones dadas llamadas premisas. Forma preposicional de un razonamiento: Un razonamiento con premisas P1, P2, P3, P4....Pn y conclusin C lo escribimos en forma preposicional como: P1 P2 P3 P4 . .

. Pn Ejemplo: El siguiente es un razonamiento: Si hoy es domingo, entonces maana habr examen. Si hoy es sbado, entonces maana es domingo. Mtodos de demostracin: Demostracin directa: En la demostracin directa debemos probar un a implicacin: Si n es par, entonces n2 es par. N es par, n2 es par Demostracin indirecta: Dentro de este mtodo veremos dos formas de demostracin: Mtodo contrareciproco: En lugar de probar P1 P3 PnC P2 ... Probamos: C (P1 P3 Pn) P2 ... Ejemplo: probar la validez del siguiente razonamiento, usando el metodo del contrareciproco. P q p p q Solucin: se debe probar que (pq) (pq p) en lugar de esta implicacin, probaremos su contraresiproco: (pq) (pq p) o sea, debemos p p q P q Luego se demuestra por las leyes mencionadas anteriormente, Ley del condicional, ley de Morgan, ley distributiva y otras. probar que el siguiente razonamiento es valido:

Reduccin de absurdo: La ley de reduccin al absurdo nos dice que: (P1 P3 Pn C) (P1 P3 Pn C0) P2 .... P2 .... luego si al agregara las premisas la negacin de la conclusin se obtiene como consecuencia lgica, una contradiccin, entonces el razonamiento es valido. La contradiccin que aparece es de la forma: q q. Inferencias: Modus poniendo ponens (MPP) p q p q Modus tollendo Tollens: pq ~q ~p Silogismo Disyuntivo pq ~q P (pq) ^~q p (pq) ^~p q o pq ~p q (pq) ^(qr) (pr) (pq) ^~q ~p (pq) pq

Silogismo Hipotetico

pq qr pr Ley de la simplificacin p p pq p pq q pq q pq p^qp p^qq p^q q

p^q

Ley de la adicin

Ley de la conjuncin (p) ^ (q) (p^q) p q p^q Una vez realizada la lectura sobre los temas relacionados a la unidad 1 y realizado el desarrollo de la temtica de la misma esto nos permite comprender e introducirnos en los conocimientos del calculo proposicional, para as tener una base para la elaboracin de los ejercicios y sustentar los conocimientos.