Está en la página 1de 20

MATEMATICA I

MSC. JOHANA MONTOYA L.


UNIDAD 1

LOGICA MATEMATICA
Rama de la matemtica que nos permite comprender sobre la
validez o no de razonamientos y demostraciones que se realizan.
Estudia la forma de razonamientos y se aplica en la filosofa : para
determinar si un razonamiento es valido o no,
Matemtica: para demostrar teoremas e inferir resultados matemticos,
Computacion: para revisar programas.

Proposiciones
Proposiciones Conectores logicos compuestas

Calculo
Tautologia Contradiccin Proposicional
PROPOSICIONES
Diremos que una proposicin es un enunciado (o frase) en el cual podemos
asignar un valor de verdad o falsedad; pero no ambos al mismo tiempo.
Por ejemplo:

Son proposiciones:
Albert Einstein descubri Amrica.
56 20 + 4 = 40
La luna es un satlite natural de la tierra.
El dos es un nmero primo.
4+3 = 7
Existen enunciados que no son proposiciones, porque no es posible establecer
su valor de verdad por ejemplo:

Adis!
Qu hora es?
Maana llover
5 4x = 1 No es una proposicin. Pero, si sustituimos x por
cualquier nmero, ella se convierte en proposicin. A este tipo de frases se
les llama funciones proposicionales.
NOTAS IMPORTANTES

1. Las proposiciones las notaremos con las letras .


2. Aquellas proposiciones que no se pueden descomponer en dos o ms
proposiciones; se llaman proposiciones simples.
3. Las proposiciones que estn formadas por dos o ms proposiciones simples
por medio de conectores llamados lgicos se llaman proposiciones
compuestas.
4. Si una proposicin es verdadera se denotar por la letra V o el 1 y si es
falsa se denotar por F o por el 0
TIPOS
EJERCICIO
Cuales de las siguientes expresiones son enunciados

1. El mote es exquisito
2. Gabriel Garca Mrquez es el auto de Cien aos de soledad
3. (5)(-8)=35
4. Que frio hace...!!!!!!

Escriba 5 expresiones que sean Proposicin y 5 que sean enunciados.


TAREA
ESCRIBA 5 ENUNCIADOS QUE SEAN PROPOSICIONES.
ESCRIBA 5 ENUNCIAS QUE NOSEAN PROPOSICION Y EXPLIQUE EL PORQUE?
ESCRIBA UNA PROPOSICION QUE SEA:

CERRADA COMPUESTA AFIRMATIVA Y VERDADERA


SIMPLE, NEGATIVA
SIMPLE ABIERTA Y FALSA
COMPUESTA CERRADA Y FALSA
COMPUESTA , ABIERTA , Y AFIRMATIVA.
OPERADORES O CONECTORES LOGICOS
Son los nexos o enlaces gramaticales que unen dos o mas oraciones o
partes de una oracin, para darles coherencia lgica.
Los conectores lgicos utilizados son : no, y , o , si......entonces, si y solo si
NEGACION
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".
EJERCICIO:
ESCRIBA LOS SIMBOLOS Y TABLAS DE CADA UNO DE LOS OPERADORES
LOGICOS.

TAREA:
ESCRIBA UN EJEMPLO PARA CUANDO SE CUMPLA (SEA VERDADERO) EL
CUMLIMIENTO DE CADA OPERADOR LOGICO.
TAUTOLOGIA , CONTRADICCION Y
CONTINGENCIA

Si la tabla de verdad de la proposicin es siempre verdadera, independientemente de la

verdad o falsedad de las proposiciones simples, entonces la expresin es tautolgica.

Si la tabla de verdad es siempre falsa, ser una contradiccin.

Si es verdadera y falsa, la proposicin es una contingencia.


TAUTOLOGIA
Las tautologas son identidades lgicas que siempre sern verdaderas,
no son solo un til objeto en la lgica son usadas primordialmente
para pruebas sentenciales, desempean un papel fundamental en los
procesos de la deduccin dentro de esta lgica (sentencial).
Ejemplo:
La expresin (p ^ q) (p v r) es una tautologa.
CONTRADICCIN
Si una proposicin compuesta es falsa para todas las asignaciones entonces
es una contradiccin. Son formulas sentencialmente contra-validas o de
tercer grado. Ejemplo:
P P (se lee: P y no P). Su tabla de verdad es la siguiente.

También podría gustarte