INTRODUCCIN A LA LGICA PROPOSICIONAL

QU ES LA LGICA?

L G I C A
PROPO

Trataremos de dar un concepto intuitivo de las materias que conciernen a la lgica (y dentro de
ella de las que nos van a interesar a nosotros).
Debemos comenzar diciendo que no hay un acuerdo unnime sobre ciertos temas:
Trata la lgica de cmo piensa la gente o de como debera pesar ?.
Le interesa principalmente el lenguaje ?.
Los lenguajes formales empleados en lgica son modelos del lenguaje natural o pretenden
reemplazarlo ?.

ENUNCIADO:
Es toda frase u oracin que se
utiliza en el lenguaje comn. No
es verdad (V) ni falso (F):
Cuando expresa deseo
Cuando expresa una orden
Cuando expresa una pregunta
o exclamacin.

ENUNCIADO ABIERTO:

Son enunciados que pueden

tomar cualquiera de los 2
valores de verdad.
P(x) : x 6

Ejemplo:

Si:
Se cumple que:
P(9) : 9 6 Es verdadero
P(2) : 2 6 Es falso

PROPOSICIN

El valor de verdad de P(x)

depende del valor de x,
tambin, se le conoce como
funcin proposicional.

Es toda expresin coherente que

se caracteriza por el hecho de
poseer un valor de verdad o
veritativo, es decir que se puede
indicar si es verdadero (V) falso
(F).

ENUNCIADO Y PROPOSICIN
1) Coloca una (E) de enunciado o una (P) de proposicin segn sea el caso
Nota: La proposicin no debe

Lima es la capital del Per

Qu hora es?
( )
Auxilio!
( )
10 = 4 + 13
( )
La Teta Asustada es pelcula Argentina
10 < 8
( )

Tpac Amaru muri decapitado.

9 < 10 ( )
45 = 3 2 ( )

El lapicero es rojo
La tierra no se mueve
La gnoseologa es una disciplina filosfica ( )
El socialismo es un sistema poltico caduco ( )
g) Francisco Pizarro no fue conquistador sino invasor (

tener
contradicciones
ni
ambigedades en el contenido
de su mensaje.
Ejemplo: Manuel aprob y no
aprob el curso de lgica
(contradiccin).
CUIDADO!

Pseudoproposicin
Es una expresin que parece
ser proposicin, pero se
diferencia de esta, porque
est basado en aspectos
irrealizables, improbables, no
factibles y no posibles. Se
relaciona con la funcin
expresiva del lenguaje. Ejem:
)

Luisa Bravo se fue

caminando hasta el sol.
b) Los ptalos de la rosa
son inteligentes.

1
PROF. RAL BRAVO RODRGUEZ

INTRODUCCIN A LA LGICA PROPOSICIONAL

2) De los siguientes enunciados:

"Nunca deberamos
pensar en las

* Qu rico durazno.
Matemticas que
puede aprender un
* 7 + 15 > 50
nio, sino en aquellas
Qu alternativa es correcta?
con cuyo aprendizaje
a) Una es proposicin.
se contribuya al
b) Dos son enunciados abiertos.
desarrollo de su
c) Dos son expresiones no proposicionales.
dignidad humana"
d) Dos son proposiciones.
Hans Freudenthal
e) Todas son proposiciones.

3)

4)

EXPRESIONES NO
PROPOSICIONALES
Cuntas de las siguientes expresiones son proposiciones?
Por regla, las expresiones sueltas
* Dios mo .... se muri!
(que no denotan informacin o
son incompletas) como: maana,
* El calor es la energa en trnsito.
el gobierno, San Martn, etc. no
* Baila a menos que ests triste.
son proposiciones porque les
* Siempre que estudio, me siento feliz.
falta el predicado. Tambin las
que se encuentran en este grupo
* El delfn es un cetceo, ya que es un mamfero marino.
las
expresiones
que
se
encuentran entre signos de
admiracin e interrogacin as
Dadas las siguientes expresiones:
como las que expresan mandatos
* El tomo no se ve, pero existe.
u rdenes a cumplirse. Se
* Los tigres no son paquidermos, tampoco las nutrias.
relaciona con la funcin operativa
del lenguaje.
* Toma una decisin rpida.
Ejemplos:
* La Matemtica es ciencia fctica.
a) Cinco
* Es imposible que el ao no tenga 12 meses.
b) Auxilio!
c) El hijo de Huayna Cpac
Cuntas no son proposiciones simples?
d) La deuda externa
e) Cunto tiempo dur la poca

5) Hallar el valor de verdad de las siguientes proposiciones:

(3 2 5) (7 2 11)

(4 1 3) (2 10 8)

VARIABLES
Son los smbolos que representan
a una proposicin simple.
Ejemplos.
a) Letras minsculas del alfabeto
latino a partir de p, q, r, etc.
b) Letras griegas como: , , , ,
, etc.
c) Letras maysculas del alfabeto
latino desde A, B, C, etc.
En todos los casos cada smbolo
representa a una proposicin; y,
el uso de uno supone haber

(3 7 10) (12 5)

12 2 1 1 3

2
2

CLASES DE PROPOSICIONES:
2
PROF. RAL BRAVO RODRGUEZ

INTRODUCCIN A LA LGICA PROPOSICIONAL

1. PROPOSICIN SIMPLE: Son proposiciones que no tienen conjunciones
gramaticales ni adverbio de negacin. Llamadas tambin atmicas,
mondicas o monarias, son aquellas en las que aparece una afirmacin o
accin. Se caracterizan por ser expresadas mediante oraciones que no
utilizan conjunciones gramaticales y el adverbio no
Ejemplo:
*) Cincuenta es mltiplo de diez.
*) Los chancas fueron grandes
guerreros.
2. PROPOSICIN COMPUESTA: Formada por dos o ms proposiciones
simples unidas por conectivos lgicos o por el adverbio de negacin no.
Llamadas moleculares o coligativas. El valor de verdad de una proposicin
compuesta, depende de los valores de verdad de las proposiciones que lo
forman y de la manera de cmo estn unidas. Ejemplos:
proposiciones compuestas se clasifican
Marcelo es ingeniero y denis tiene 10 Las
aos
segn la operacin lgica que se emplea
para unir las proposiciones simples que la
Si Lourdes trabaja entonces no ve televisin
forman.
Mariano gan el partido o est enfermo
Toda proposicin, sea simple o compuesta,
29 es un nmero primo y 5 es impar.
posee un valor de verdad, o es verdadera
(V) o falsa (F) pero no ambas a la vez, con
respecto a una realidad.
CONECTIVOS LGICOS
Definicin: Reciben tambin la denominacin de trminos funcionales,
relacionales u operadores; permiten unir o enlazar las proposiciones simples
para formar proposiciones compuestas.

Clases
Mondicos: Son los que afectan a una sola proposicin simple (Negador).
Bindicos: Enlazan a dos proposiciones simples (Conjuntor, Disyuntor,
Inclusivo, Disyuntor Exclusivo, Implicador, Replicador, Biimplicador).
A continuacin se presentan los principales conectores lgicos:

3
PROF. RAL BRAVO RODRGUEZ

INTRODUCCIN A LA LGICA PROPOSICIONAL

OPERACIONES LGICAS Y TABLAS DE VERDAD

La validez de una proposicin compuesta depende de los valores de verdad de
las proposiciones simples que la componen y se determina mediante una tabla
de verdad.

1. CONJUNCIN: Vincula dos proposiciones mediante el conectivo lgico

"y".
Sean p y q dos proposiciones simples. La proposicin compuesta p y q
simbolizada por p q, se denomina la conjuncin de p y q.
Tabla de Verdad
p
V
V
F
F

q
V
F
V
F

V
F
F
F

2. Disyuncin: Vincula dos proposiciones mediante el conectivo lgico "o".

Sean p y q dos proposiciones simples. La proposicin p o q, simbolizada p v q se
llama disyuncin de p y
q.
El operador o se puede usar de dos formas: como o incluyente o como o
excluyente. En el primer caso (o incluyente) hace que el valor de verdad de una de
las dos proposiciones simples repercuta en el valor verdadero de la proposicin
disyuntiva; mientras que en la segunda forma (o excluyente) el valor de verdad de
una proposicin excluye la veracidad de la otra proposicin, esto hace que la
proposicin disyuntiva tome el valor verdadero.
Tabla de Verdad Incluyente

p
V
V
F
F

q
V
F
V
F

V
V
V
F

3. Disyuncin Exclusiva:

Vincula dos proposiciones mediante el conectivo

lgico: "o ..........., o ............."
Tabla de Verdad Excluyente

p
V
V
F
F

q
V
F
V
F

F
V
V
F

4
PROF. RAL BRAVO RODRGUEZ

INTRODUCCIN A LA LGICA PROPOSICIONAL

4. Condicional:

Vincula dos proposiciones mediante el conectivo lgico:

"Si ............, entonces .............."
Se dice que una proposicin compuesta es condicional, si esta formada por dos
proposiciones simples enlazadas por la expresin sientonces.
Si p y q representan dos proposiciones, la expresin si p entonces q se simboliza
as:
p q y se lee p implica q.

Tabla de Verdad

5. Bicondicional:

p
V
V
F

q
V
F
V

V
F
V
VF

Vincula dos proposiciones mediante el conectivo lgico:

".............. si y slo si .............."
Se denomina bicondicional a la proposicin formada por dos proposiciones simples
conectadas por la expresin s y slo s.

Tabla de Verdad

6. Negacin: Afecta a una sola proposicin. Es un operador mondico que cambia

