UNIVERSIDAD TECNICA DEL NORTE

ESCUELA: CIME
NOMBRE: Arvalo Cando Christian Santiago
MATERIA: Algebra lineal
FECHA: 21/05/2014 NIVEL: 1

1. PROPOSICIONES LGICAS
La lgica proposicional es un sistema formal cuyos elementos ms simples representan proposiciones, y
cuyas constantes lgicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras
proposiciones de mayor complejidad.
Trata con sistemas lgicos que carecen de cuantificadores, o variables interpretables como entidades. En lgica
proposicional si bien no hay signos para variables de tipo entidad, s existen signos para variables
proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido). La
lgica proposicional incluye adems de variables interpretables como proposiciones simples signos para conectivas
lgicas, por lo que dentro de este tipo de lgica puede analizarse la inferencia lgica de proposiciones a partir de
proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones ms simples.
2. CLASES DE PROPOSICIONES LGICAS
Las Proposiciones de Clasifican en los siguientes tipos de oraciones:

a) Oraciones Declarativas Simples
Son oraciones llamadas DECLARATIVAS por que declaran algo como su propio nombre dice y tambin son
llamadas simples porque carecen de conectivos lgicos. Para mejor COM prendimiento son oraciones formadas por
una sola oracin de ah el nombre SIMPLE

b) Oraciones Declarativas Compuestas
Son oraciones llamadas Compuestas por que al contrario de las simples. Este tipo de oraciones tienen la presencia de
conectivos lgicos y estn formadas por ms de una oracin es decir pueden estar formadas por infinitas oraciones.

3. CONECTIVOS LGICOS
A partir de los conectores u operadores lgicos, listado anteriormente, es posible formar proposiciones compuestas
(formadas por varias proposiciones simples y conectadas entre s por los conectores lgicos),

LA NEGACI N
La negacin se simboliza, generalmente por el signo "~". Este signo puede ser traducido en palabras, as: "no es el
caso que" o, ms brevemente, "no".
La negacin de un enunciado verdadero es falsa; la negacin de un enunciado falso es verdadera. Lo que equivale a
decir que la negacin de la negacin de una proposicin verdadera es verdadera; y la negacin de la negacin de una
proposicin falsa es falsa.



p ~p
V F
F V

LA CONJ UNCI N.
La conjuncin es el operador correspondiente al trmino "y", siendo su smbolo ms corriente el siguiente, "^", se le
conoce como la multiplicacin lgica. Expresado en el lenguaje matemtico, la conjuncin est regida por la ley
asociativa, "(pq)r" equivale a decir "pqr". Pero tambin es de carcter conmutativo: "pq" y "qp" son irrelevantes en
su orden.
La regla para establecer los criterios de verdad de la conectiva lgica conjuncin es la siguiente:
Una conjuncin de enunciados en los cuales todos son verdaderos, es verdadera
Una conjuncin de enunciados en donde no todos son verdaderos es falsa.
Lo que equivale a decir que basta que uno de sus componentes sea falsa para que toda la proposicin sea falsa y
slo ser verdadera en el caso de que ambos componentes lo sean.
El expresado anteriormente se resumen simblicamente de la siguiente manera:
p q p ^ q
V V V
V F F
F V F
F F F
Ejemplo:
Sea el siguiente enunciado "el auto enciende cuando tiene gasolina en el tanque y tiene corriente en la batera"
Sean:
p= tiene gasolina el tanque
q = tiene corriente la batera
r = el auto enciende = p ^ q
La conclusin resultante es que para que el auto encienda se debe tener gasolina en el tanque y corriente en la
batera, sino se tiene una de estas dos condiciones el auto no arrancar.

LA DI SYUNCI N I NCLUSI VA
expresada ordinariamente mediante la palabra "o", simblicamente se le representa por medio de la letra "v",
colocada entre dos proposiciones. Sin embargo, la "o" en este caso no tiene carcter de encrucijada o de dilema, y se
puede interpretar como " o uno u otro o ambos".
La regla de la tabla de verdad para esta conectiva lgica es la siguiente:
Una disyuncin inclusiva es verdadera cuando por lo menos una de sus alternativas es verdadera; solamente ser
falsa si las dos lo son.
p q p v q
V V V
V F V
F V V
F F F
Ejemplo:
Sea el siguiente enunciado "Una persona puede entrar al cine si compra boleto u obtiene un pase"
Sean:
p= compra boleto
q = obtiene un pase
r = una persona entra al cine = p v q
La conclusin resultante es obvia, puesto que para entrar al cine es necesario tener por lo menos una de las dos
condiciones: comprar un boleto o tener un pase, si se tiene ambas tambin se puede entrar, si no tengo ninguna de
las dos alternativas entonces no se puede entrar al cine.

