Академический Документы
Профессиональный Документы
Культура Документы
ESCUELA PROFESIONAL:
Ingeniera Ambiental
DOCENTE:
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:
Los
das
lunes
hay
clase
de
lgica.
7+5=12
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
simblico.
AC5: Invertiva
AC6: Distributiva
CITAS BIBLIOGRAFICAS: