INTRODUCCIN A LA LGICA PROPOSICIONAL

L G I C A
QU ES LA LGICA? 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: ENUNCIADO ABIERTO:
Es toda frase u oracin que se Son enunciados que pueden
utiliza en el lenguaje comn. No tomar cualquiera de los 2
es verdad (V) ni falso (F):
valores de verdad.
Cuando expresa deseo
Ejemplo:
Cuando expresa una orden P(x) : x 6
Si:
Cuando expresa una
Se cumple que:
pregunta o exclamacin. P(9) : 9 6 Es verdadero
P(2) : 2 6 Es falso
PROPOSICIN
Es toda expresin coherente El valor de verdad de P(x)
que se caracteriza por el hecho depende del valor de x,
de poseer un valor de verdad tambin, se le conoce como
o veritativo, es decir que se
puede indicar si es verdadero funcin proposicional.
(V) falso (F).

ENUNCIADO Y PROPOSICIN
1) Coloca una (E) de enunciado o una (P) de proposicin segn sea el caso

Lima es la capital del Per ( ) Nota: La proposicin no debe

tener contradicciones ni
ambigedades en el contenido
de su mensaje.
Qu hora es? ( ) Ejemplo: Manuel aprob y no
Auxilio! ( ) aprob el curso de lgica
10 = 4 + 13 ( ) (contradiccin).
La Teta Asustada es pelcula Argentina ( ) CUIDADO!
10 < 8 ( ) Pseudoproposicin
Tpac Amaru muri decapitado. ( ) Es una expresin que parece
ser proposicin, pero se
9 < 10 ( ) diferencia de esta, porque
45 = 3 2 ( ) est basado en aspectos
El lapicero es rojo irrealizables, improbables, no
La tierra no se mueve factibles y no posibles. Se
La gnoseologa es una disciplina filosfica ( ) relaciona con la funcin
El socialismo es un sistema poltico caduco ( ) expresiva del lenguaje. Ejem:
g) Francisco Pizarro no fue conquistador sino invasor ( ) 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:
* Qu rico durazno.
* 7 + 15 > 50
Qu alternativa es correcta?
a) Una es proposicin.
b) Dos son enunciados abiertos.
c) Dos son expresiones no proposicionales.
d) Dos son proposiciones.
e) Todas son proposiciones.
3) Cuntas de las siguientes expresiones son proposiciones?
* Dios mo .... se muri!
* El calor es la energa en trnsito.
* Baila a menos que ests triste.
* Siempre que estudio, me siento feliz.
* El delfn es un cetceo, ya que es un mamfero marino.
4) Dadas las siguientes expresiones:
* El tomo no se ve, pero existe.
* Los tigres no son paquidermos, tampoco las nutrias.
* Toma una decisin rpida.
* La Matemtica es ciencia fctica.
* Es imposible que el ao no tenga 12 meses.
Cuntas no son proposiciones simples?
"Nunca deberamos
pensar en las
Matemticas que
puede aprender un
nio, sino en aquellas
con cuyo aprendizaje
se contribuya al
desarrollo de su
dignidad humana"
Hans Freudenthal
EXPRESIONES NO PROPOSICIONALES
Por regla, las expresiones sueltas (que no
denotan informacin o son incompletas)
como: maana, el gobierno, San Martn,
etc. no son proposiciones porque les falta
el predicado. Tambin las que se
encuentran en este grupo las expresiones
que se encuentran entre signos de
admiracin e interrogacin as como las
que expresan mandatos u rdenes a
cumplirse. Se relaciona con la funcin
operativa del lenguaje.
Ejemplos:
a) Cinco
b) Auxilio!
c) El hijo de Huayna Cpac
d) La deuda externa
e) Cunto tiempo dur la poca colonial?
f) Jos Carlos Maritegui
g) Presente usted el informe urgente!

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

Son los smbolos que representan a una
(3 2 5) (7 2 11) proposicin simple.
Ejemplos.
a) Letras minsculas del alfabeto latino a
partir de p, q, r, etc.
b) Letras griegas como: , , , , , etc.
(4 1 3) (2 10 8) 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 usado el anterior.

(3 7 10) (12 5)

12 2 1 1 3
2 2
2
PROF. RAL BRAVO RODRGUEZ
 INTRODUCCIN A LA LGICA PROPOSICIONAL

CLASES DE PROPOSICIONES:

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:

Marcelo es ingeniero y denis tiene 10 aos Las proposiciones compuestas se clasifican

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
CONECTIVOS LGICOS respecto a una realidad.
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 q p q
V V V
V F F
F V F
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 q p q
V V V
V F V
F V V
F F F

3. Disyuncin Exclusiva: Vincula dos proposiciones mediante el conectivo lgico: "o ...........,
o ............."
Tabla de Verdad Excluyente

p q p q
V V F
V F V
F V V
F F 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
p q p q
V V V
V F F
F V V
F F VF
5. Bicondicional: 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

p q p q
V V V
V F F
F V F
F F V
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
V F
F V
OBSERVACINES:
I) La cantidad de filas en una tabla es: II)

# fi l a s = 2 n

Donde 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 p V p
V V V F
F F V 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 p V p
V V F F
F F F V

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.

6
PROF. RAL BRAVO RODRGUEZ
 INTRODUCCIN A LA LGICA PROPOSICIONAL

EJERCICIOS DE APLICACIN
(Desarrollar en el Cuaderno)
1) Determinar en las siguientes frmulas a) VFVF b) VVVF c) FVFV
Cul de ellas son tautologas, contingencias y d) VFFV e) FVVV
contradicciones?, Resuelve mediante las tablas de
verdad
6) 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 b) T , S , C c) C , T , S
d) S , T , C e) S , C , T

7). Dado el siguiente enunciado:

~ [{~ ([p q] p) ~ (q r)} q]
Segn su tabla de verdad, podemos decir
2) Dar el valor de verdad que dicha proposicin es una:

resultante a) Tautologa. b) Contradiccin.

c) Contingencia. d) Ley lgica.
1. V V ....
2. F V ....
3. F V ....
4. V F .... Pensando en la Universidad!
5. F V ....
6. V F ....
1. Si la proposicin (p q) r es falsa.
7. F V F ....
3) Si la proposicin:
Hallar el valor de verdad de p; q y r.
es falsa, hallar el valor de verdad de las
siguientes frmulas:
I. ~ (p r) (p q)
a) VVV b) FVF c) FFF
II. (p ~ q) (~ r q) d) VFV e) FFV
III. [(p q) (q ~ r)] (p ~ r)
2. Si la proposicin:
a) VVF b) VFV c) VVV
d) VFF e) FVV (p q) ( r s) es falsa
4) Indicar el valor de verdad de: deducir el valor de verdad de:
I. p (p q)
II. (p q) (p q)
III. ~ [(p q) p] I. ( p q) q
II. [( r q) q] [( q r) s]
a) VVV b) VFV c) VVF
d) FVF e) FVV III. (p r) [(p q) q ]
5) Indicar el valor de verdad de:
I. ~ [(p q) p]
a) VVV b) VVF c) FVV
II. (p q) p d) FVF e) FFV
III. (p q) (p q)
IV. p (p q)

7
PROF. RAL BRAVO RODRGUEZ
 INTRODUCCIN A LA LGICA PROPOSICIONAL
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