SISTEMAS NUMERICOS UNIDAD 1 (2010)

Contenido: Lgica. Proposiciones. Proposiciones condicionales y equivalencia lgica. Razonamientos y

demostraciones. Preposiciones categricas.

Lgica proposicional
Una de las razones que motiv la aparicin de la lgica matemtica, fue evitar la ambigedad del lenguaje
natural y transformar el pensamiento en un clculo, segn el modo de operar de las matemticas. Simplificar o
simbolizar las oraciones o juicios para poder operar con ellas, as surge el lenguaje formal.
Lenguaje formal
Consiste en abreviar o simbolizar las oraciones o juicios, que en la lgica matemtica se llaman proposiciones.
Una proposicin o enunciado es una oracin que puede ser falsa o verdadera pero no ambas a la vez.
Estas proposiciones se reducen en el lenguaje formal a una sola letra, que llamamos variable, y la
simbolizamos con las letras minsculas del alfabeto que van de la hasta el final del abecedario.
Si digo por ejemplo: Antonio ama a Piedad, esta proposicin queda simbolizada en el lenguaje formal
mediante la variable o , o , o .
= Antonio ama a Piedad
Adems de estas variables, la lgica proposicional utiliza otros smbolos, llamados constantes, cuyo significado
siempre es el mismo, ya que modifican o unen a las variables. Estos smbolos constantes se llaman operadores
lgicos.
Los operadores lgicos ms importantes son:
Conjuntor , y pero tambien ademas en el lenguaje natural.
Disyuntor , o.
Condicional, si... entonces.
Bicondiconal, si y slo si... entonces.
Disyuncin exclusiva, o... o, una proposicin excluye a la otra.
[-] Negacion, no.
Valores de verdad
En la gramtica estamos acostumbrados a ver que la oraciones pueden ser verdaderas o falsas, segn se
ajusten o no a la realidad que expresan, por ejemplo si llueve y digo que hace sol, esa oracin es falsa. En
cambio la lgica considera que las proposiciones pueden ser verdaderas o falsas con independencia de que en
la realidad lo sean; por eso habla de valores de verdad.
Una proposicin [ ] puede ser indistintamente verdadera o falsa; cuando es verdadera, le damos valor 1,
cuando es falsa, le adjudicamos el valor 0. En general dado un nmero n de proposiciones, el nmero de
combinaciones posibles de sus valores de verdad sera 2
n
. As para n=3, sus combinaciones sern 8.

Proposicin conjunctiva: La conjuncin es verdadera slo cuando ambas variables lo son y es falsa en los
dems casos. Sean p y q dos proposiciones cualesquiera podemos unirlas conjuntivamente mediante 'y' o
cualquier otra forma de unin conjuntiva del lenguaje natural, en la notacin lgica usaremos el siguiente
signo y la colocaremos de forma infija entre las dos variables proposicionales que conecta, p q.
La conjuncin de dos proposiciones atmicas es verdadera cuando lo son a su vez las dos proposiciones
componentes. Por ejemplo decamos que: 'llueve y me mojo' es verdadera cuando ocurre que 'llueve' y ocurre
que 'me mojo'. La interpretacin semntica de la conjuncin es entonces:

V V V
V F F
F F V
F F F
Proposicin disyuntiva inclusiva: La disyuncin es verdadera en todos los casos menos cuando vale F y
vale F.
Sean dos proposiciones cualesquiera, p, q. Podemos unirlas mediante la disyuncin 'o' y la simbolizaremos
mediante el smbolo , que colocaremos de manera infija entre las dos variables proposicionales que conecta,
p q.
La disyuncin puede interpretarse de dos maneras distintas:

Disyuncin inclusiva: se puede dar una u otra de las alternativas o las dos a la vez.

V V V
V V F
F V V
F F F
Proposicin disyuntiva exclusiva: La disyuncin exclusiva es verdadera cuando una variable es verdadera y
la otra falsa, y es falsa en los dems casos.
Sean dos proposiciones cualesquiera, p, q. Podemos unirlas mediante la disyuncin 'o' y la simbolizaremos
mediante el smbolo , que colocaremos de manera infija entre las dos variables proposicionales que conecta,
p q.
La disyuncin puede interpretarse de dos maneras distintas:
- Disyuncin exclusiva: si se da una de las alternativas no se da la otra.

