DEBER N: UNIVERCIDAD TECNICA DEL NORTE

Escuela: Carrera de Ingeniera en Mecatrnica (CIME)

Nombres: Pomasque Moreta Edison Daro
C.I.: 1003092218 N de lista: 28
Fecha: mircoles 21 de mayo del 2014 Nivel: Primero

ALGEBRA LI NEAL
LOGI CA PROPOCI CI ONAL
Una proposicin lgica es cualquier expresin que puede ser verdadera o falsa, pero no
las dos al mismo tiempo. Algunos ejemplos de proposiciones son:
El ao empieza con el mes de enero.
Cuando esta soleado se siente calor.
En invierno no es agradable sentir el fri.
1 + 1 = 2
Marte esta lleno de marcianitos
5 * 9 = 59
Las primeras cuatro proposiciones son verdaderas y se dice que su valor es V, mientras
que las ltimas dos son falsas y su valor es F. Dentro de las proposiciones verdaderas, la
ltima (1+1=2) no representa ninguna palabra o frase, sin embargo es una expresin
matemtica y se sabe que es cierta, y lo mismo pasa con la proposicin (5*9=59). No es
necesario que una proposicin sea una expresin verbal, simplemente necesitamos po-
der determinar el valor de verdadero o falso.
Por otro lado, expresiones que no cumplen esta propiedad no son proposiciones lgicas,
por ejemplo:
El prximo viernes caer un meteorito en mi casa.
Ven a verme.
Viva la libertad!
Est lloviendo?
El est triste.
En la primera frase, se podra decir que la proposicin es falsa, sin embargo es imposi-
ble con toda seguridad que eso no suceder por lo que tambin podra ser cierto, hacien-
do que a esta proposicin no se le pueda asignar un valor y que no sea lgica. La segun-
da y tercera frase tampoco son proposiciones lgicas porque no estn afirmando nada y
no podemos asignarles un valor de cierto o falso. La cuarta es una pregunta y aunque se
pueda responder con un cierto o falso, la pregunta en si no tiene un valor de verdad por
lo que tampoco cuenta como proposicin lgica. La quinta podra ser una proposicin
lgica pero "el est" es una afirmacin muy ambigua y cualquier persona podra ocupar
la posicin de "el", por lo que la proposicin tendra el valor de cierto o falso depen-
diendo de la persona a la que se aplicara, debido a esto no puede tener un valor de ver-
dad absoluto y no puede ser una proposicin lgica.
TI POS DE PROPOCI CIONES
En adelante cuando hablemos de proposiciones, stas sern lgicas. Si son abiertas, sig-
nificar que el conjunto de sustituciones est bien definido y la harn verdadera o falsa.
Para operar con las proposiciones, stas se clasifican en dos tipos: Simples y Compues-
tas, dependiendo de como estn conformadas.
Proposiciones Simples
Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o
trminos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . .
entonces"). Pueden aparecer trminos de enlace en el sujeto o en el predicado, pero no
entre oraciones.
Proposiciones Compuestas
Una proposicin ser compuesta si no es simple. Es decir, si est afectada por negacio-
nes o trminos de enlace entre oraciones componentes.
Ejemplos
Ensayemos una lista clasificada y luego algunas aclaraciones:
1) Carlos Fuentes es un escritor. (Simple)
2) Sen(x) no es un nmero mayor que 1. (Compuesta)
3) El 14 y el 7 son factores del 42. (Simple)
4) El 14 es factor del 42 y el 7 tambin es factor del 42. (Compuesta)
5) El 2 o el 3 son divisores de 48. (Simple)
6) El 2 es divisor de 48 o el 3 es divisor de 48. (Compuesta)
7) Si x es nmero primo, entonces x impar. (Compuesta)
8) Si x > 10, entonces 2x - 3 > 16. (Compuesta)
9) No todos los nmeros primos son impares. (Compuesta)
CONECTI VOS LOGI COS
El lenguaje formalizado de la lgica de proposiciones consta de dos clases de signos:
variables proposicionales y operadores o conectores lgicos.


Las variables proposicionales representan a cualquier proposicin atmica. Son le tras
minsculas del alfabeto castellano p, q, r, s, t, etc. Los operadores lgicos ade-
ms de enlazar o conectar preposiciones establecen determinadas operaciones entre
ellas.



