U P L A

Vicerrectorado Acadmico Av. Girldez Nro. 230 2do. Tel-Fax 238008

CARPETA ACADMICA
PENSAMIENTO LGICO MATEMTICO Lic. Judith Catherine Chvez Salinas

LGICA PROPOSICIONAL

DEFINICIN DE LGICA: LGICA: Lgica es el estudio de los procesos vlidos del razonamiento humano, el anlisis del lenguaje con criterio lgico es bsico, ya que esto va a permitir que el lector se identifique con estas formas de expresin, de anlisis y de interpretacin. El razonamiento lgico es entonces el medio por el cual una persona, en base a sus experiencias decide aceptar como vlido un principio y esta, es contrastada con el anlisis mediante la lgica proposicional y la aplicacin de sus leyes y propiedades.

PROPOSICIONES Una proposicin es un enunciado que tiene la propiedad esencial de ser verdadero o falso, pero no ambos simultneamente. Una proposicin se representa simblicamente con letras minsculas tales como: p, q, r, s, t, etc., (variables proposicionales). Cuando se trata de representar muchas proposiciones simblicas se utilizan subndices como

p1 , p2 , p3 , p4 ,..... pm

Cuando se evala la validez de una proposicin se refiere al hecho de que: una proposicin sea verdadera o falsa. Si el valor de verdad de p es verdad, se dice que la validez de verdad de la proposicin p es y se escribe verdad

V ( p) = V

Si el valor de verdad de p es falso, se dice que la validez de verdad de la proposicin p es falsa y se escribe

V ( p) = F

Ejemplos: Proposicin p: 6 es un nmero perfecto q: Lima es la capital de Amrica r: Todos los hombres son mortales. s: Huancayo pertenece a la regin norte. Valor de verdad

V ( p) = V (q) = V (r ) = V (s) =

No son proposiciones los siguientes casos: - Qu fecha es la evaluacin del curso? - Cuidado! - Prohibido fumar Estos ejemplos son considerados como enunciados; un enunciado es toda oracin o frase. Toda proposicin es un enunciado pero todo enunciado no es una proposicin.

U P L A

Vicerrectorado Acadmico Av. Girldez Nro. 230 2do. Tel-Fax 238008

CARPETA ACADMICA
PENSAMIENTO LGICO MATEMTICO Lic. Judith Catherine Chvez Salinas

Enunciado abierto Son expresiones que hacen uso de palabras como: el, ella, o variables x, y, z, etc., no tienen la prioridad de ser verdaderos o falsos, es decir, no son proposiciones pero que, si a una de estas palabras o variables se le asigna un objeto o valor, estas se convierten en proposiciones. Ejemplos: El juega tenis en el complejo Chorrillos. x+y+z=120 Ella est estudiando para su examen.

Tipos de proposiciones Proposiciones simples o elementales: elementales son aquellas que tienen un solo sujeto y un solo predicado. Ejemplo: p: Jos estudia arquitectura q: 33 es mltiplo de 12 r: Claudia present su informe estadstico. s: Mara escucha msica. Proposicin compuesta o moleculares: moleculares son aquellas proposiciones que estn compuestas por dos o ms proposiciones simples. Ejemplo: t: Bernardo estudia por la maana y trabaja por las tardes. s: Si Paola no entrega el informe entonces no hay reunin. q: No es cierto que maana entregaremos el trabajo.

Los enlaces como: y, o, si.entonces, entre otros por los que se compone las proposiciones compuestas se llaman conectivos lgicos. lgicos Conectivo Lgico Conjuncin: y, pero, etc. Disyuncin inclusiva (disyuncin): o Disyuncin exclusiva: oo Condicional (implicacin): si entonces Bicondicional (doble implicacin): Negacin: no si y slo s Smbolo

U P L A

Vicerrectorado Acadmico Av. Girldez Nro. 230 2do. Tel-Fax 238008

CARPETA ACADMICA
PENSAMIENTO LGICO MATEMTICO Lic. Judith Catherine Chvez Salinas

CONECTIVOS LGICOS Y TABLAS DE VERDAD a) Disyuncin: La disyuncin o suma lgica de las proposiciones son aquellas que estn enlazadas por el conectivo o. Su tabla de verdad es:

p
V V F F

q
V F V F

pq
V V V F

Ejemplo: p : 6 es menor que 5

q : 4 es mayor que 3 ( p q ) : 6 es menor que 5 o 4 es mayor que 3

b) Disyuncin exclusiva: la disyuncin exclusiva de dos proposiciones es verdadera si, solamente una de las dos proposiciones componentes es verdadera y el otro falso. Su tabla de verdad:

p
V V F F

q
V F V F

pq
F V V F

Ejemplo: p : La persona del frente es varn

q : La persona del frente es mujer ( pq ) : O la persona del frente es

varn o es mujer.