V F V
V V F
F V V
F F F
Proposicin condicional: El condicional es verdadero en todos los caso menos cuando vale V y vale F.
El condicional 'si...entonces' es tambin una partcula para formar frmulas de suma importancia en lgica
pues formaliza la estructura deductiva entre dos premisas. Podemos entonces relacionar p y q
condicionalmente, si p entonces q, y lo simbolizaremos mediante el smbolo , que expresaremos en lgica
de la siguiente manera: p q. Aqu hay que tener en cuenta el orden de colocacin de las variables. En
castellano, no tenemos problemas si alteramos el orden de aparicin en la secuencia del antecedente y del
consecuente de un condicional. Podremos decir, y es igualmente correcto, 'si llueve, me mojo' y 'me mojo, si
llueve'.
En la formalizacin lgica ambas oraciones deben simbolizarse como p q, pues lo inverso, q p, produce
otra proposicin completamente distinta.
Un condicional tal como 'si llueve entonces me mojo' es verdadero cuando:
- Su antecedente y su consecuente son verdaderos: Ocurre que llueve y ocurre
que me mojo.
- Su antecedente es falso, pero su consecuente es verdadero: No ocurre que llueve, pero me mojo. En este
caso es verdadero porque lo que afirma un condicional, su consecuente, ocurre. Dicho de otra manera, si yo s
que existe una relacin entre el hecho de llover y el hecho de mojarme, el mojarme aunque no llueva no niega
la relacin anterior. Todava sera verdad que 'si lloviera, me mojara'
- Su antecedente y consecuente son falsos: La relacin condicional 'si llueve , me mojo' no deja de ser
verdadera cuando no llueve y, en consecuencia, no me mojo. Naturalmente cabe seguir aceptando que 'si
lloviera me mojara'.
El planteamiento es semejante al caso anterior.
- Solamente el condicional es falso cuando su consecuente es falso y su antecedente
es verdadero. Pues si llueve debera mojarme tal y como se enuncia.



V V V
V F F
F V V
F V F

Proposicin bicondicional: El bicondicional es verdadero cuando ambos son verdaderos o cuando ambos
son falsos, y es falso en los dems casos.
El Condicional expresa la condicin suficiente, pero no la necesaria. De ah la tabla de verdad del condicional.
Por ejemplo, es suficiente para mojarme que llueva, pero me puedo mojar por otros motivos. Para expresar la
condicin suficiente y necesaria utilizamos el bicondicional, si y slo si, que simbolizaremos
mediante , y que simbolizaremos como p q. En realidad un bicondicional es la conjuncin del
condicional con su inverso:



V V V
V F F
F F V
F V F

En realidad, como podemos apreciar en la tabla, esta conectiva se puede definir en funcin del condicional y
no tendramos que incluirla en nuestro vocabulario bsico. Sin embargo, dado que el bicondicional expresa la
relacin de equivalencia y dado que este relacin se usa mucho en lgica, para abreviar los clculos y para
establecer definiciones fcilmente es tradicional incluirla dentro de las conectivas bsicas
Analizando su tabla de verdad, diremos que un bicondicional es verdadero cuando sus proposiciones atmicas
coinciden en su valor de verdad. Ahora no slo me tengo que mojar sino que tengo que hacerlo porque llueva
o bien si no ocurre que me mojo ser porque no llueve. Dicho de otra manera, slo me mojosi llueve y slo es
el caso que est lloviendo si me mojo.

Proposicin negativa: La negacin - que se lee no -, cambia el valor de la variable que se niega: slo es
verdadera si es falsa y es falsa si es verdadera.
La negacin es una conectiva mondica, toma como argumento una proposicin y arroja como valor lo
contrario de la proposicin. La expresaremos mediante el signo - y la usaremos prefija a la variable
proposicional a la que se aplica, -p. Evidentemente simboliza al 'no' o a cualquier forma de negacin del
lenguaje natural. Opera invirtiendo el valor del argumento. Si p es verdadera,entonces -p es falsa y al revs. En
forma de tabla:

V F
F V

Leyes lgicas
Todas aquellas proposiciones tautolgicas son leyes de la lgica proposicional. Por ejemplo:


V V F
F V V
Es una ley lgica que ya conoci Aristteles con el nombre de tercero excluido o tertio excluso.
Las leyes lgicas son muy numerosas, pero hay algunas muy importantes que se refieren a la conjuncin,
disyuncin y negador (La significa tautologa y la contradiccin):

Idempotencia

Asociativa


Conmutativa


Identidad




Absorcin


Distributiva


De Morgan


Doble negacin

Ejercicios: Realizar las tablas de verdad