LA DI SYUNCI N EXCLUSI VA
La disyuncin exclusiva se simboliza pro el signo "v", corresponde a la expresin " o uno u otro, pero no ambos a la
vez". Una de las propiedades de esta conectiva es la de ser conmutativa y la de poseer el carcter asociativo.
Ejemplos de expresiones afines a esta conectiva son " a menos que" o "salvo que"
La regla de la tabla de verdad para esta conectiva lgica es la siguiente:
Una disyuncin exclusiva es verdadera cuando una de sus alternativas es verdadera; y ser falsa si las dos
alternativas son falsas o verdaderas.
p q p v q
V V F
V F V
F V V
F F F

LA CONDI CI ONAL
La condicional, expresada por la frase "si, entonces", se simboliza mediante el signo "" colocado entre las dos
proposiciones. La primera proposicin lleva el nombre de antecedente y la segunda proposicin la de consecuente.
En este caso el antecedente es una condicin suficiente respecto del consecuente y el consecuente es una condicin
necesaria respecto del antecedente.
La regla de la tabla de verdad para esta conectiva lgica es la siguiente:
La condicional ser falsa slo cuando el antecedente es verdadero y el consecuente es falso, en los dems caso ser
verdadera.
p q p q
V V V
V F F
F V V
F F V
Ejemplo:
Si se tiene lo proposicin "Si un cuerpo se calienta, entonces se dilata", se observa que estamos diciendo es que la
primera proposicin "si el cuerpo se calienta" implica a la segunda proposicin " entonces se dilata", pero no se
afirma que el antecedente es verdadero, ni el consecuente es verdadero, puede ser que el cuerpo no se calent y el
cuerpo se dilato por causa de otros factores ajenos a la temperatura, un golpe

LA BI CONDI CI ONAL
La bicondicional, expresada por la frase "si y solo s", denotada por el signo"", significa una relacin
bidireccional en donde ambas proposiciones se necesitan entre s.
La regla de la tabla de verdad para esta conectiva lgica es la siguiente:
La conectiva bicondicional ser verdadera solamente si y solo si las dos sentencias que la componen son a la vez
verdaderas o si son ambas falsas.
El expresado anteriormente se resumen simblicamente de la siguiente manera:

p q p q
V V V
V F F
F V F
F F V

4. TAUTOLOGA
Sea P una proposicin compuesta de las proposiciones simples p1, p2, . . . , pn. P es una Tautologa si es verdadera
para todos los valores de verdad que se asignen ap1, p2,. . ., pn. P es una Contradiccin si es falsa para todos los
valores de verdad que se asignen a p1, p2, . . . , pn. En adelante, notaremos por C a una contradiccin y por T a
una tautologa. Una proposicin P que no es tautologa ni contradiccin se llama, usualmente, Contingencia.

5. PRINCIPALES LEYES LGICAS
La ley de la identidad establece que A es A. En otras palabras, algo es lo que es. Una manzana es una manzana. Si
algo existe tiene una naturaleza, una esencia. Por ejemplo, un libro tiene una portada y una contraportada con
pginas en su interior. Un automvil tiene cuatro ruedas, asientos, puertas, vidrios, etc. Un rbol tiene ramas, hojas,
un tronco y races. Esto tambin significa que cualquier cosa que exista tiene caractersticas. Reconocemos lo que
algo es al observar sus caractersticas. Usted sabe que un rbol es un rbol debido a que ve sus ramas, sus hojas, su
tronco, etc.
An ms, si algo tiene una identidad, no puede tener otra, ya que sta es nica e individual. En otras palabras: Si
algo existe cuenta con una serie de atributos que son consistentes consigo mismo. Este algo, no tiene un conjunto de
atributos que sean inconsistentes consigo mismo. Por lo tanto, podemos fcilmente concluir, que un gato no es un
paracadas. Una manzana no es un automvil de carreras y un rbol no es una pelcula.