el valor de verdad de una proposicin:
Sea p una proposicin simple. Se define la negacin de p mediante la proposicin
compuesta no p
simbolizada por: ~ p.

p ~ p

OBSERVACINES:
I) La cantidad de filas en una tabla es:

fi l a s =

Donde

II)

2 n

n es la cantidad de proposiciones simples.

5
PROF. RAL BRAVO RODRGUEZ

INTRODUCCIN A LA LGICA PROPOSICIONAL

ANLISIS DE LAS PROPOSICIONES

COMPUESTAS BSICAS

Se observa:
La negacin es una proposicin, cuyo valor veritativo es opuesto al de la proposicin
original.
La conjuncin es verdadera slo si sus componentes son verdaderos, en otros casos ser
falso. Las palabras pero, sin embargo, adems, no obstante, aunque, a la vez, etc.
equivalen .
La disyuncin inclusiva es falsa slo s sus componentes son falsos, en caso contrario es
verdadera.
La disyuncin exclusiva es verdadera slo si sus componentes tienen valores veritativos
opuestos.
La condicional es falsa si su antecedente es verdadero y su consecuente falso, las palabras
porque, puesto que, ya que, siempre que, cada vez que, tambin son conectivos
condicionales.
La bicondicional es verdadera slo si los valores de verdad de sus componentes son
iguales.

IMPORTANTE!:
*

Cuando los valores del operador principal son todos verdaderos se dice que el
esquema molecular es tautolgico.
Ejemplo: Hallar la tabla de verdad de
pV p
p
V
F

p
V
F

V
V
V

p
F
V

La evaluacin nos entrega slo valores verdaderas, por tanto es una Tautologa.
Se dir que el esquema molecular es contradictorio si los valores del
operador principal son todos falsos. Ejemplo: Hallar la tabla de verdad de (p
p)
p
V
F

p
V
F

V
F
F

p
F
V

6
PROF. RAL BRAVO RODRGUEZ

INTRODUCCIN A LA LGICA PROPOSICIONAL

*

La evaluacin nos entrega slo valores falsos, por lo tanto es una Contradiccin.
Si los valores del operador principal tiene por lo menos una verdad y una falsedad
se dice que es contingente o contingencia.

EJERCICIOS DE APLICACIN
(Desarrollar en el Cuaderno)
1) Determinar en las siguientes
frmulas Cul de ellas son tautologas,
contingencias y contradicciones?,
Resuelve mediante las tablas de verdad

a) VVV
b) VFV
d) FVF
e) FVV
5) Indicar el valor de verdad de:
I.

c) VVF

~ [(p q) p]

II. (p q) p
III. (p q) (p q)
IV. p (p q)
a) VFVF
d) VFFV
6)

2) Dar el valor de verdad

resultante

3)

1.
2.
3.
4.
5.
6.
7.

V V ....
F V ....
F V ....
V F ....

F V ....
V F ....

c) FVFV

De los siguientes esquemas:

* (q r) (~ p r)
* [p (p q)] p

* [(~ p q) ~ r] ~ [r ~ (p ~ q)]
Indicar en el orden dado cul es Tautologa
(T), Contingencia (S) o Contradiccin (C):
a) T , C , S
d) S , T , C

b) T , S , C
c) C , T , S
e) S , C , T

7). Dado el siguiente enunciado:

~ [{~ ([p q] p) ~ (q r)} q]

Segn su tabla de verdad, podemos decir

que dicha proposicin es una:
a) Tautologa.
c) Contingencia.

b) Contradiccin.
d) Ley lgica.

F V F ....

Si la proposicin:
es falsa, hallar el valor de verdad de las
siguientes frmulas:
I. ~ (p r) (p q)
II. (p ~ q) (~ r q)
III. [(p q) (q ~ r)] (p ~ r)
a) VVF

4)

b) VVVF
e) FVVV

b) VFV
c) VVV
d) VFF
e) FVV
Indicar el valor de verdad de:
I. p (p q)
II. (p q) (p q)
III. ~ [(p q) p]

PROF. RAL BRAVO RODRGUEZ

Pensando

en

la

Universidad!
1. Si la proposicin (p q) r es
falsa.
Hallar el valor de verdad de p; q
y r.
7

INTRODUCCIN A LA LGICA PROPOSICIONAL

a) VVV
d) VFV

b) FVF
e) FFV

c) FFF

2. Si la proposicin:
(p q) ( r s) es falsa
deducir el valor de verdad de:
I. ( p q) q
II. [( r q) q] [( q r) s]
III. (p r) [(p q) q ]
a) VVV
d) FVF

b) VVF
e) FFV

c) FVV

3. Si la proposicin: ( p q) [(p
r) t] es falsa, encontrar el
valor
de
verdad
de
las
proposiciones compuestas.
I. (q r) (p q)
II. (t r) (q t)

8
PROF. RAL BRAVO RODRGUEZ