c) Conjuncin: Dada las proposiciones p y q, la composicin de estas dos proposiciones mediante el enlace y es conocida como conjuncin. Su tabla de verdad es:

p
V V F F

q
V F V F

pq
V F F F Ejemplo: p : 642 es mltiplo de 3

q : 5+2 =7 ( p q ) : 642 es mltiplo de 3 y 5+2=7

d) Condicional: Dada dos proposiciones diferentes, la proposicin que resulta al unir estas mediante el enlace sientonces que se denota mediante el smbolo como condicional o implicacin. Su tabla de verdad es:

, es la que se conoce

p
V V F F

q
V F V F

pq
V F V V La proposicin p es llamada ANTECEDENTE y la proposicin q CONSECUENTE

U P L A

Vicerrectorado Acadmico Av. Girldez Nro. 230 2do. Tel-Fax 238008

CARPETA ACADMICA
PENSAMIENTO LGICO MATEMTICO Lic. Judith Catherine Chvez Salinas

Ejemplo: p : Juan aprob sus cursos universitarios

q : Juan es bachiller en Arte y Diseo. ( p q ) : Si Juan aprob sus cursos universitarios entonces es bachiller en Arte y Diseo.
e) Bicondicional: Dadas dos proposiciones simples y diferentes; la proposicin compuesta que resulta al unir estas mediante el enlace si y slo si que se denota mediante el smbolo bicondicional o doble implicacin. Su tabla de verdad:

es la

p
V V F F

q
V F V F

pq
V F F V

Ejemplo: r : Luisa retira sus ahorros del banco s : Luisa compra un departamento ( r s ) : Luisa retira sus ahorros del banco si y slo si compra un departamento.

f) Negacin: Se denomina negacin de una proposicin por

" p " a otra proposicin que se denota

" p " , es decir, dada la proposicin p, su negacin es no p. su tabla de verdad es: p

V F

~P
F V

Ejemplo: p : Luisa compra un departamento

p : Luisa no compra un departamento

OPERACIONES CON PROPOSICIONES LGICAS Se tiene la siguiente tabla que indica el resumen de los diversos conectivos, estas son tiles

para efectuar las diversas operaciones y evaluar las distintas frmulas lgicas.

p
V V F F

q
V F V F

pq
V F F F

pq
V V V F

pq
V F V V

pq
V F F V

p q
F V V F

~P
F F V V

~q
F V F V

U P L A

Vicerrectorado Acadmico Av. Girldez Nro. 230 2do. Tel-Fax 238008

CARPETA ACADMICA
PENSAMIENTO LGICO MATEMTICO Lic. Judith Catherine Chvez Salinas

Observaciones: Observaciones : a) Son conectivos condicionales los trminos: porque, puesto que, ya que, si, cuando, cada vez que, etc. Todas se caracterizan porque despus de cada uno de estos conectivos est el antecedente o condicin. b) A toda condicional se le asocian otras tres proposiciones tambin importantes: la RECIPROCA, la INVERSA Y la CONTRARECPROCA

Proposicin recproca: recproca Dada la proposicin condicional p q , se llama proposicin recproca a la proposicin recproca que se denota

q p.

Proposicin Inversa: Inversa Dada la proposicin condicional la proposicin inversa que se denota p q .

p q , se llama proposicin recproca a

Proposicin contrarecproca: contrarecproca Dada la

proposicin condicional

p q , se llama proposicin

contrarecproca a la proposicin recproca que se denota q p .

Ejemplos: De las siguientes proposiciones encuentra el recproco, inversa y contrarecproca. Si Julio estudia entonces aprueba el curso. Recproca: Si Julio aprueba el curso entonces estudia. Inversa: Si Julio no estudia entonces no aprueba el curso. Contrarecproca: Si Julio no aprueba el curso entonces no estudia.

Si Patricia tiene 30 aos, entonces es joven. Recproca: Si Patricia es joven entonces tiene 30 aos. Inversa: Si Patricia no tiene 30 aos entonces no es joven Contrarecproca: Si Patricia no es joven entonces no tiene 30 aos

Si x es par, entonces, x es mltiplo de 2 Recproca: Si x es mltiplo de 2 entonces x es par. Inversa: Si x no es par entonces no es mltiplo de 2 Contrarecproca: Si x no es mltiplo de 2 entonces x no es par.

U P L A

Vicerrectorado Acadmico Av. Girldez Nro. 230 2do. Tel-Fax 238008

CARPETA ACADMICA
PENSAMIENTO LGICO MATEMTICO Lic. Judith Catherine Chvez Salinas

USO DE LOS SIGNOS DE AGRUPACIN Los signos de agrupacin (parntesis, corchetes, llaves) se usan en lgica cuando se trata de obtener esquemas lgicos ms complejos con el fin de evitar la ambigedad de las frmulas. As por ejemplo, la expresin:

p q r es ambigua; pero asociando sus trminos:

( p q) r

p (q r )

