EJEMPLO CON TODOS LOS MÉTODOS VISTOS

 

si hacemos el balance entonces tendremos información y haremos el informe.si yo me voy a descansar, entonces no tendremos el informe. o yo me voy a descansar o me quedo en la oficina. hacemos el balance
por lo tanto me quedo en la oficina y tendremos el balance.

siendo:
S-hacemos el balance
P-tendremos información
M-haremos el informe
N-yo me voy a trabajar
R-me quedo en la oficina

                                                                                                                                                                                                                          

1. S ⇒ (P & M)

2. N ⇒ ¬M1. S ⇒ (P & M)

2. N ⇒ ¬M

3. N  V   R

4. S                                  

5. P & M                   MPP 1,4

6. M                             S        5

7. ¬N                           MTT 2,6

8. R                              MTP 3,7

9.R & M                    ADJ   6,8                        

                                  

UNIVERSIDAD DE LOS LLANOS

Misión

La Universidad de los Llanos forma integralmente ciudadanos, profesionales y científicos con sensibilidad y aprecio por el patrimonio histórico, social, cultural y ecólogico de la Humanidad, competentes y comprometidos en la solución de problemas de la Orinoquia y el país con visión universal, conservando su naturaleza como centro de generación, preservación, transmisión y difusión del conocimiento y la cultura.

Visión

La Universidad de los Llanos propende ser la mejor opción de Educación Superior de su área de influencia, dentro de un espíritu de pensamiento reflexivo, acción autónoma, creatividad e innovación. Al ser consciente de su relación con la región y la nación es el punto de referencia en el dominio del campo del conocimiento y de las competencias profesionales en busca de la excelencia académica.

Como institución de saber y organización social, mantiene estrechos vínculos con su entorno natural a fin de satisfacer y participar en la búsqueda de soluciones a las problemáticas regionales y nacionales.

PERFILES

NEYLA PARRA MUÑOZ                                                      COD  142002622
http://neylaparra.blogspot.es/
JENNY ALEXANDRA ROJAS RODRIGUEZ                       COD  142002630
JAVIER EDUARDO GRASS HERRERA                                COD  142002614
 javiergrass.blogspot.com  
 LUISA FERNANDA CASTRO                              

TERMINOS DE ENLACE

Son palabras o simbolos que enlazan proposiciones con el fin de construir leguaje verbal o simbolico mas amplio. los conectores logicos mas usuales son:

"y"  "o" "no" "si ..... entonces"   "si y solo si"

PROPOSICIONES

Un enunciado lingüístico (generalmente en la forma gramatical de una oración enunciativa) puede ser considerado como proposición lógica cuando es susceptible de poder ser verdadero o falso. Por ejemplo “Es de noche” puede ser Verdadero o Falso.

Aunque existen lógicas polivalentes, en orden a la claridad del concepto, aquí consideramos únicamente el valor de Verdad o Falsedad.

Se llama proposición atómica cuando hace referencia a un único contenido de verdad o falsedad; vendría a ser equivalente a la oración enunciativa simple en la lengua.

Ejemplos:

1- La casa es grande.

2- El numero 2 es par.

3- La gallina es un ave.

4- Lima es la capital de Bolivia.

5- Hoy es un dia soleado.

 Proposición molecular cuando está constituida por varias proposiciones atómicas unidas por ciertas particulas llamadas "nexos o conectivas", que establecen relaciones sintácticas como función de coordinación y subordinación determinadas entre las proposiciones que la integran; tal ocurre en la función de las conjunciones en las las oraciones compuestas de la lengua.

Ejemplos:

1- Vamos en bicicleta o vamos a pie.

2- No es cierto que juan llego Temprano.

3- Juan no llego temprano.

4- Luis es arquicteto y Martin es medico.

5- La medalla no es de plata y el diploma parece falso.

6- Matias aprobo pero Lucas no.

http://es.wikipedia.org/wiki/Proposici%C3%B3n_(l%C3%B3gica)#Proposici.C3.B3n_at.C3.B3mica_y_molecular

HISTORIA

Lógica matemática fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lógica de Aristóteles, pero desde el punto de vista de una nueva notación, más abstracta, tomada del álgebra.

Previamente ya se hicieron algunos intentos de tratar las operaciones lógicas formales de una manera simbólica por parte de algunos filósofos matemáticos como Leibniz y Lambert, pero su labor permaneció desconocida y aislada.

Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero presentaron un sistema matemático para modelar operaciones lógicas. La lógica tradicional aristotélica fue reformada y completada, obteniendo un instrumento apropiado para investigar sobre los fundamentos de la matemática.

El tradicional desarrollo de la lógica enfatizaba su centro de interés en la forma de argumentar, mientras que la actual lógica matemática lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a un nivel sintáctico (por ejemplo, el envío de una cadena de símbolos perteneciente a un lenguaje formal a un programa compilador que lo convierte en una secuencia de instrucciones ejecutables por una máquina), como a un nivel semántico, construyendo modelos apropiados (teoría de modelos). La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación.

CONCEPTO

La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática guarda estrechas conexiones con la ciencias de la computación y la lógica filosófica.

La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostracionesy computación.

La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas.

La lógica matemática fue también llamada lógica simbólica. El primer término todavía se utiliza como sinónimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la teoría de la demostración.

La lógica matemática no es la "lógica de las matemáticas" sino la "matemática de la lógica". Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente.