Вы находитесь на странице: 1из 8

ACTIVIDAD DE INVESTIGACION FOMATIVA

Lgica proposicional y sistema de nmeros reales

ESCUELA PROFESIONAL:

Ingeniera Ambiental
DOCENTE:

Auccaille Quispe Yetsabel


ALUMNO:

Delgado Chavez Valeria


CURSO:

Matemtica I
CICLO:
2016-I

CUSCO-PERU
2016

Qu es lgica proposicional?
Lgica
Es una ciencia que estudia el lenguaje cientfico, su planteamiento, su organizacin,
en entidades jerrquicas y los mtodos como sus frmulas para analizar toda forma
escrita. Para comunicarse el ser humano utiliza lenguajes discursivos dichos lenguajes
estn llenos de partculas lgicas.
Las partculas lgicas: fundamentalmente son los cuantificadores las conectivas con
ellas se forman los discursos.
Lgica Proposicional
Es una rama de la lgica clsica que estudia las variables proposicionales o
sentencias lgicas, sus posibles implicaciones, evaluaciones de verdad y en algunos
casos su nivel absoluto de verdad. Algunos autores tambin la identifican con la lgica
matemtica o la lgica simbolice, ya que utiliza una serie de smbolos especiales que
lo acercan al lenguaje matemtico.
Proposiciones
Tautologa: se define tautologa o validez a aquella formula que siempre es verdadera.
Contradiccin: es una proposicin que siempre es falsa para todos los valores de
verdad. Para cualquier valor de verdad de las proposiciones, sea cual sea el resultado
de la formula lgica estudiada siempre va a ser falso.
Conjuncin: es aquella formula que es falsa o verdadera. Las expresiones de las que
depende la validez de los argumentos se definen constante lgicas.
Conectores
Negacin: no -> >, ~
En lgica y matemtica, la negacin, tambin llamada complemento lgico, es una
operacin sobre proposiciones, valores de verdad, o en general, valores semnticos.
Intuitivamente, la negacin de una proposicin es verdadera cuando dicha proposicin
es falsa, y viceversa. En lgica clsica la negacin est normalmente identificada con
la funcin de verdad que cambia su valor de verdadero a falso y viceversa.
Conjuncin: Y , Solamente si las componentes de la conjuncin son ciertas, la
conjuncin es cierta.
Disyuncin: O ,
La disyuncin solamente es falsa si lo son sus dos componentes.
Condicional: entonces
Tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad falso slo cuando la primera proposicin es verdadera y la segunda falsa.

Bicondicional: si solo s.
El Bicondicional o doble implicacin es un operador que funciona sobre dos valores de
verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor
de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y
falso cuando sus valores de verdad difieren.
Proposiciones
Variables: En el lenguaje simblico de la lgica de proposiciones, a los enunciados
simples, atmicos o elementales son los que no pueden descomponerse en otros ms
simples. Se les llama variables, y se escriben con las letras minsculas del final del
abecedario: p, q, r, s para los casos particulares, o con las letras en
mayscula del principio del alfabeto cuando son casos generales: A, B, C, D
Adems de las variables, la lgica proposicional tiene otros elementos en su alfabeto:
las constantes lgicas y los smbolos auxiliares que forman los enunciados
compuestos.
Algunas de las marcas lxicas del lenguaje natural, se traducen con uno de las cinco
constantes lgicas siguientes:
NEGACIN: No
DISYUNCIN INCLUSIVA: o, o bien, tanto si como si,
CONJUNCIN: y, e, o ni (=y no)
CONDICIONAL: si. entonces
BICONDICIONAL: si y solo si
Tabla de la Verdad
La negacin: Cuando la variable es verdadera al negarla se convierte en falsa, y si es
falsa, al negarla se hace verdadera.
La disyuncin: Solo es falsa cuando todas las variables son falsas.
La conjuncin: nicamente es verdadera cuando todas las variables son verdaderas
tambin.
El condicional: Solo cuando la primera variable o antecedente, es verdadera y la
segunda o consecuente, falsa, el resultado es falso.
El Bicondicional: Es verdad cuando las dos variables tienen el mismo valor.

