U.

A N 01 HACIA UNA LGICA CONSTRUCTIVA Y CREATIVA TEMA: LAS OPERACIONES CON PROPOSICIONES
Operaciones con Proposiciones: Combinando proposiciones simples obtenemos proposiciones compuestas mediante operaciones lgicas, las ms importante son: LA CONJUNCIN: operacin que une 2 proposiciones simples por medio del conectivo lgico y( ). Simblicamente: p q p q V V F Es verdadera si necesaria y obligatoriamente V F V una de las 2 proposiciones es verdadera F V V F F F LA NEGACIN: Operacin que niega una proposicin. Sea p una proposicin su negacin ser p y se lee no p o tambin No es cierto que p. Ejemplo: Su tabla de verdad: p: 5004 es divisible por 9 p p p : 5004 NO es divisible por 9 V F F V p : No es cierto que 5004 sea divisible por 9 LA CONDICIONAL(IMPLICATIVA): Operacin que une 2 proposiciones simples por medio del conector Si . , entonces . Simblicamente:

p q

Se lee p y q

Ejemplo: p: Chan Chan se encuentra en la regin Libertad q: La paz es capital de Bolivia p q : Chan Chan se encuentra en la regin Libertad y La Paz es capital de Bolivia. Su tabla de verdad: p q p q V V V Slo es verdadera si ambas proposiciones V F F son verdaderas F V F F F F Accin: Construye 2 proposiciones simples y nelas con el conectivo y( ), para luego determinar su valor de verdad de acuerdo a la tabla. LA DISYUNCIN INCLUSIVA(DBIL): Operacin que une 2 proposiciones simples por medio del conectivo o(). Es la disyuncin ms usada. Simblicamente:

Sean p y q proposiciones su condicional

p q se lee Si p, entonces q

La 1ra proposicin recibe el nombre de antecedente La 2da proposicin se le denomina consecuente Ejemplo: p: 32 tiene 7 divisores q: 32 es un nmero compuesto

p q : Si 32 tiene 7 divisores, entonces es un nmero compuesto.

Su tabla de verdad: p q p q Slo es falsa si el antecedente es verdadero y el V V V consecuente falso. V F F F V V F F V Accin: Construye 2 proposiciones simples y nelas con el conectivo Si, entonces(), para luego determinar su valor de verdad de acuerdo a la tabla.

p q

Se lee p o q

Ejemplo: p: 2806 es mltiplo de 7 q: 2806 es mltiplo de 3 p q : 2806 es mltiplo de 7 o es mltiplo de 3 Su tabla de verdad: p q p q V V V Es verdadera si al menos una de las V F V proposiciones es verdadera F V V F F F Accin: Construye 2 proposiciones simples y nelas con el conectivo o( ), para luego determinar su valor de verdad de acuerdo a la tabla. LA DISYUNCIN EXCLUSIVA(FUERTE): Operacin que une 2 proposiciones simples por medio del conector O . o( ) ( ). Simblicamente:

Cundo 2 proposiciones son equivalentes?: se dice que 2 proposiciones son equivalentes, cuando las condiciones p q y q p son verdaderas:
Entonces las proposiciones p y q p q q p son equivalentes (v) (v) LA BICONDICIONAL(DOBLE CONDICIONAL): Une 2 proposiciones simples por medio del conector lgico si y slo si. Simblicamente: Se lee p si y slo si q p q Su tabla de verdad: p q p q Slo es verdadera si ambas proposiciones son V V V verdaderas o falsas. V F F F V F F F V
Resp. Prof. C.E.N.A- IEMA 2012

p q
Ejemplo: p: 17 es nmero primo q: 85 es nmero compuesto

Se lee

O p o q

p q : O 17 es nmero primo o 85 es nmero compuesto Su tabla de verdad: