UNIVERSIDAD DE PIURA

FACULTAD DE CIENCIAS ECONMICAS Y EMPRESARIALES

PROGRAMA ACADMICO DE ECONOMA

LGICA PROPOSICIONAL

1.-LGICA.-Es la ciencia que estudia el razonamiento, estableciendo los procedimientos y mtodos que permiten
determinar su validez.

2.-ENUNCIADO.- Es toda frase u oracin que se usa en el lenguaje comn.
Ejemplos:
- 3 + 5 = 8
- Te necesito ven !
- x +5 = 45
- Cul es tu nombre?
- 12 > 8
- La lgica es una ciencia.

3.-ENUNCIADO ABIERTO.- Enunciado que posee una o ms variables y no posee la propiedad de ser verdadero o
falso.
Ejemplo:
- x es un nmero natural.
- x + 5 = 8.
- x + y = z.

4.-PROPOSICIN.- Enunciado que puede ser verdadero o falso pero no ambos a la vez. Se considera proposiciones
las oraciones aseverativas, frmulas lgicas y matemticas esquemas lgicas y leyes cientficas.
Ejemplos:
- Las plantas son vegetales.
- a
2
b
2
= ( a - b) ( a + b).
- La luna es un satlite natural de la tierra.
- Todos los hombres son mortales.

5. -CLASES DE PROPOSICIONES:

5.1. PROPOSICIN SIMPLE O ATMICA: Formado por un solo sujeto y predicado, es decir carece de
conectadores lgicos. Estas proposiciones a su vez pueden ser predicativas y relacinales.
a) Proposiciones Predicativa: Atribuyen o afirman una caracterstica respecto a un objeto.
Ejemplos.
- Las plantas son vegetales.
- La pizarra es de color blanco.

b) Proposiciones Relacinales: Establecen una relacin entre dos o ms sujetos que tienen una misma categora
gramatical.
Ejemplos
- Rosa y Maria son hermanas.
- Lima se encuentra al norte de Tacna.

5.2. -PROPOSICIONES COMPUESTAS O MOLECULARES: Son aquellas que se obtienen al combinar las
proposiciones simples unidas por una o ms conectadores lgicos.
a) Proposicin Conjuntiva. ( . )
- A y B
- A tambin B
- A aunque B
- A no obstante B
- A pero B
- A sin embargo B
- A tal como B
- No slo A tambin B
Ejemplos.
- Pedro es ingeniero y mecnico.
- Maria es secretaria al igual que comerciante.

b)Proposicin Disyuntiva Dbil ( v ).

- A o B
- A o tambin B
- A excepto que B
- A salvo que B
Ejemplos:
- Jorge es mecnico o chofer.
- Sandra estudia arte o literatura.
c) Proposicin Disyuntiva Fuerte ( A , ,
/
, v )

- Bien A o bien B
- Ya bien A ya bien B
- A o solamente B
- A o slo B
Ejemplos:
- O son ingenieros o son mecnicos.
- Mnica naci en Lima o Piura.

d) Proposicin Implicativa ( )

- Si A entonces B
- Cuando A as pues B
- Con tal que A es obvio que B
- De A derivamos B
- Dado A por eso B
- De A deviene B
- Si A, B
- En la medida que A de all B
Ejemplos:
- Si Jorge estudia, Ana se divierte
- Si no aprendes la leccin es obvio que no llegaste temprano a la clase.

e) Proposicin Replicativa ( )

- A porque B
- A siempre que B
- A si B
- A ya que B
Ejemplos:
- Ingresaras a la UDEP ya que estudias mucho
- Aprobars el curso de matemtica bsica si estudias.

f) Proposicin Biimplicativa ( )

- A si y slo B
- A se define como B
- A por lo cual y segn lo cual B
- A es equivalente a B
- A siempre que y slo cuando B
- A es idntico a B

Ejemplos:
- La virtud existe siempre y cuando no hay vicio.
- Habr hambre si y slo si exista pobreza.

g) Proposicin Negativa ( ~ , )

- No A
- Nunca A
- Jams A
- Tampoco A
- Es absurdo que A
- Es imposible que A
- No ocurre que A
- No es verdad que A

Ejemplos:
- No es el caso que hace calor y no sofoca.
- Es falso que siete es nmero par.
6.-OBSERVACIN

