Clase de lenguaje

Lenguaje oral: Est formado por sonidos.

Lenguaje escrito: Est formado por letras.
Proposicin y su clasificacin
Es un sistema lgico que trata la clase de argumentos cuya validez
exclusivamente dependen de cmo estn conectados los enunciados.
PROPOSICIONES Y CONECTORES LGICOS: Una proposicin o
enunciado es una oracin diofntica (bivalente) que puede ser V o F, pero
no puede tener estos dos valores de verdad al tiempo. La proposicin es un
elemento fundamental de la lgica preposicional ya que cada proposicin
tiene una forma lgica la cual se expresa con un nombre o variable
preposicional y se distinguen cuatro tipos de proposiciones: a)
Enunciados Abiertos Enunciados Cerrados Proposiciones Simples
Proposiciones Compuestas ENUNCIADOS ABIERTOS: Un enunciado
abierto es una oracin donde el sujeto de la accin no se identifica
claramente. Ejemplo: X es un nmero par y primo Y es un da de la
semana. Nota: Un enunciado abierto que involucra una igualdad y en la que
se desconocen uno o varios de sus trminos se llama ECUACIN.
Variable lgica
Una variable lgica es una variable que slo puede tener dos valores
posibles de forma que un valor excluye al otro, es decir que si tiene un
valor el otro no puede ser. Por ejemplo, s o no o tambin 0 o 1.
Imaginemos que A es una variable que almacena la respuesta a la pregunta
vienes maana? que slo puede tener dos respuestas s o no. Si es s no
puede ser no, si es no, no puede ser s. Normalmente la variables lgicas de
representan por 0 o 1 de forma numrica lo que conforma el sistema binario
de numeracin usado en sistemas digitales (dentro de los digitales estn los
computacionales).
Forma proporcionales
Se denomina formas proporcionales a las estructuras constituidas por
variables proporcionales y los operadores lgicos que las relacionan. Estas
formas proporcionales se representan con las letras maysculas del
alfabeto. A. B. C. D. (p q) (p q) P (q r) q (p q) (p
q) (p v r).-
Razonamiento deductivo
El razonamiento deductivo es probablemente el proceso ms usado en
matemticas. Cualquiera que ha resuelto un rompecabezas como el Sudoku
ha usado el razonamiento deductivo. Cuando razonamos deductivamente,
usamos hechos conocidos para llegar a conclusiones lgicas que sabemos
son verdaderas.
Razonamiento inductivo
El razonamiento inductivo es una herramienta matemtica sofisticada,
aunque la hemos estado usando desde que ramos bebs! Cuando usamos
el razonamiento inductivo, usamos nuestras experiencias y observaciones
para sacar conclusiones sobre lo que suceder en el futuro. Las primeras
veces que dejamos caer algo cuando nios, el objeto cay al suelo.
Argumento
Es una prueba o razn para justificar algo como verdadero o falso, es un
discurso dirigido. Es la expresin oral o escrita de un razonamiento.
Demostraciones
Es un argumento deductivo para una afirmacin matemtica. En la
argumentacin se pueden usar otras afirmaciones previamente establecidas,
tales como teoremas. En principio una prueba se puede rastrear hasta
afirmaciones generalmente aceptadas, conocidas como axiomas.