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

NOMBRE: Yeison Arley Montaa Beserra

PROGRAMA: OBRAS CIVILES

PRIMER SEMESTRE

TUTOR: Bertha Sora Camargo

AO: 2017
* DIFERNECIAS DE LOGICA MATEMTICA Y
PROPOSICION LGICA
1.1. Concepto de lgica. La lgica es una de las ciencias ms antiguas, es
llamado tambin como la ciencia de los pensamientos. Su denominacin est
directamente relacionada con la palabra griega logos cuyo significado es
pensamiento, razn o conocimiento, se trata del estudio de la forma en que
funciona la facultad humana de pensar y razonar. El ser humano es un animal
racional, la caracterstica que distingue a los humanos del resto de los animales: la
razn o logos. Los seres humanos somos animales con logos. Qu significa
tener logos?

1.2. Enunciado: Un enunciado es toda frase u oracin del lenguaje cotidiano.

1.3. Proposicin: Es un enunciado respecto del cual se puede afirmar que su


contenido es verdadero (V) o falso (F) pero no ambos cosas a la vez, cumpliendo
as, con la propiedad fundamental de bivalencia de una proposicin.

2. Valor de verdad de una proposicin:

Es la propiedad o valor de un enunciado, mediante el cual se indica, cundo dicho


enunciado es verdadero (V) o en su defecto, el enunciado es falso (F).

El valor verdadero se representa con la letra V; si se emplea notacin numrica,


se expresa con un uno (1); en un circuito elctrico, equivale a decir que el circuito
est cerrado.

El valor falso se representa con la letra F; si se emplea notacin numrica se


expresa con un cero (0); en un circuito elctrico, equivale a decir que el circuito
est abierto.

El valor de verdad de una proposicin simple depende exclusivamente del


enunciado de la proposicin.

* ESTRUCTURAS MATEMATICAS CON ORDEN LOGICO


Clasificacin de las proposiciones

En matemticas, algunas proposiciones reciben nombres especiales: 3.1.


Postulados:

Son aquellas proposiciones que se dan como ciertas desde un principio.

Ejemplo: "Por dos puntos distintos, pasa siempre una recta y slo una".
. Teoremas:

Son aquellas proposiciones cuya certeza es demostrada por un razonamiento,


conforme a las leyes de la lgica.

Ejemplo:

En un tringulo rectngulo, la suma de los cuadrados de los catetos, es igual al


cuadrado de la hipotenusa

Corolario:

Es un trmino que se utiliza en lgica para designar la evidencia de un teorema o


de una definicin ya demostrados, sin necesidad de invertir esfuerzo adicional en
su demostracin.

En pocas palabras, es una consecuencia tan evidente que no necesita


demostracin.

Ejemplo:

A la afirmacin La suma de los ngulos interiores de un tringulo es igual a 180,


le sigue el corolario

En un tringulo rectngulo la suma de los dos ngulos contiguos a la hipotenusa


es igual a 90.

(Dado que la hipotenusa es la arista ubicada frente al ngulo de 90, la suma de


los ngulos del tringulo contiguos a esa lnea es igual a 180 - 90 = 90).

* DETERMINACIN DEL VALOR DE VERDAD DE


PROPOSICIONES LOGICAS
Valor de verdad de una proposicin: Es la propiedad o valor de un enunciado,
mediante el cual se indica, cundo dicho enunciado es verdadero (V) o en su
defecto, el enunciado es falso (F).

El valor verdadero se representa con la letra V; si se emplea notacin numrica,


se expresa con un uno (1); en un circuito elctrico, equivale a decir que el circuito
est cerrado.

El valor falso se representa con la letra F; si se emplea notacin numrica se


expresa con un cero (0); en un circuito elctrico, equivale a decir que el circuito
est abierto.
El valor de verdad de una proposicin simple depende exclusivamente del
enunciado de la proposicin.

Ejemplos: a. Dos es un nmero par. (Verdadero).

b. Cero es mayor que cuatro. (Falso).

c. Tres ms cinco es mayor que cuatro. (Verdadero).

d. Carmen es prima de Jos. (Este enunciado puede ser, en efecto, verdadero o


falso dependiendo del entorno en el que se enuncie esta proposicin).

e. x - 6 = 24 (Ntese que segn el valor que adopte la variable x, este enunciado


puede ser verdadero o falso)

* CONECTORES LOGICOS EN LOGICA PROPOSICIONAL


Las proposiciones son proposiciones compuestas cuando estn formados de
proposiciones simples enlazadas o unidas por partculas gramaticales o
denominadas conectivos lgicos. El valor de verdad de una proposicin
compuesta, depende completamente del valor de verdad de cada proposicin
simple y del modo como se les rene o conecta para formar la proposicin
compuesta.

Conectores lgicos (operadores lgicos o conectivos proposicionales)

En la prctica, es poco frecuente encontrar enunciados constituidos por una nica


proposicin. Lo usual es que aparezcan enunciados formados por dos o ms
proposiciones simples o elementales enlazadas mediante partculas gramaticales,
tales como no, y, o, si entonces, denominadas por su carcter de
elemento de enlace: conectores lgicos, conectivos proposicionales u operadores
lgicos.
Nombre Conector
Smbolo

Negacin no, not , N,

Conjuncin y, and

Disyuncin inclusiva o, or

Disyuncin exclusiva oo, xor V

Implicacin simple s ..entonces, if-then

Doble implicacin si y solo si, if-then

Equivalencia igual
=
Taller1_Montaa_Yeison.pdf