I.-NO SON CONSIDERADAS COMO PROPOSICIN:
a) Las oraciones no aseverativas:
i. Interrogativas.
ii. Exclamativas o admirativas.
iii. Imperativas o directivas.
iv. Desiderativas.
b) Los proverbios, modismos y refranes.
c) Creencias religiosas, supersticiones y mitos.
d) Los hechos o personajes literarios.

Ejemplo:
- Que hora tiene?
- Viva Alianza Lima!
- Como quisiera ir de viaje.
- De tal palo tal astilla.
- Batman es el hombre murcilago.
- La Virgen de las Mercedes es milagrosas.
II.-SE CONSIDERAN COMO PROPOSICIONES:

a) Oraciones aseverativas :
i. Informativas.
ii. Descriptivas.
iii. Explicativas.

b) Las leyes cientficas.
c) Las frmulas y/o esquemas lgicos.

Ejemplo:
- El triangulo equiltero tiene tres lados iguales.
- Sen 30 > Sen 15.
- x
3
y
3
= ( x - y) ( x
2
+ x y + y
2
).
- p q ~ p v q.
- La ley de Boyle Mariotte.

SMBOLOS LGICOS.

1. Variables Proposicionales: Son smbolos que representan proposiciones simples. Para demostrarlos emplearemos
las letras del abecedario como p, q, r, s, ..., etc.

2.- Conectivos Lgicos: Son smbolos que sirven de enlace entre dos o ms proposiciones simples. Se clasifican en:

a) Mondico: Afecta a una sola variable y slo es la negacin (~).
b) Bindicos: Afecta a dos o ms variables y son:

OPERACIN LGICA SMBOLO LECTURA
Conjuncin. . ... y ...
Disyuncin dbil. v ... o ...
Disyuncin fuerte.
A , , v ,
O ... o ...
Implicacin. Si ... entonces ...
Replicador. ... si ...
Bicondicional. , , ... si y solo si ...
Negacin. ~ No ...
Negacin Conjuntiva. + Ni ... ni ...
Negacin Disyuntiva. No ... no ...

3.-Simbolizacin De Proposiciones Y El Uso De Los Signos De Agrupacin.

Simbolizar una proposicin compuesta consiste en asignar a cada proposicin simple una variable proposicional y
cada conector lgico su respectivo smbolo, teniendo en cuenta la jerarqua de los conectores lgicos o de lo
contrario los signos de puntuacin ( , ; . ).
Empleando los signos de coleccin son:

Parntesis ( ).
Corchetes. [ ].
Llaves. { }.

3.-Prioridad O Jerarqua De Conectores Lgicos.

En la formalizacin de proposiciones se debe tener en cuenta la prioridad que tiene que tienen los conectivos lgicos
en el siguiente orden : ( de menor a mayor ).

1
ro
negacin: ~ .
2
do
Conjuntor y disyuntor dbil: . , v .
3
ro
Implicador o Replicador: , .
4
to
Disyuntor fuerte: A .
5
to
Biimplicador: .


, . v
,

A



Ejemplo

1) Subir el precio de la gasolina porque subi el precio del dlar, en vista que si subi el precio del dlar, el
gobierno no podr controlar la inflacin.
Solucin:
Variables Conectores
p Subir el precio de la gasolina.
q Subi el precio del dlar.
r El gobierno controla la inflacin.
porque :
en vista que :
Si . , :
No : ~ ( negador interno)

Formalizando tenemos que:
( p q ) ( q ~ r )


VERDAD FORMAL

1.- Las Tablas De Verdad.-Permite representar un razonamiento y hallar su validez.
Esquema:
Variables Esquema lgico
2
n

combinaciones
Matriz de verdad
Del esquema.

2.- Clasificacin De Las Tablas De Verdad Por La Naturaleza De Su Matriz De Verdad.
Las tablas de verdad permiten clasificar las formas proposicionales o esquemas en tres tipos tautologa,
contradiccin y contingente.

Tautologa.(T) Contradictorio(C)
Consistente
O
Contingente
Si el resultado final contiene slo
valores verdaderos.
Si el resultado final presenta slo
valores falsos.
Si el resultado final contiene
valores verdaderos y falsos.

3.- Tabla De Verdad De Las Proposiciones Moleculares

3.1.-Tabla De Verdad De La Proposicin Implicativa:


p q p q
V V V
V F F
F V V
F F V
REGLA

Slo es F cuando el antecedente es V y
consecuente F , en todos los dems casos verdaderos.



3.2.-Tabla De Verdad De La Proposicin Replicativa:
p q p q
V V V
V F V
F V F
F F V
REGLA