CONECTORES LGICOS:
Conjuncin:
Simbolo: ^
Notacin: (p ^ q)
Significados: Y, Adems, Tambin, Pero, Sin embargo.
Ejemplo: "El cuadrado tiene cuatro lados y el tringulo 3 lados".
2. Disyuncin Inclusiva:
Simbolo: v
Notacin: (p v q)
Significados: o
Ejemplo: "Tomamos t o caf"
3. Disyuncin Exclusiva:
Simbolo: v
Notacin: (p v q)
Significados: O....o
Ejemplo: "O es de da o es de noche"
4. Condicional:
Simbolo:
Notacin: (p q)
Significados: Entonces, Por lo tanto, En consecuencia, Por consiguiente, Si..., ; Si...,
entonces.
Ejemplo: "Si estudias, aprobars la asignatura "
5. Bicondicional:
Simbolo:
Notacin: (p q)
Significados: Si y solo si , solamante si, cuando y solo cuando, solamente cuando,
nicamente cuando.
Ejemplo: "Pierdes peso si y solo si haces dieta "
6. Negacin:
Simbolo: Notacin: (-p)
Significados: No, es falso que, no ocurre que, no sucede que, no es el caso que.
Ejemplo: "Mara no present la prueba de lgica"

Clases de Proposiciones:

Proposiciones Atmicas o Simples: Son aquellas que no se encuentran


enlazadas por un conectivo.
Ejemplos:

Los

das

El cuadrado tiene cinco lados.

lunes

hay

clase

de

lgica.

Proposiciones Moleculares o Compuestas: Son aquellas que contienen mas de


una proposicin y se encuentran enlazadas por conectivos.
Ejemplos: Mara va de compras y Luis va al parque
Estudio para la prueba entonces apruebo la asignatura.
Proposiciones Lgicas:
Son cualquier enunciado u oracin al cual se le pueda asignar un valor de verdad
(Verdadero O Falso)
Algunos Ejemplos:
- Todos los das sale el sol

Una hora tiene 100 segundos

Las plantas pertenecen al reino animal

7+5=12

Si observas, todas las expresiones dadas anteriormente son proposiciones. Algunas


son verdaderas y otras falsas.
Cules no son proposiciones?

Que hora es?

Que calor hace hoy!

No estacione.

Si notas, estas no cumplen con la definicin de proposicin, por ser expresiones a las
que no se les puede determinar un valor de verdad.
Para trabajar en forma simblica las proposiciones es necesario utilizar variables
proposicionales que permiten transformar expresiones en lenguaje natural en
lenguaje
Por ejemplo:

Un da tiene 25 horas: p

La lgica es una ciencia: q

simblico.

Ten en cuenta que las variables proposicionales se escriben en minsculas.

EL SISTEMA DE LOS NMEROS REALES


El ente bsico de la parte de la matemtica conocida como anlisis lo constituye el
llamado sistema de los nmeros reales. Nmeros tales como 1, 3, 3 5 , , e, y sus
correspondientes negativos, son usados en mediciones cuantitativas.
Existen dos mtodos principales para estudiar el sistema de los nmeros reales. Uno
de ellos comienza con un sistema ms primitivo tal como el conjunto de los nmeros
naturales o enteros positivos 1, 2, 3, 4, ... , y a partir de l, por medio de una
secuencia lgica de definiciones y teoremas, se construye el sistema de los nmeros
reales1.
En el segundo mtodo se hace una descripcin formal del sistema de los nmeros
reales (asumiendo que existe), por medio de un conjunto fundamental de propiedades
(axiomas), de las cuales pueden deducirse muchas otras propiedades.
En esta primera parte se har una presentacin intuitiva del conjunto de los nmeros
reales. Se parte de un conjunto primitivo como es el conjunto de los nmeros naturales
y se efectan las sucesivas ampliaciones del mismo, atendiendo ms a la necesidad
de resolver ciertas ecuaciones en las cuales los conjuntos que se van definiendo
resultan insuficientes para la solucin, que a un desarrollo axiomtico del mismo.
1.1 Conjunto de los nmeros reales
El conjunto de los nmeros reales est constituido por diferentes clases de nmeros.
Entre ellas, se pueden mencionar los siguientes subconjuntos:
Conjunto de los nmeros naturales
El conjunto de los nmeros naturales, que se denota por o tambin por , +]
corrientemente se presenta as:
` = {1, 2, 3, 4, 5, ...}.
La notacin de conjunto que incluye los puntos suspensivos es de carcter informal.
Este conjunto permite fundamentar las sucesivas ampliaciones que se hacen de los
sistemas numricos y lleva principalmente a la consideracin de los nmeros reales.
Conjunto de los nmeros enteros
El conjunto de los nmeros enteros, que se denota por , ] corrientemente se presenta
as:
] = {..., 3, 2, 1, 0, 1, 2, 3, ...}.
En el conjunto de los nmeros enteros se pueden resolver ecuaciones que no tienen
solucin en , ` como sucede por ejemplo con la ecuacin x + 3 = 1, cuya solucin es x
= 2.
Puede notarse que . `]
Conjunto de los nmeros racionales

El conjunto de los nmeros racionales, que se denota por,se define de la siguiente


manera:
a = 1,2,3,4,5
La introduccin de los nmeros racionales responde al problema de resolver la
ecuacin
ax = b, con ,, ab ] 0. a
sta slo tiene solucin en , ] en el caso particular en que a sea un divisor de b.
Note que todo entero n puede escribirse como el nmero racional n/1 y, en
consecuencia, se puede concluir que . `]_
En lo sucesivo, cuando se haga referencia a los nmeros racionales, a/b, c/d, ..., se
entender que a, b, c, d, ... son nmeros enteros y que los denominadores son
diferentes de cero.
Conjunto de los nmeros irracionales
En muchos temas de la geometra se plantean, en general, problemas para cuya
solucin el conjunto de los nmeros racionales resulta insuficiente. As por ejemplo, al
considerar el problema de determinar el nmero x que mide la longitud de la diagonal
de un cuadrado cuyo lado sea la unidad, el teorema de Pitgoras permite establecer
que x satisface la ecuacin x2 = 2. Puede demostrarse fcilmente que no existe x_
que verifique esta ltima ecuacin. En general, una ecuacin de la forma xn = a, con
a_ y , n` carecer (excepto casos particulares) de solucin. Se hace necesario, por
tanto, describir otro conjunto, en el cual ecuaciones como las anteriores tengan
solucin.
El conjunto de los nmeros irracionales, que se denota por , _ est constituido por
los nmeros reales que no admiten la representacin racional.
Ejemplos de esta clase de nmeros son el nmero e (base del logaritmo natural), , 2,
etc.
En este conjunto se pueden resolver ecuaciones que no tienen solucin en , _ como
sucede, por ejemplo, con la ecuacin x2 = 2, cuyas soluciones son x = 2, que no
son nmeros racionales.
Conjunto de los nmeros reales
Se define como. = __
En el conjunto de los nmeros reales estn definidas dos operaciones: adicin (+) y
multiplicacin (), las cuales verifican las siguientes propiedades AC (llamadas tambin
axiomas de campo).
Axiomas de campo
AC1: Uniforme
AC2: Conmutativa
AC3: Asociativa
AC4: Modulativa

AC5: Invertiva
AC6: Distributiva

CITAS BIBLIOGRAFICAS:

Urdaneta Albani. (2015, febrero 17). Qu es lgica proposicional?


(Guillermo Arraiz , 2009)
(peano, 1858)
(Edwards CH, 1996)

Вам также может понравиться