domingo, 8 de noviembre de 2009

VARIABLES PROPOSICIONALES Y OPERADORES LÓGICOS...

El lenguaje formalizado de la lógica de proposiciones consta de dos clases de signos: variables proposicionales y operadores o conectores logicos.

Las variables proposicionales representan cualquier proposición atómica, son letras minusculas

LENGUAJE NATURAL Y LENGUAJE FORMALIZADO...

Existen dos tipos fundamentales de lenguajes: el natural y el formalizado.

El lenguaje natural es el lenguaje usado en la vida cotidiana, tiene una amplia gama expresiva, es decir, sirve para comunicar informaciones, formular oredenes, expresar deseos, sentimientos, etc. Pertencen a este el lenguaje el español, ingles, el frances, etc
El lenguaje formalizado es el lenguaje usado en la actividad científica. Solo sirve para formular conocimientos. Es un lenguaje especializado. Pertenecen a este lenguaje, el lenguaje lógico y el matemático.