Lgica de

Proposiciones
LCDA. GEORGELYS MARCANO

Qu es?
La lgica de proposiciones se llama as porque en ella las proposiciones o
enunciados forman la nica categora semntica bsica.
Algunas son simples y no se analizan, otras son compuestas y se analizan
descomponindolas por medio de conectivos proposicionales (y, o, no, si entonces)
en proposiciones ms simples.
Una proposicin o enunciado es una oracin que puede ser verdadera o falsa, pero
no ambas.
Las proposiciones son los bloques bsicos de construccin de cualquier teora lgica.
Para las proposiciones se usan las letras desde a hasta z siempre en minsculas.

Lgica de proposiciones
Ejemplo,
Determine si las oraciones siguientes son proposiciones o no:
1. Si una funcin es continua, entonces es derivable.
2. Todo ser de nariz larga es pinocho.
3. Es un lugar de la Mancha, de cuyo nombre no quiero acordarme.
4. Rob, huy y lo pescaron.
5. Yo miento.
6. Esta oracin es falsa.

Lenguaje formal de proposiciones

Las proposiciones pueden ser combinadas entre si para obtener nuevas
proposiciones.
As, si A es una proposicin, No A tambin lo ser; y si A y B son dos
proposiciones, podemos combinarlas de muchas maneras para formar
nuevas proposiciones, por ejemplo:
A y B
A y no B
Si A entonces B
Ni A, ni B
A o B

Lenguaje formal de proposiciones

Smbolos de letras proposicionales:
, , , ,
A estos smbolos se les denomina conectivos lgicos.
Parntesis: ), (. Siendo estos smbolos de puntuacin.
Ejemplo:
p q (p q)

Lenguaje formal de proposiciones

Smbolos de letras proposicionales:
No
y
o
implica
Es equivalente, si y solo si.

Semntica de proposiciones

p
V
V
F
F

V
q
V
F
V
F

(pq)
V
F
F
F

(p q)
V
V
V
F

(pq)
V
F
V
V

(pq)
V
F
F
V

Convenciones de proposiciones
Se pueden omitir los parntesis externos de una formula bien formada.
La negacin es el conectivo mas debi, de modo que si se aplica a una sola letra
proposicional pueden omitirse los parntesis correspondientes. Esto es, por ejemplo:
(( p) q)) se puede escribir p q
Cuando en una formula solo aparece un mismo conectivo binario y este es u , se pueden
omitir los parntesis. Por ejemplo:
((a b) c) se puede escribir a b c

Una valuacin para el lenguaje formal

conjunto de letras proposicionales

es un funcin

vP
:

{0,1}, donde

P es el