logica matematica

domingo, 12 de septiembre de 2010

LA ADMINISTRACION

LA ADMINISTRACIÓN

Se basa en crear y mantener un buen ambiente de trabajo, puesto que es necesario crear el clima organizacional. Se divide en varias teorías: teoría científica, teoría del comportamiento, teoría clásica, entre otras.
La empresa se divide en dos sectores: el económico y el social; el económico maneja el dinero y el social las organizaciones personales. Presenta diferentes tipos y dependen mutuamente para que funcione correctamente la empresa.
Un buen administrador lleva a cabo una planeación basándose en los siguientes principios:
a. principio de contribución a los objetivos, que es favorecer el logro de los objetivos de una empresa.
b. principio de los objetivos, estos deben ser viables, claros y verificables para las personas.
c. principio de eficiencia de los planes, la eficiencia de un plan se mide por su aporte al propósito y a los objetivos.

Demostrar: "la administración se basa en crear y mantener un buen ambiente de trabajo"

Si la administración no se basa en crear, ni en mantener un buen ambiente de trabajo, entonces no se necesario crear el clima organizacional. La administración se divide en varias teorías y se basa en mantener un buen ambiente de trabajo. Se basa en crear un buen ambiente de trabajo. O es necesario crear el clima organizacional o la administración se divide en varias teorías. Si la administración se basa en crear y mantener un buen ambiente de trabajo, entonces no se divide en varias teorías.

SOLUCION

Donde:

A "la administración se basa en crear un buen ambiente de trabajo"
B "la administración se basa en mantener un buen ambiente de trabajo"
C "es necesario crear el clima organizacional"
D "la administración se divide en varias teorías"

Dem: A&B

1. ¬(A&B) }~> ¬C
2. D&B
3. A
4. C V D
5. A&B  ~> ¬D                                    
6. B                                SIMP 2
7. A&B                          AMP 7,3
8. ¬D                             MPP 6,8
9. C                                MTP 4,9
10. ¬(¬A&¬B)              MTT 1,10
11. A&B                        DN 11

sábado, 14 de agosto de 2010

presentación del grupo

paulo cesar perea cod. 146002629
neidy paola peña cod. 146002628
erika marcela peña cod. 146002626
fabian santamaria cod. 146002647
cristhian moniquira cod. 146002643

sábado, 7 de agosto de 2010

TERMINOS DE ENLACE

 Al utilizar un termino de enlace entre dos o mas proposiciones atomicas obtendremos proposiciones compuestas, algunos terminos de enlace no actuan sobre una sola proposicon mientras que los demas terminos actuan sobre dos proposiciones.
Algunos ejemplos en los que enpleamos los terminos de enlace son:
  • Hoy es martes y hay clase
  • si estamos en diciembre entonces pronto llegara la navidad.

La ley del medio excluido. Toda proposici´on debe ser verdadera o falsa,pero no puede ser ambas cosas, ni puede ser ninguna de las dos cosas.
 
2. p ∧ q es verdadera si y solo si ambas son verdaderas.
3. p ∨ q es verdadera si y solo si p es verdadera o q es verdadera.

HISTORIA

EL NOMBRE FUE DADO POR GIUSEPPE PEANO, ES ESENCIA DE LA LOGICA DE ARISTOTELES DESDE UN PUNTO DE VISTA MAS ABSTRACTO,
GEORGE BOOLE Y AUGUSTUS DE MORGAN A MEDIADOS DEL SIGLO XIX DIERON MODELOS DE OPERACIONES LOGICAS OBTENIENDO UN INSTRUMENTO PARA INVESTIGAR FUNDAMENTOS  DE LA MATEMATICA.
EL METODO TRADICIONAL SE ENFOCABA EN LA FORMA DE ARGUMENTAR Y EL ACTUAL SE ENFATIZA EN UN ESTUDIO COMBINATORIO DE LOS CONTENIDOS.
LA LOGICA NACIO COMO UN INTENTO DE MECANIZAR LOS PROCESOS INTELECTIVOS DEL RAZONAMIENTO, Y SE DESARROLLO A PARTIR DE LA CONFLUENCIA DE MATEMATICAS, INGENIERIA Y LINGUISTICA.
EL COMIENZO DE LA APORTACION DE LA INGENIERIA A LA LOGICA FUE EN 1938 CUANDO CLAUDE E. SHANNON OBSERVO QUE LAS FUNCIONES REALIZADAS POR CIRCUITOS COMBINATORIOS, INICIALMENTE CONSTRUIDOS CON RELES, SE PODIAN REPRESENTAR CON LA NOTACION SIMBOLICA DE DEL ALGEBRA DE BOOLE, A MEDIADOS DE LA DECADA DE LOS 50, D.A HUFFMAN EXTENDIO ESTE TRABAJO A LOS CIRCUITOS SECUENCIALES, Y LA CONTRIBUCION DE LA LINGUISTICA LLEGA A FINALES DE  DE LOS 50 DONDE NOAM CHOMSKY CON SU TEORIA DE LAS GRAMATICAS FORMALES ESTABLECE LAS BASES DE LA LINGUISTICA MATEMATICA E INICIA EL CAMINO HACIA LA FORMALIZACION EN LA DESCRIPCION DE LOS LENGUAJES NATURALES.

PROPOSICIONES LOGICAS, ATOMICAS Y MOLECULARES

UNA PROPOSICION LOGICA ES VALIDA CUANDO SE DETERMINA SI ES FALSA O VERDADERA; PERO NO AMBAS A LA VEZ Y ESTA ES UN ELEMENTO BASICO DE LA LOGICA MATEMATICA, SE REPRESENTA CON UNA LETRA MINUSCULA, DOS PUNTOS Y LA PROPOSICION.

EJP:

a: LA LUNA ES AMARILLA.
b: -25+50=50
ESTAS SON VALIDAS YA QUE a Y b PUEDEN TOMAR UN VALOR DE FALSO O VERDADERO.

c: NOS VEMOS MAÑANA
ESTA NO ES VALIDA, PUESTO QUE NO PUEDEN TOMAR UN VALOR DE FALSO O VERDADERO.

UNA PROPOSICION ATOMICA ES AQUELLA QUE EXPRESA QUE UNA COSA TIENE UNA DETERMINADA PROPIEDAD.

UNA PROPOSICION MOLECULAR ESTA CONSTITUIDA APARTIR DE PROPOSICIONES ATOMICAS MEDIANTE CONECTORES LOGICOS Y CUANTIFICADORES.
CONECTORES LOGICOS:"NO", "SI....ENTONCES", "Y"
EJP: "NO IRE"
CONECTORES CUANTIFICADORES: "PARA TODO X" "EXISTE UN X TAL QUE..."
EJP: "SI HACE CALOR, TOMARE UN BAÑO"
LA VERDAD O FALSEDAD DE LAS PROPOSICIONES MOLECULAR DEPENDE DE LA VERDAD O FALSEDAD DE LAS PROPOSICIONES ATOMICAS.