Lic.

Edison Malpartida Ayma

LGICA
Es la ciencia que estudia el razonamiento inductivo y
deductivo. El razonamiento inductivo es aquel que permite
llegar a conclusiones generales a partir de observaciones
particulares, por el contrario, el razonamiento deductivo nos
permite llegar a conclusiones particulares a partir de
observaciones generales.
ENUNCIADO: Es toda frase u oracin que informa, expresa o
dictamina alguna idea a travs de afirmaciones o negaciones,
preguntas, expresiones de emocin o de saludo, rdenes, etc.
ENUNCIADO ABIERTO: Es un enunciado en forma de

expresin matemtica que no es verdadero ni falso.

Ejemplos:

x<9

x + 2 = 10

a+b=1

a 2 + b2 = c 2

PROPOSICIN LGICA (enunciado cerrado) es un

enunciado informativo que admite la posibilidad de ser
Verdadero o Falso, pero no ambos a la vez.
La veracidad o falsedad de una proposicin se
denomina Valor de verdad de la proposicin

SON PROPOSICIONES:

NO SON PROPOSICIONES:

39 es un nmero primo

F)

Resuelve este problema

Huancayo queda en Junn

V)

Puedes prestarme tu libro?

1/2 < 1/4

F)

Buenos das profesor

PROPOSICIN SIMPLE: Es aquella que contiene una

sola afirmacin y se simboliza con las letras p, q, r, s, t,
.. a las que llamaremos variables proposicionales
Ejemplos: VALOR DE VERDAD
1.
2.

15 es un nmero primo
Lima es la capital del Per
32 = 9

:p
:q
:r

( F)
( V)
( F)

PROPOSICIONES COMPUESTAS: Son aquellas que

estn formadas por dos o ms proposiciones simples o
es la negacin de una proposicin simple.
En toda proposicin compuesta las proposiciones
simples estn ligadas mediante palabras conocidas
como conectivos lgicos

Conectivos lgicos
Son palabras que permiten relacionar dos
proposiciones o negar una proposicin
simple. Cuando se les representan por
smbolos se les llama operadores lgicos.
Los siguientes conectivos son los ms
recurrentes:
1.

si y slo si

2.

o . . . o

3.

sientonces

4.

5.

6.

no

PROPOSICIONES Y VALOR DE VERDAD

p q

p q r

21

22

23

Las tablas de verdad son

representaciones grficas,
en forma de arreglos,
que sirven para analizar los
posibles valores de verdad
que puede tener una
proposicin
simple o compuesta.

En general para
n proposiciones,
se pueden
presentar 2n
posibilidades

Definicin de Algunos Enunciados

Compuestos
1. LA CONJUNCIN.- Es un enunciado compuesto en el que dos
proposiciones se relacionan con el conectivo y , cuyo smbolo es
y se llama conjuntor.

Ejemplo: Jorge viaj al Cusco y Luis viaj a Ica

p
p : Jorge viaj al Cusco
q : Luis viaj a Ica

q
Simbologa: p q

NOTA: Tambin equivalen al conectivo conjuncin las palabras

pero, sin embargo, aunque, adems, no obstante, etc.

La conjuncin slo es verdadera

cuando las dos proposiciones
son verdaderas.

2. LA DISYUNCIN DBIL O INCLUSIVA.- Es un

enunciado compuesto en el que dos proposiciones se
relacionan con el conectivo o , cuyo smbolo es y se llama
disyuntor.
Ejemplo: Eliana viajar al Cuzco o a Cajamarca
r
r : Eliana viajar al Cuzco
s : Eliana viajar a Cajamarca

Simbologa: r s

La disyuncin es falsa solo si

ambas proposiciones son falsas

3. LA DISYUNCIN FUERTE O EXCLUSIVA.- Es un

enunciado compuesto en el que dos proposiciones se
relacionan con el conectivo O..o. , cuyo smbolo es
y se llama disyuntor fuerte.
Ejemplo: O Ricardo radica en Miraflores o en Barranco
p
p : Ricardo radica en Miraflores
q : Ricardo radica en Barranco

q
Simbologa: p q

La disyuncin fuerte es verdadera

solo si ambas proposiciones
tienen diferentes valores de verdad
La disyuncin fuerte es falsa
solo si ambas proposiciones
tienen idnticos valores de verdad

4. EL CONDICIONAL.- Es un enunciado compuesto en el

que dos proposiciones se relacionan con el conectivo
Si.entonces., cuyo smbolo es y se llama
implicador.
Ejemplo: Si 12 es un nmero par entonces es divisible entre 2
p

p : 12 es un nmero par . (antecedente)

q : 12 es un nmero divisible entre 2 (consecuente)
Simbologa: p q

Notas:

1. Existen otras formas de presentarse el condicional: p por

consiguiente q; p luego q; p de manera q; etc.
2. Tambin son expresiones condicionales q ya que p; q puesto que
p; q siempre que p; q porque p; etc.

Ejemplo
La suma de las cifras de 426 es mltiplo de 3 por consiguiente es divisible entre 3

(antecedente) p

(consecuente) q

426 es divisible entre 3 porque la suma de sus cifras es mltiplo de 3

(consecuente) q

(antecedente) p

La simbologa para ambos casos es: p q

El condicional solo es falso

cuando el antecedente es verdadero
y el consecuente es falso.

5. EL BICONDICIONAL.- Es un enunciado compuesto en el

que dos proposiciones se relacionan con el conectivo ..si
y slo si., cuyo smbolo es llamado doble
implicador.
Ejemplo: Sicilia es una isla si y slo si est rodeada de agua
p
p : Sicilia es una isla
q : Sicilia est rodeada de agua

q
Simbologa: p q

El bicondicional es verdadero
solo si ambas proposiciones poseen
idnticos valores de verdad

El bicondicional es falso
solo si ambas proposiciones poseen
diferentes valores de verdad

6. LA NEGACIN.- Es un tipo de proposicin compuesta en

la que se afirma que algo no existe, que no es verdad, o que no
es como alguien cree o afirma. Para negar una proposicin se
le antecede el conectivo no, o equivalentes a l, cuyo smbolo
es y se llama negador.
Ejemplo: Todo nmero elevado al cuadrado es positivo
p
Negacin: No todo nmero elevado al cuadrado es positivo

Nota: Cuando se niega una proposicin compuesta, se niega al

operador de mayor jerarqua en dicha proposicin.
Ejemplo: No es cierto que Pablo fue al banco y retir el dinero
q
Simbologa: ( q r )

Conector

Valor de
verdad

Condicin

Si ambos tienen igual valor de

verdad.

Si tienen valores diferentes de

verdad.

Si el antecedente es verdadero y
el consecuente es falso

Si ambos son falsos

Si ambos son verdaderos

Si la proposicin es falsa.

1.- No vi la pelcula, pero le la novela

2.-Ni vi la pelcula ni le la novela.
3.-No es cierto que viese la pelcula y leyese la novela
4.-tu ests equivocado o es falsa la noticia que has ledo
5.-Si no estuvieras loca, no habras venido aqu
6.-est lloviendo y nevando o est soplando el viento
7.-Roberto har el doctorado cuando y solamente cuando obtenga la licenciatura
8.-Si los gatos de mi hermana no soltaran tanto pelo me gustara acariciarlos
9.-No es cierto que si llueve y hace sol las brujas se peinan
10.-Llueve y las brujas no se peinan o bien hace sol y las brujas no se peinan
11.-Si no hay ruidos y no ests sordo, entonces debes orme
12.- Ir al cine o al teatro, si me invitas
13.- En el caso de que venga Cipriano, vendrn Fulgencia y Eustaquia
14.- Si hay guerra, no crecer el paro ni la inflacin
15.- O Juan debe declarar y ser sincero, o no debe declarar
16.- Federico se ir a la playa o al cine si y slo si le toca la lotera y no se arruina en la
ruleta.
17.-Aumentar la inflacin y disminuir el paro, slo si se fabrica moneda o hay guerra.
18.-Si el aumento de la inflacin implica la disminucin de la balanza de pagos, entonces, si
no disminuye la balanza de pagos no aumenta la inflacin

p:Pablo atiende en clase.

r: Pablo fracasa en los exmenes.
1.- (pq) v (rs)
2.-(pq) (rs)

q: Pablo estudia en casa.

s:Pablo es aplaudido.

3.-(pvq(rs)
4.-(pq) (rvs)

p: Las estrellas emiten luz.

q: Los planetas reflejan la luz.
r: Los planetas giran alrededor de las estrellas.
1.-(p v q) r

2.-(pq) r
3.-p (qr)
4.-q (p r)

Ejemplo: Evaluar el siguiente esquema molecular: (p

r)

Solucin

q) (p

V V V

V V V

V F F

V F F

F F V

F V

F F

F F

(pq)

( p r)

La caracterstica tabular de una frmula

lgica es la columna de valores de verdad debajo
del operador de mayor jerarqua. Esta columna
puede presentar los siguientes casos:

1.

Cuando todos los valores de verdad son

verdaderos, el esquema es una TAUTOLOGA.

2.

Cuando todos los valores de verdad son falsos, el

esquema es una CONTRADICCIN.

3.

Cuando
algunos
valores
de
verdad
son
verdaderos y otros falsos el esquema es una
CONTINGENCIA.

Ejemplo N2 Si se conoce que: (q r) p es FALSA

Determinar el valor de verdad de: (r p) (p r)
SOLUCIN

(q r) p

Primero analizamos la condicin

V V V F

Luego de conocer los valores de verdad de cada variable, se

evala la frmula planteada

( r p)
V

V V

(p r)
F

F V

El valor de verdad de la frmula planteada es FALSO