Universidad Privada TELESUP
MATEMTICA BSICA Escuela Profesional de Ingeniera de Sistemas
I Ciclo / 2017 -1
LGICA PROPOSICIONAL
INTRODUCCIN
El ser humano, a travs de su vida diaria, se
comunica con sus semejantes a travs de un
lenguaje determinado (oral, escrito, etc.) por
medio de las denominadas frases u oraciones.
Estas pueden tener diferentes significados pero
siempre van a resumirse a las formas de
verdaderas o falsas, siendo ste el precedente
fundamental para el desarrollo humano. Lo
importante de esta sesin es el hecho de que,
a partir de los enunciados y de acuerdo a su
significado es posible establecer una
proposicin y a partir de un conjunto de stas
podemos llegar a la conclusin o inferencia,
siendo la lgica la ciencia encargada del
estudio de stas.
La lgica proposicional es una rama de la lgica
que permite representar hechos y/o
expresiones del mundo real en un lenguaje
representativo del conocimiento mediante
propiedades elementales para estudiar a travs
de proposiciones o sentencias lgicas sus
posibles evaluaciones de verdad.
La lgica proposicional toma un rol muy
importante en el desarrollo de la inteligencia
artificial, y en otros aspectos de la informtica.
ENUNCIADO:
Se llama enunciado a toda frase u oracin.
Algunos enunciados son mandatos,
interrogaciones o expresiones de emocin; otros
en cambio son afirmaciones o negaciones que
tienen la caracterstica de ser verdadero o falso.
Ejemplos:
- Qu hora es?
- Aprate!
- Prohibido hacer bulla.
- Dos ms tres es igual a cinco.
- Todas las gallinas son aves.
- Pars es la capital de Francia.
ENUNCIADO ABIERTO:
Son expresiones que contienen "variables" y que
no tienen la propiedad de ser verdaderos o falsos.
Tambin se les conoce con el nombre de funcin
proposicional.
Ejemplos: "x < 5"
Es un enunciado abierto (o funcin proposicional)
porque no podemos afirmar si es V o F; slo
cuando "x" toma un valor numrico se hace V o F.
PROPOSICIN:
Es todo enunciado que tiene la cualidad de ser
verdadero o ser falso pero nunca puede ser 1
verdadero o falso a la vez.
Las proposiciones lgicas se denotan con letras
minsculas, tales como: p, q, r, s, t, u, , etc.
(variables proposicionales)
Ejemplos:
p: dos ms tres es igual a cinco.(V)
q: cuatro y diez son mltiplos de dos(V)
r: ocho es menor que tres.(F)
PROPOSICIN SIMPLE:
Llamada tambin atmica o elemental. Son
aquellas que carecen de conjunciones
gramaticales y del adverbio de negacin (no). No
tiene relacin con ninguna otra proposicin, sino
que es una idea nica y simple, es decir, es de un
solo significado.
Ejemplo:
p: nueve es mltiplo de tres
q: tres es mayor que dos
r: tres es menor que ocho
PROPOSICIN COMPUESTA:
Llamada tambin molecular o coligativa. Son
aquellas que estn formadas por dos o ms
proposiciones simples, unidas por conjuciones
gramaticales (conectivos), o afectados por el
adverbio de negacin (no).
Ejemplo 1
- 9 5 5 1
Conectivo
Ejemplo 2
Mg. Erika Ricra Arenas
 Universidad Privada TELESUP
MATEMTICA BSICA Escuela Profesional de Ingeniera de Sistemas
I Ciclo / 2017 -1

conectivo A continuacin veremos las tablas de verdad de

CONECTIVOS LGICOS
Son smbolos que enlazan proposiciones simples
sin formar parte de ellos. Dichos smbolos
tambin toman el nombre de operadores.
Los conectores lgicos que usaremos son:
la conjuncin, disyuncin, condicional y de la
negacin.
La conjuncin
Dadas dos proposiciones p y q, la conjuncin es el
resultado de reunir estas proposiciones con el
conectivo lgico "y".
Su tabla de verdad ser as:

La conjuncin (y): p q pq 2
La disyuncin dbil (o): V V V
La condicional (si, entonces): V F F
La bicondicional (si y slo si): F V F
La negacin (no): F F F
La disyuncin fuerte (o,o):
Las palabras: "pero"; "sin embargo"; "adems";
FUNCIONES VERITATIVAS "aunque"; "a la vez"; "no obstante"; "sino";
El valor de verdad de una proposicin compuesta "mas"; "an cuando"; "tambin"; "igualmente";
se determina por medio de los valores de verdad "tanto.como.."; "a pesar de"; "a menos que" y
de sus componentes. Al discurrir sobre un otras expresiones ms; equivalen al conectivo de
conectivo, nuestro inters principal es saber en la conjuncin.
qu forma la verdad de una proposicin
compuesta, construida con dicho conectivo, Ejemplo:
depende de la verdad de sus componentes. Una - Los perros son cuadrpedos, tambin
forma muy conveniente de tabular tal mamferos.
dependencia es por medio de una tabla de p: los perros son cuadrpedos
pq
verdad. q: los perros son mamferos

Ejemplo 1 - Las computadoras son caras, sin embargo son

p q tiles.
V V p: las computadoras son caras
Tabla de pq
V F q: las computadoras son tiles
F V Verdad
F F - Juan es inteligente, adems es alto.
p: Juan es inteligente
pq
q: Juan es alto
Ejemplo 2
p q r La disyuncin
V V V Dadas dos proposiciones p y q, la disyuncin es el
V V F resultado de reunir estas proposiciones con el
V F V conectivo lgico "o".
Tabla de
V F F
Verdad
F V V - Disyuncin dbil
F V F Se denota p q y se lee: "p o q".
F F V
F F F p q pq
V V V
V F V

Mg. Erika Ricra Arenas

 Universidad Privada TELESUP
MATEMTICA BSICA Escuela Profesional de Ingeniera de Sistemas
I Ciclo / 2017 -1

F V V
F F F - "Si el sapo ladra, entonces es un perro"
En este caso no tiene sentido ya que el
Ejemplo antecedente es falso.
- Alicia canta o baila.
Es decir, Alicia cantar o bailar, o puede - "Si 2 = 3 entonces 15 = 15"
realizar ambas actividades. Tiene sentido hacer la condicin por lo tanto
- Es Sr. Jusik es abogado o profesor. es verdadera.
El Sr. Jusik es abogado o es profesor, o
tiene ambas profesiones. Otras formas de presentarse son: 3
"p por consiguiente q", "p luego que q", "p de
- Disyuncin fuerte manera que q", "p de ah que q", etc.
Se denota p q y se lee: "o p o q".
Tambin son expresiones condicionales "ya
p q pq que", "puesto que", "porque", "si", "siempre
V V F que", "en vista que", etc.
V F V Despus de cada uno de ellos se ubica el
F V V antecedente.
F F F Ejemplo:


Ejemplo
- O Elena se cas civil en Miraflores o en
Barranco. p: Pedro ser el ganador
Es decir, Elena se cas en uno de los qp
q: Pedro se prepara bien
distritos pero no ambos.
La bicondicional
- 29 es un nmero primo o compuesto. Cuando dos proposiciones estn unidas por el
Es decir, que 29 es primo o compuesto conectivo "si y solo si"
ms no ambos. Su tabla de verdad es como se muestra:

La condicional p q pq
Es la relacin de dos proposiciones mediante el V V V
conectivo: V F F
Si
, " F V F
p F F V
La proposicin "p" se llama antecedente y la
proposicin "q" se llama consecuente. Ejemplos
- 2 = 4
= 2 = 2
Su tabla de verdad es como se muestra:
p q pq
V V V - 2 < 9
3 < < 3

V F F
F V V
Otras expresiones del bicondicional, en el
F F V
lenguaje ordinario, son: "cuando y solo cuando",
Ejemplo:
"si y solamente si", "entonces y solo entonces".
- "Si el pejerrey es pez, entonces tiene
respiracin branquial "
La negacin

Mg. Erika Ricra Arenas

 Universidad Privada TELESUP
MATEMTICA BSICA Escuela Profesional de Ingeniera de Sistemas
I Ciclo / 2017 -1

Dada una proposicin "p", la negacin de "p" es F V F F V V F

otra proposicin que se denota por "p" y se lee: F F F F V V F
"no p" o "no es cierto que p".
La negacin (no), cumple la funcin de negar una Un esquema molecular es contradictorio
afirmacin y de afirmar una negacin. cuando los valores de su operador principal
(matriz principal), todos los valores son
Su tabla de verdad es:
falsos.
p p p q (p q) q
V F V V F V F V
F V V F F V F F 4
F V F V F V
Cuando en los parrafos se escribe los trminos: F F V F F F

..
Un esquema molecular es consistente (de
( ) contingencia) cuando en su resultado


..
(matriz principal) hay por lo menos una
( )
verdad y una falsedad.
En estos casos, los indicados trminos niegan
p q (p q) q
toda la proposicin representada por "p q"
V V V V V
Ejemplos V F F F F
- No es el caso que los perros ladren y muerdan. F V V V V
p: los perros ladran F F F V F
q: los perros muerden (p q)
- Es falso, que si una bicicleta es de marca no es LEYES DEL LGEBRA PROPOSICIONAL
barata.
p: la bicicleta es barata
(p q)
q: la bicicleta es de marca

LA IMPLICACIN
Una frmula "A" implica a "B", cuando unidos por
el condicional "", siendo "A" antecedente y "B"
consecuente, el resultado es una tautologa.

LA EQUIVALENCIA
Dos frmulas moleculares (esquemas
moleculares) A y B son equivalentes cuando
unidos por el bicondicional "" el resultado es
una tautologa.

Un esquema molecular es tautolgico

cuando los valores de su operador principal
(matriz principal), son todos verdaderos.

p q [p (p q)] p
V V V V V V V
V F V F F V V

Mg. Erika Ricra Arenas

 Universidad Privada TELESUP
MATEMTICA BSICA Escuela Profesional de Ingeniera de Sistemas
I Ciclo / 2017 -1

V) Los tringulos ABC y DEF son congruentes.

a) 1 b) 2 c) 3 d) 4 e) 0

Ejercicio 3
Representar simblicamente la proposicin:
"89 65"

a) p b) p q c) p q
d) p q e) p q 5

Ejercicio 4
Si la proposicin "8 es primo" se representa por
"p" y "81 es cuadrado perfecto" se representa por
"q", expresar en lenguaje coloquial la
representacin:
(p q).

a) No es cierto que 8 es primo o 81 no es un

cuadrado perfecto.
b) 8 no es primo o 81 no es un cuadrado
perfecto.
c) 8 no es primo y 81 es cuadrado perfecto.
d) 8 es cuadrado perfecto y 81 es cuadrado
perfecto.
e) Hay dos respuestas correctas.

ACTIVIDAD NO 2 Ejercicio 5
Simbolizar el siguiente enunciado: "Si Manuel
Ejercicio 1 escribe a la vez que investiga, entonces es un
Cul de las siguientes expresiones son autor prestigioso"
proposiciones?
a) (p q) r b) (p q) r
I) La casa de cartn. c)..(p q) r d) p (q r)
II) 27 es un nmero compuesto. d) (p q) r
III) X es el triple de 6.
IV) 12 > 90 Ejercicio 6
V) En qu ao se fund Lima? En la proposicin "Argentina no se moviliza, pero
Brasil impone restricciones comerciales" Cul es
Ejercicio 2 la frmula correcta?
Con respecto a las proposiciones siguientes:
Cules y cuntas son proposiciones simples? a) p q b) p q c) (p q)
d) p q e) p q
I) Carlos y Ricardo son hermanos.
II) 5 y 6 son nmeros pares. Ejercicio 7
III) 29 41 Seala aquella proposicin que sea ejemplo de
IV) No es mentira que 53 - 1 = 124 una bicondicional:

Mg. Erika Ricra Arenas

 Universidad Privada TELESUP
MATEMTICA BSICA Escuela Profesional de Ingeniera de Sistemas
I Ciclo / 2017 -1

Ejercicio 12
a) O Vania es mi hermana o mi prima. Indique si la siguiente proposicin es una
b) Genero viaja a Uruguay si y nicamente si contradiccin:
tiene dinero. (p q) (p q)
c) Rita es administradora y Mauricio tambin.
d) Beln viaja a Amrica si tiene dinero y Ejercicio 13
pasaporte. Indique si la siguiente proposicin es una
e) Estela es dinmica siempre que brinde tautologa:
respuestas claras. (p q) (p q)
6
Ejercicio 8
En la lgica proposicional, un ejemplo de Ejercicio 14
proposicin conjuntiva es:
Si: [(q p) (q r)] es verdadera. Halle
a) La regin de Chavn no limita con Loreto. los valores de p, q y r
b) El Per exporta arroz.
c) El agua se congela si la temperatura est
bajo cero.
d) Si el sol brilla, el viento silba.
e) El cielo est nublado, sin embargo hace
calor.

Ejercicio 9
La proposicin es., susceptible de ser
calificada de
a) cualquier oracin - valida o invlida
b) una oracin aseverativa - funcin
proposicional
c) una frase - sensata o insensata
d) una oracin aseverativa - verdadera o
falsa
e) descripcin definida - saturada o no
saturada

Ejercicio 10
Simboliza la siguiente proposicin: "Tanto Jorge
como Elsa saldrn adelante, si y solo s estn
preparados"
p: ..
q:
r:

Simbolizacin:...

Ejercicio 11
Evaluar el esquema siguiente:
(p q) (p q)

Mg. Erika Ricra Arenas