TAUTOLOGI AS
En lgica, una tautologa (del griego , "decir lo mismo") es una frmula bien
formada de un sistema de lgica proposicional que resulta verdadera para cualquier in-
terpretacin; es decir, para cualquier asignacin de valores de verdad que se haga a
sus frmulas atmicas. La construccin de una tabla de verdad es un mtodo efecti-
vo para determinar si una frmula cualquiera es una tautologa o no.
Esto puede presentarse mediante una simple tabla:

Para cada una de estas interpretaciones, puede calcularse el valor de verdad de la frmu-
la p q. Los resultados pueden presentarse nuevamente mediante una tabla:

Esta es la tabla de verdad de la frmula p q. Como se ve, esta frmula slo es verda-
dera bajo una interpretacin: aquella en la que ambas frmulas atmicas son verdaderas.
Una tautologa es una frmula cuyo valor de verdad es 1 para todas las interpretaciones
posibles de las frmulas atmicas. Por lo tanto, p q no es una tautologa. En cambio,
la siguiente tabla de verdad muestra una frmula que s lo es:

Si una frmula tiene n frmulas atmicas, entonces tiene 2
n
interpretaciones posibles.
En muchos casos, por lo tanto, las tablas de verdad pueden ser muy grandes. Lo impor-
tante, sin embargo, es que dado que la lgica proposicional no admite frmulas infini-
tas, el nmero de interpretaciones posibles siempre ser un nmero finito, y por lo tanto
siempre ser posible decidir si una frmula cualquiera es una tautologa o no.
LAS MS I MPORTANTES LEYES LOGI CAS
DE IDENTIDAD:


Una proposicin slo es idntica consigo misma.
DE CONTRADICCIN:

Una proposicin no puede ser verdadera y falsa a la vez.
DEL TERCIO EXCLUDO:

Una proposicin o es verdadera o es falsa, no hay una tercera opcin.
DE LA DOBLE NEGACIN O INVOLUCIN:

La negacin de la negacin es una afirmacin.
DE LA IDEMPOTENCIA:


Las variables repetidas redundantemente en una cadena de conjunciones o en una cadena
de
disyunciones se reemplazan por la sola variable.
DE LA CONMUTATIVIDAD:



En una proposicin, la conjuncin, la disyuncin inclusiva y la bicondicional son conmutati-
vas.
DE LA ASOCIATIVIDAD:



En una proposicin, la doble conjuncin, la doble disyuncin, o la doble bicondicional se aso-
cian
indistintamente.
DE LA DISTRIBUTIVIDAD:




En una proposicin la conjuncin, la disyuncin y la implicacin son distributivas.
DE MORGAN:




En una proposicin, la negacin de una conjuncin o de una disyuncin son distributivas
respecto a la disyuncin o conjuncin.
DEL CONDICIONAL:


En una proposicin, la condicional equivale a la disyuncin de la negacin del antecedente
con el consecuente, y la negacin de una condicional equivale a una conjuncin del anteceden-
te con la
negacin del consecuente.
DEL BICONDICIONAL:


DE LA ABSORCIN:




DE TRANSPOSICIN:


DE EXPORTACIN:


MODUS PONENS:

En una premisa condicional; si se afirma el antecedente, entonces se concluye en la afirma-
cin
del consecuente.
MODUS TOLLENS:

En una proposicin, si se niega el consecuente de una premisa condicional entonces se con-
cluye
en la negacin del antecedente.
DEL SILOGISMO DISYUNTIVO:

En una proposicin, cuando se niega el antecedente de la premisa de una disyuncin, se con-
cluye en la afirmacin del consecuente.
DE LA INFERENCIA EQUIVALENTE:

En una proposicin, cuando se afirma que uno de los miembros de una bicondicional es ver-
dadera,
entonces el otro miembro tambin es verdadero.
DEL SILOGISMO HIPOTTICO:

En una proposicin, el condicional es transitivo.
DE LA TRANSITIVIDAD SIMTRICA:

En una proposicin, el bicondicional es transitivo.
DE LA SIMPLIFICACIN:

En una proposicin, si el antecedente y consecuente de una conjuncin son verdades, enton-
ces
cualquiera de los dos trminos es verdad.
DE ADICIN:

En una proposicin, una disyuncin est implicada por cualquiera de sus dos miembros.

EJEMPLOS:
Usando tablas demostrar:
1 ) ( p ) p











2) p V V






3 ) ( p q ) p q

















Utilizando esas definiciones y las leyes de lgica matemtica, demostrar las si-
guientes tautologas:
1 ) p q q p











2) p q ( p q ) ( p q )














3 ) p ( q q ) p