La ley de la no contradiccin nos dice que A no puede ser tanto A y ninguna A al mismo tiempo y en el mismo
sentido. En otras palabras: algo, como una declaracin no puede ser al mismo tiempo tanto verdadero como falso y
del mismo modo. Con frecuencia usamos la ley de la no contradiccin en discusiones y debates ya que somos
capaces de reconocer cuando algo es contrario a s mismo. Si le dijramos a Usted que ayer alguien fue de compras
y ms tarde le dijramos que ese alguien no fue de compras, Usted nos corregira dicindonos que existe una
contradiccin. Una contradiccin ocurre cuando una declaracin excluye la posibilidad de otra y aun ambas afirman
ser verdaderas. Ya que sabemos que ambas no pueden ser verdad, vemos entonces, una contradiccin. Basados en
este principio, podemos concluir, que la verdad no se contradice a s misma. Este es un concepto muy
importante. Vamos a repetirlo: "La verdad no se contradice a s misma."

La ley del medio excluido dice que una declaracin es verdadera o falsa. Por ejemplo: "El cabello de esa mujer es
castao." Es verdadero o falso que el cabello de esa mujer es castao. Otro ejemplo: La declaracin "Estoy
embarazado", es verdadera o falsa. Debido a quien escribe esta Leccin es un hombre, no es posible que est
embarazado. Por lo tanto, la declaracin es falsa. Si fuera una mujer, sera posible que estuviera embarazada dadas
las condiciones normales del cuerpo de la mujer. Cuando una mujer se encuentra embarazada, no existe una
posicin intermedia: Est, o no est embarazada. La ley del medio excluido es importante ya que nos ayuda a tratar
con absolutos y esto es particularmente importante en una sociedad donde el relativismo es promovido y las
declaraciones verdaderas son negadas.
Por favor, revise estas tres leyes y familiarcese con estas ya que son extremadamente importantes cuando
desarrollamos habilidades en el pensamiento crtico. Estas leyes, sern utilizadas a lo largo de las siguientes
lecciones.
6. EJERCICIOS
1. Si Marta fue al cine entonces Miguel fue al cine.
Miguel fue al cine.
Por tanto, Marta fue al cine.
SOLUCIN
Determinamos cada una de las premisas, as como tambin la conclusin.
A = Si Marta fue al cine entonces Miguel fue al cine
B = Miguel fue al cine
Q = Marta fue al cine
Pero como se dijo anteriormente, cada premisa puede estar formada por una o ms proposiciones, por lo que se
da el caso que la premisa A puede representarse sentencialmente de la siguiente manera:
p = Marta fue al cine
q = Miguel fue al cine
Por tanto:
A = p 6 q
B = q
Q = p
La frmula queda:
[(p 6 q) v q] 6 p
2.- Enlaza cada proposicin con su formalizacin:
Llueve = p, Hace sol = q, Las brujas se peinan = r
1 Llueve y hace sol 1A p q
2 No es cierto que si llueve y hace sol las brujas se peinan 3B r (pq)
3 Las brujas se peinan nicamente si llueve y hace sol 4C r (pq)
4 Cuando las brujas no se peinan, no llueve o no hace sol 2D [(pq) r]
5 Llueve y las brujas no se peinan o bien hace sol y las brujas no se peinan

3.- Formaliza las siguientes proposiciones:
Si tuvieran que justificarse ciertos hechos por su enorme tradicin entonces, si estos hechos son inofensivos y
respetan a todo ser viviente y al medio ambiente, nohabra ningn problema. Pero si los hechos son brbaros o no
respetuosos con los seres vivientes o el medio ambiente, entonces habra que dejar de justificarlos o no podramos
considerarnos dignos de nuestro tiempo.
p: justificar hechos por su tradicin.
q: ser inofensivo.
r: ser respetuoso con los seres vivos.
s: ser respetuoso con el medio ambiente.
t: tener problemas.
q: ser brbaro. (= no ser inofensivo)
u: ser digno de nuestro tiempo.
p [ ( q r s) t ] [ (q ( r s ) ( p u ) ]