RAZONAMIENTO LGICO

Facultad:
Arquitectura, Urbanismo y Artes.
Carrera:
Arquitectura.
Tema:
Razonamiento Lgico.
Docente del Curso Temtico:
Jesus Pascual Avalos Rodriguez.
Integrantes:
Allison Ramos Saavedra.
Lucero Suarez Saavedra.
Ciclo: I

PIURA PER
2014


INTRODUCCIN
Las proposiciones son el lenguaje formal de la
lgica simblica por el cual estn regidas todas
las leyes de esta matemtica que utiliza la
simbologa como su principal fuente de estudio.
En si las proposiciones son oraciones literarias
o matemticas en la cual tiene sentido
establecer un valor de verdad o falsedad. Es
decir una proposicin puede ser verdadera o
falsa y no ambas a la vez. Y por lo tanto una
oracin que no tenga sentido o carezca de valor
no ser considerada.

MARCO TERICO
Una proposicin lgica es cualquier expresin que
puede ser verdadera o falsa, pero no las dos al
mismo tiempo. Algunos ejemplos de
proposiciones son:

El ao empieza con el mes de enero.
Cuando esta soleado se siente calor.
En invierno no es agradable sentir el fri.
1 + 1 = 2
Marte esta lleno de marcianitos
5 * 9 = 59


Por otro lado, expresiones que no cumplen esta
propiedad no son
proposiciones lgicas, por ejemplo:

El prximo viernes caer un meteorito en mi
casa.
Ven a verme.
Viva la libertad!
Est lloviendo?
El est triste.

REPRESENTACIN
Las proposiciones lgicas se suelen representar por las
letras p, q y r de tal forma que se puede dice: La
proposicin q y la proposicin r son diferentes a la
proposicin p.

La proposicin p puede representar, por ejemplo:
p = Mi perro es negro.
p = La tierra es una esfera.
p(x) = x es una marca de autos.

En esta ltima proposicin podemos observar que
representamos p(x). En estas proposiciones podemos
cambiar x por cualquier cosa que queramos y observar
el valor toma.

PROBLEMAS
1. Si no es cierto que las estrellas emiten luz y
que los planetas las reflejan, entonces stos
no giran alrededor de ellas.

2. Si viene en tren, llegar antes de las seis. Si
viene en coche, llegar antes de las seis.
Luego, tanto si
viene en tren como si viene en coche, llegar
antes de las seis.

HIPTESIS, TESIS

SOLUCIN
1. Si no es cierto que las estrellas emiten luz y que los
planetas las reflejan, entonces stos no giran alrededor de
ellas.
p: las estrellas emiten luz.
q: los planetas las reflejan.
r: estos giran alrededor de ellas
y:
no: ~
~(pq) ~r

2. Si viene en tren, llegar antes de las seis. Si viene en
coche, llegar antes de las seis. Luego, tanto si
viene en tren como si viene en coche, llegar antes de las
seis:
p: viene un tren.
q: llegar antes de las seis.
r: viene en coche.
La coma reemplaza, es como un entonces:

[(p q) (r q)] [(p r) q]

CONCLUSIONES
Una proposicin es toda expresin que tiene
la propiedad de ser verdadero o falso, dos
proposiciones son equivalentes, cuando el
resultado de sus tablas de verdad son
iguales.
La lgica matemtica eleva a grado de
mximo la abstraccin matemtica. De este
modo, estudia los sistemas lgicos y
proposicionales sin tener en cuenta su
posible representacin de fenmenos de
naturaleza real.


REFERENCIAS
Respecto a las Reglas:

Una cantidad finita pero arbitrariamente
grande de variables proposicionales.
Un conjunto de operadores lgicos: