Notas de Lgica proposicional.

Lgica es una ciencia que se dedica a explicar el orden correcto de los pensamientos. Ser lgico
significa ser ordenado y preciso en la expresin de los propios pensamientos, ya sea de manera
oral o escrita. La Lgica simblica es una parte de la Lgica en la que se trabaja con
proposiciones simples y compuestas (varias proposiciones simples, ligadas por conectivas
lgicas). En donde es posible hacer clculos sobre proposiciones compuestas para inferir su
valor de verdad o falsedad.
Proposicin: Es toda afirmacin que puede ser verdadera o falsa pero no ambas, ha esto se
le conoce como el valor de verdad de la proposicin. Vea el siguiente ejemplo y note como se
simboliza el valor de verdad.
P: un tomo est formado por electrones, protones y neutrones.
P V o bien 1 P
Una proposicin simple es aquella que no tiene trminos de enlace y una compuesta es todo lo
contrario.
Conectivas lgicas.
Son smbolos que sirven para enlazar proposiciones simples para poder formar proposiciones
compuestas. Estos smbolos tambin son conocidos como operadores lgicos o conectivas lgicas.
Termino de enlace Lenguaje natural Smbolo
Bicondicional si y solo si
Condicional si entonces
Conjuncin y
Disyuncin inclusiva o
Disyuncin exclusiva o bien o bien
Negacin no

Si p es una proposicin entonces los valores de verdad que puede adquirir son V o F. Pero qu
pasa si se desea saber el valor de verdad de una proposicin compuesta por dos proposiciones, a
saber, p y q. Est claro que las diferentes alternativas de verdad o falsedad que pueden tomar
son:
1. Ambas verdaderas.
2. La primera verdadera y la segunda falsa.
3. La primera falsa y la segunda verdadera.
4. Ambas falsas.
Caso 1
P
V
F

Caso 2
p q
V V
V F
F V
F F

A partir de estos dos esquemas podremos formar las tablas de verdad de
los 6 trminos de enlace. Estas tablas de verdad estn en la siguiente
tabla.
*
Tablas de verdad
p q
p q p q
p q
p q p q
0 0 0 0 0 1 1
0 1 0 1 1 1 0
1 0 0 1 1 0 0
1 1 1 1 0 1 1

La razn por la cual existen las tablas de verdad es porque nos permiten determinar
mecnicamente el valor de verdad de una proposicin compuesta.
Reglas.
1. Bicondicional. Es cierta solo cuando p y q son a la vez ciertas, o son a la vez falsas.
2. Condicional. Es falso solo cuando p es cierta y q es falsa.
3. Conjuncin. Es cierta solo cuando p y q son ciertas a la vez.
4. Disyuncin inclusiva. Es falsa solo en el caso de que p y q sean falsas simultneamente.
5. Disyuncin exclusiva. Es falsa cuando p y q son a la vez ciertos o a la vez falsos.
6. Negacin. Es cierta solo cuando p es falsa.
Jerarqua de operadores lgicos.
Mayor
Menor

Uso de parntesis.
Una proposicin compuesta que no tiene parntesis puede entenderse de diferentes maneras,
es por ello que se deben de utilizar parntesis en las expresiones proposicionales. Un caso tpico
es una proposicin compuesta que solo tiene conjunciones y disyunciones Cmo saber el
significado de la expresin, si ambas conectivas tiene la misma jerarqua?
p q r
Ejemplo del uso de jerarqua.
p q r s
Una proposicin compuesta se dice que es una tautologa o que es lgicamente verdadera, si y
solo si, dicha proposicin es siempre es verdadera sin importar los valores de verdad de las
proposiciones que la componen. Si la proposicin compuesta siempre es falsa entonces se le
llama contradiccin o lgicamente falsa. En otro caso se le llama indeterminacin.