UNIVERSIDAD TCNICA DEL NORTE

CIME

NOMBRE: Fernando Madera
C.I: 0401787775
ASIGNATURA: lgebra Lineal


Proposiciones lgicas
Una proposicin es una oracin con valor referencial o informativo, de
la cual se puede predicar su veracidad o falsedad, es decir, que puede
ser falsa o verdadera pero no ambas a la vez.
Clases de proposiciones logicas
Tipos de proposiciones
En adelante cuando hablemos de proposiciones, stas sern lgicas.
Si son abiertas, significar 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
Compuestas, 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 negaciones o trminos de enlace entre oraciones
componentes.








Conectores lgicos

Existen conectores u operadores lgicas que permiten formar
proposiciones compuestas (formadas por varias proposiciones). Los
operadores o conectores bsicos son:

NEGACIN
Palabras conectivas: no, no es cierto que, no es verdad que, nunca,
carece de, sin, etc.
Prefijos negativos: a, des, in, i.
Condicin: lo V se transforma en F (y al revs) P -p




CONJUNCIN: .
Palabras conectivas: y, aunque, pero, mas, tambin, sin embargo,
adems, etc.
Condicin: es V cuando ambas son V.


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.



DISYUNCIN INCLUSIVA
Una, otra o ambas a la vez. (y/o)
Palabras conectivas: o
Condicin: es F cuando las dos son 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.






DISYUNCIN EXCLUSIVA

O una o la otra (NUNCA ambas juntas)
Palabras conectivas:
O ......... o .....
O bien .... o bien
.... a menos que ....
.... salvo que ......
Condicin: es V cuando uno es V y el otro es F.



LA CONDICIONAL
Palabras conectivas: Si ..p.. entonces ..q.. Si ..p.. , ..q.. Cuando
.......p............. , ......q.. Siempre ......p............. , ....q.. Es condicin
suficiente..p..para que..q.. .........q........ slo si ......p....... Es condicin
necesaria...q..para que..p..
Condicin: es falsa slo si el antecedente (p) es V y el consecuente (q)
es F.



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 BICONDICIONAL
Palabras conectivas: si y slo si; cuando y slo cuando; es equivalente
a; es condicin suficiente y necesaria para; etc.
Condicin: son verdaderas si ambas proposiciones tienen el mismo
"valor de verdad".




















NEGACION CONJUNTA
Simbolizaciones equivalentes:
Palabras conectivas:
Ni.... ni.....
No.... ni.....

Condicin: es V si slo ambas proposiciones son F.

NEGACION CONJUNTA
Simbolizaciones equivalentes:
Palabras conectivas:
O no............... o no......
Es incompatible.... con.......
Condicin: es F si las proposiciones son ambas V


Tautologia
Las tautologas ms conocidas y ms usadas en demostraciones
matemticas son las siguientes:
1.- Doble negacin.
a). p p
2.- Leyes conmutativas.
a). (pq)(qp)
b). (pq)(qp)
c). (pq)(qp)
3.- Leyes asociativas.
a). [(pq)r][p(qr)]
b). [(pq)r][p(qr)]
4.- Leyes distributivas.
a). [p(qr)][(pq)(pr)]
b). [p(qr)][(pq)(pr)]
5.- Leyes de idempotencia.
a). (pp)p
b). (pp)p
6.- Leyes de Morgan.
a). (pq)(pq)
b). (pq)(pq)
c). (pq)(pq)
d). (pq)(pq)
7.- Contrapositiva.
a). (pq)(q'p')
8.- Implicacin.
a). (pq)(pq)
b). (pq)(pq)
c). (pq)(pq)
d). (pq)(pq)
e). [(pr)(qr)][(pq)r]
f). [(pq)(pr)][p(qr)]
9.- Equivalencia
a). (pq)[(pq)(qp)]
10.- Adicin.
a). p(pq)
11.- Simplificacin.
a). (pq)p
12.- Absurdo.
a). (p0)p
13.- Modus ponens.
a). [p(pq)]q
14.- Modus tollens.
a). [(pq)q]p
15.- Transitividad del
a). [(pq)(qr)](pr)
16.- Transitividad del
a). [(pq)(qr)](pr)
17.- Mas implicaciones lgicas.
a). (pq)[(pr)(qs)]
b). (pq)[(pr)(qs)]
c). (pq)[(qr)(pr)]
18.- Dilemas constructivos.
a). [(pq)(rs)][(pr)(qs)]
b). [(pq)(rs)][(pr)(qs)]


Leyes lgicas
LEYES DEL ALGEBRA DE PROPOSICIONES
Leyes del Algebra de Proposiciones
Las leyes de la algebra de proposiciones son equivalencias lgicas
que se pueden demostrar con el desarrollo de las tablas de verdad del
bicondicional. Las leyes del algebra de proposiciones son las
siguientes:
1. EQUIVALENCIA
PP
2. INDEPOTENCIA
PP P
P P P
3. ASOCIATIVA
PQ R (PQ) R P(QR)
PQ R (PQ) R P(QR)
4. CONMUTATIVA
PQ QP
PQ QP
5. DISTRIBUTIVAS
P(QR) (PQ)(PR)
P(QR)(PQ)(PR)
6. IDENTIDAD
PF F
PV P
PF P
PVV
7. COMPLEMENTO
PPF
PPV
(P)P
FV
VF
8. DE MORGAN
(PQ) PQ
(PQ)PQ
9. ABSORCION
P(PQ)P
P(PQ)P