la expresin dada tiene un sentido y deja de ser ambigua.

Otra finalidad de los signos de agrupacin es darle mayor o menor jerarqua a los conectivos. En general,

es la conectiva de menor jerarqua, le siguen " "," "

que son de igual jerarqua, y

luego " " que es el de mayor jerarqua. Sin embargo, cada conectiva puede ser de mayor jerarqua si as lo indica el signo de coleccin. Ejemplo: Si 2 no es mltiplo de 4, entonces 2 es divisor de 4 o 4 es mltiplo de 2.

p : 2 es mltiplo de 4
q : 2 es divisor de 4

r : 4 es mltiplo de 2

entonces se simboliza:

p (q r)
Aqu, el smbolo de mayor jerarqua es

" " . Obsrvese que " " slo afecta a la variable

" p " y que " " est limitado por el parntesis.

Observacin: Observacin: La combinacin de las variables y los operadores o conectivos proposicionales por medio de los signos de agrupacin se denomina esquema molecular. En cada esquema molecular slo uno de los operadores es el de mayor jerarqua y es el que le da nombre a dicho esquema. Por ejemplo en los esquemas moleculares:

A = p (q r ) ; B = ( p q ) r p ; C = ( p q ) ( p r )
Podemos notar que los operadores de mayor jerarqua en A, B, y C son: los nombres que llevan cada uno de estos esquemas son: esquema

" "," " y " " y

condicional, esquema

bicondicional y esquema negativo, respectivamente.

U P L A

Vicerrectorado Acadmico Av. Girldez Nro. 230 2do. Tel-Fax 238008

CARPETA ACADMICA
PENSAMIENTO LGICO MATEMTICO Lic. Judith Catherine Chvez Salinas

EVALUACIN DE ESQUEMAS MOLECULARES POR LA TABLA DE VALORES Consiste en obtener los valores del operador principal a partir de la validez de cada una de las variables proposicionales. Para evaluar una tabla de verdad de dos variables proposicionales se necesita 4 valores de verdad, para evaluar una tabla de verdad de tres variables proposicionales se necesita 8 valores de verdad. En general, el nmero de valores de verdad que se asigna a cada variable resulta de aplicar la frmula 2 , donde n es el nmero de variables proposicionales que hay en el esquema molecular. Las combinaciones de todas las posibilidades de
n

V y F se hacen

en las columnas de referencia al margen izquierdo del esquema, luego se procede a aplicar la regla de cada uno de los operadores, empezando por el de menor alcance, hasta llegar al de mayor jerarqua.

Al evaluar un esquema lgico mediante la tabla de valores se tiene los siguientes casos: Es TAUTOLGICO: Cuando en la columna del conectivo central, todos son verdades (V); es decir, siempre es verdad para cualquiera de las combinaciones de valores de verdad. Es CONTRADICCIN: Cuando en la columna del conectivo central, todos son falsos (F); es decir, siempre es falsa para cualquiera de las combinaciones de valores de verdad. Es CONTINGENCIA: Cuando en la columna del conectivo central, todos son verdades (V) o falsos (F), es decir, no es tautologa ni contradiccin.

Ejemplos: Evaluar mediante la tabla de valores a) Evaluar la tabla de verdad del esquema molecular :

A = ( p q) ( p ) ( q )

p
V V F F

q
V F V F

( p q) ( p)
F V V V 2 V F F F 1 V V V V 6 F F V V 3 F V V V 5

( q )
F V F V 4

Pasos

U P L A

Vicerrectorado Acadmico Av. Girldez Nro. 230 2do. Tel-Fax 238008

CARPETA ACADMICA
PENSAMIENTO LGICO MATEMTICO Lic. Judith Catherine Chvez Salinas

Explicacin de los pasos: (1) Se aplic la conjuncin a los valores de verdad de p y q (2) Se aplic la negacin a la columna (1) (3) Se aplic la negacin a los valores de verdad de p. (4) Se aplic la negacin a los valores de verdad de q. (5) Se aplic la disyuncin inclusiva a los valores de verdad de las columnas 3 y 4.

(6) Finalmente se aplic la bicondicional a los valores de las columnas 2 y 5. En este ejemplo, el operador de mayor alcance es el bicondicional " " , cuya columna (todos Verdadero) se ha trazado con doble raya para facilitar la lectura final del resultado de la tabla de valores. b)

B = ( p q ) ( q p )

(
p q

q)
F V F V 2

F V F V 7

(q
V F V F 4

F V V V 6

p)
F F V V 5

V V F V V F F V F V V F F F V V Pasos 1 3 (1)Se aplic la negacin (2) (3) (4) (5) (6) (7)

Se aplic la negacin q Se aplic la condicional entre la negacin de p y la negacin de q Se volvi a copiar la proposicin q Se aplic la negacin

Se aplic la condicional entre las columnas 4 y 5 Finalmente se aplic la bicondicional entre las columnas 3 y 6.