Desarollo De Estadistica

INTRODUCCIÓN

Con el presente trabajo se quiere demostrar que la mayoría de las expresiones u oraciones del lenguaje natural se puedan transformar en expresiones simbólicas, señaladas con letras y símbolos matemáticos.

Este tipo de expresiones simbólicas son utilizadas por lo general para crear software para computadores ya que hacen su manejo sea más fácil y rápido. Por otra parte este tipo de cálculos simbólicos hacen parte de la algebra computacional la cual se enfatiza el cálculo exacto con expresiones que contengan variables que no tienen cualquier valor dado y por lo tanto son manipulados como símbolos.

OBJETIVOS.

Crear un razonamiento lógico transformando las expresiones naturales que nosotros utilizamos cotidianamente a expresiones lógicas demostradas con letras y símbolos matemáticos, en donde genere una mayor interacción en el pensamiento lógico.

Enfatiza en un cálculo exacto con expresiones que contengan variables que no tienen cualquier valor dado y por lo tanto son manipulados como símbolos y letras, dándole más facilidad en su dominio.

DESARROLLO DEL TRABAJO

FASE 1

¿El razonamiento Propuesto es deductivo o inductivo?

Los dos párrafos incluyen un razonamiento inductivo pero inicia con uno deductivo, que parte con premisas generales sobre lo que nos gusta, para concluir con dos afirmaciones particulares, las cuales si conducen a una sola conclusión.

Posteriormente vuelve a plantearse otro razonamiento deductivo que genera otra serie de condiciones para que se cumpla la convivencia en comunidad.

FASE 2

Declaración de proposiciones simples:

p = Nos gusta tener calidad de vida

q = Nos gusta vivir solos

r = Nos gusta vivir en comunidad

s = Respetamos la ley

Premisas en lenguaje simbólico:

Premisa 1: ~p v ~q

Premisa 2: p

Premisa 3: ~q → r

Premisa 4: r → s

Conclusión en lenguaje simbólico: s

Demostración a partir de las tablas de verdad forma 1:

(Evaluando la existencia del caso en que las premisas sean verdaderas y la conclusión sea falsa)

PRIMERA FORMA

Proposiciones simples ~p ~q PREMISA 1 PREMISA 2 PREMISA 3 PREMISA 4 CONCLUSION

p q r s ~p ~q ~p v ~q p ~q → r r → s s

V V V V F F F V V V V

V V V F F F F V V F F

V V F V F F F V V V V

V V F F F F F V V V F

V F V V F V V V V V V

V F V F F V V V V F F

V F F V F V V V F V V

V F F F F V V V F V F

F V V V V F V F V V V

F V V F V F V F V F F

F V F V V F V F V V V

F V F F V F V F V V F

F F V V V V V F V V V

F F V F V V V F V F F

F F F V V V V F F V V

F F F F V V V F F V F

No existe el caso en que las premisas sean verdaderas y la conclusión sea falsa, por lo tanto el razonamiento es válido.

Proposiciones simples ~p ~q P1 P2 P3 P4 P1∧P2∧P3∧P4 CONCLUSION

p q r s ~p ~q ~p v ~q p ~q → r r → s P1∧P2∧P3∧P4 (P1∧P2∧P3∧P4)→S

V V V V F F F V V V F V

V V V F F F F V V F F V

...