Slo es F cuando el antecedente es V y
consecuente F , en todos los dems casos verdaderos.

3.3.-Tabla De Verdad De La Proposicin Biimplicativa:
p q p q
V V V
V F F
F V F
F F V
REGLA

Es V cuando ambas proposiciones atmicas son
V o ambas son F .


3.4.-Tabla De Verdad De La Proposicin Disyuntiva Dbil:
p q p v q
V V V
V F V
F V V
F F F
REGLA

Es V en todos los casos excepto cuando ambas
proposiciones atmicas son F

3.5.-Tabla De Verdad De La Proposicin Disyuntiva Fuerte:

p q p q
V V F
V F V
F V V
F F F
REGLA

Es V cuando slo una de las proposiciones atmicas
es V . En todo los dems casos es F .
3.6.-Tabla De Verdad De La Proposicin Conjuntiva:


p q p .q
V V V
V F F
F V F
F F F
REGLA

Slo es V cuando ambas proposiciones atmicas son
V . Es F en todo los dems casos.
3.7.-Tabla De Verdad De La Proposicin De La Negacin Conjuntiva:


p q p + q
V V F
V F F
F V F
F F V
REGLA

Slo es V cuando ambas proposiciones atmicas
son F ; en los dems casos son F

3.8.-Tabla De Verdad De La Proposicin Negacin Disyuntiva:

p q p , q
V V F
V F V
F V V
F F V
REGLA

Slo es F cuando ambas proposiciones atmicas
son V . En los dems casos es V
3.9.-Tabla De Verdad De La Proposicin Negativa:
p ~ p
V F
F V

REGLA

Si p es V , ~ p es F y viceversa.
Ejemplos

1) De las siguientes proposiciones, indicar el tipo de tabla de verdad:

I.- [ ( ~ p v q ) . ~ q ] ~ p .
II.- [ ( p . q ) v q ] . ~ p.
III.- ~{[ p . ( p v q )] p}
Solucin:
En I:
p q [ ( ~p . q ) . ~ q ] ~ p
V V F F F V F
V F F F V V F
F V V F F V V
F F F F V V V
Tautologa
En II:
p q [ ( p . q ) v
q ]
. ~ p
V V V V V F F
V F F F F F F
F V F V V V V
F F F F F F V
Contingencia

En III:
p q ~ { [ p . ( p v q )] P }
V V F V V V V V
V F F V V V V V
F V F F F V V F
F F F F F F V F

Contradictorio

2) Dado que: ~ [(~ p . q ) ( p v ~ r ) ] es verdadero. Hallar el valor de:
I.- [ ( p q ) . r ] ~ q
II.- ( p q ) r
III.- ~ ( p v ~ q ) ~ r

Solucin:
~ [(~ p . q ) ( p v ~ r ) ]
F V F V
V V F F
V F
F
V

De donde: p F , q V y r V


[ ( p q ) . r ] ~ q
F V V V
V V F
V F
V
( p q ) r
F V V
V V
V
~ ( p v ~ q ) ~ r
F V V
F F F
F F
V F
F


LEYES DE LGICAS

1.- Equivalencias Notables: Son las diferentes leyes notables donde al unirlas por el Biimplicador , se obtiene una
tautologa.

a) Ley Conmutativa:
p . q q . p
p v q q v p
p q q p
p q q p

b) Ley Asociativa:
( p v q ) v r p v ( q v r )
( p . q ) . r p . ( q . r )
( p q ) r p (q r)

c) Ley Distributiva:

p v ( q . r ) ( p v q ) . ( p v r)
p . ( q v r ) ( p . q ) v ( p . r)
p ( q v r ) ( p q ) v ( p r)
p ( q . r ) ( p q ) . ( p r)

d) Ley Idempotencia:
p v p p p . p p

e) Ley de Doble Negacin:
~~p p

f) Ley de DMorgan:
p . q ~ ( ~ p v ~ q )
p v q ~ ( ~ p . ~ q )
~ ( p . q ) ~p v ~q
~ ( p v q ) ~p . ~q

g) Contraposicin o contrarecproca:
p q ~ q ~ p
p q ~ q ~ p

h) Definicin del Implicador:

p q ~ p v q
p q ~ ( p . ~ q )

i) Ley de complemento:
p v ~ p V
p . ~ p F
~ V F
~ F V

j) Definicin del Biimplicador:

p q ( p q ) . ( q p )
p q ( p . q ) v ( ~ p . ~ q )

k) Ley de Identidad:

p v F p
p v V V
p . F F
p . V p

l) Definicin de la Disyuncin Fuerte:

p q ( p v q ) . ( ~ p v ~ q )
p q ~ ( p q )
p q p ~ q
p q ~ p q

m) Ley de Absorcin:

p . ( p v q ) p
p v ( p . q ) p
p . ( ~ p v q ) p . q
p v ( ~ p . q ) p v q

Ejemplos

1) Simplificar: | ( p q ) . ~ ( q . ~ q )|

Solucin:

| ( p q ) . ~ ( q . ~ q )|
| ( p q ) . ~ F |
| ( p q ) . V |
p q


2) Simplificar: ~ | ( p q ) v ~ (q v p )|

Solucin:

~ | ( p q ) v ~ (q v p )|
~ | ( ~ p v q ) v ( ~ q . ~ p )|
~ |~ p v ( q v ~ p )|
~ | ( ~ p v ~ p ) v q |
~ | ~ p v q |
p . ~ q

CUANTIFICADORES

1. FUNCIN PROPOSICIONAL:

Una funcin proposicional es todo enunciado de la forma p(x) que tiene la propiedad de convertirse en una
proposicin al ser sustituida la variable x por una constante c especifica. El conjunto de todos los valores
convenidos para la variable x recibe el nombre de dominio de la variable. Esto es, si representamos por
D el dominio, diremos que x pertenece a D mediante la notacin: x e D.
Entonces, segn la definicin de enunciado abierto, funcin proposicional sobre D es toda expresin p(x) tal que
p(c) es verdadera o falsa para todo c e D

Ejemplos:

- p(x) : x +5 < 11.
- s(x) : x es una alumna de la UDEP.

2. CUANTIFICADOR UNIVERSAL:
Una proposicin universal es aquella que est provista de un cuantificador universal, y tiene la forma:
x e A : p(x)

Cuantificador universal: x
- Todo x
- Para todo x
- Para cada x
- Las x, los x
- Cualquier x
- La totalidad de x
- Dada cualquier cosa individual x se verifica.
- Quienquiera que sea x
- Cualquier cosa que sea x
- Para cualquier x
- Dado cualquier x
- Todo lo que sea x
- Para cada uno de las x
- Sean todos los x

Ejemplo:

- Si A = {1, 2, 3, 4, 5 } se tiene: x e A : x e N.
La proposicin es verdadera, pues los elementos de A son nmeros naturales.

- Todos lo bolgrafos son azules.
Si representamos B el conjunto de todos los bolgrafos, denotremos: x e B : x es azul. Obviamente la
proposicin es falsa, pues hay bolgrafos que son rojos, negros, etc.

3. CUANTIFICADOR PARTICULAR O EXISTENCIAL:

Una proposicin particular es aquella que est provista de un cuantificador existencial, y tiene la forma:
- x e A : x e N.



Cuantificador particular: - x
- Existe x
- La mayora de x
- Algo que sea x
- Hay al menos un x
- Hay exactamente un x
- Alguien que sea x
- Existe a lo ms un x
- Al menos un x existe
- Cierto de x
- Muchos x
- Tantos de x
- Algunos x
- Hay x
- Casi todo x
- Bastante x
- Pocos x

Ejemplo:

- Si A = {1 , 2 , 3 , 4 } se tiene: - x e A : 2x +1 > 8.
La proposicin es verdadera, pues hay al menos un x = 4 que cumple: 2x + 1 > 8
- Algn bolgrafo es azul.
Si representamos por B el conjunto de todos los bolgrafos, denotaremos: - x e B : x es azul. Obviamente la
proposicin es verdadera, pues hay bolgrafos que son de color azul.

4. NEGACIN DE LOS CUANTIFICADORES:

Teorema 1: La negacin del cuantificador universal es equivalente a la afirmacin de un cuantificador
existencial respecto de la funcin proposicional negada.
~ [ x : p( x ) ] [ - x : ~ p( x )]
Ejemplo:
No todos los planetas son habitables es equivalente a decir Existe por lo menos un planeta
que no es habitable
Teorema 2: La negacin del cuantificador existencial es equivalente a la afirmacin de un cuantificador
universal respecto de la funcin proposicional negada.
~ [ - x : p( x ) ] [ x : ~ p( x )]

Teorema 3: ~ [ x e A : p( x ) ] [ - x e A : ~ p( x )].

Teorema 4: ~ [ - x e A : p( x ) ] [ x e A : ~ p( x )].