Cognitive Science">
Proposiciones
Proposiciones
Proposiciones
Lenguaje
De
Computación
PROFESOR(A): INTEGRANTE
Gladys Navarro Gabriel Veliz V-27.563.649
Matemática I Exp: 47775
Mayo 2021
Lenguaje de Computación
Lenguaje de Computación o Lenguaje de
Programación (la forma más común que se dice
hoy en día), es la forma de comunicarnos con la
computadora, celular o Tablet.
Este lenguaje utiliza el alfabeto binario, es decir,
el 0 y el 1, formando cadenas binarias con las
que se elaboran las instrucciones que la CPU
del ordenador procesa.
Elementos
La biblioteca Wikipedia define la palabra Elementos como “es una pieza,
fundamento, móvil o parte integrante de una cosa”.
El Lenguaje Artificial
El lenguaje artificial, en oposición al natural, tiene como finalidad evitar
justamente los inconvenientes de ambigüedad y vaguedad de los lenguajes
naturales u ordinarios y, por ello, presenta un grado de artificialidad y
convencionalidad mucho mayor por lo que se refiere a la construcción de símbolos
y al significado que se les asigna. Símbolos y significados no pertenecen a
ninguna comunidad natural de hablantes, sino a grupos de hablantes relacionados
por objetivos científicos o técnicos.
El hablante envía
un mensaje al oyente. Para
que sea operativo, ese
mensaje requiere
un contexto al que referirse,
susceptible de ser captado por
el oyente con capacidad verbal
o de ser captado por el oyente
y con capacidad verbal o de
ser verbalizado;
Un código común al hablante y al
oyente, si no total al menos parcialmente (o lo que es lo mismo, un codificador y
un descifrador del mensaje); y, por último, un contacto, un canal de transmisión y
una conexión psicológica entre hablante y oyente, que permita a ambos entrar y
permanecer en comunicación.2
Proposiciones
Definido como una afirmación con sentido completo, y constituye la forma
más elemental de la lógica. Las proposiciones brindan información sobre un
acontecimiento falsable, es decir, que puede ser falso o verdadero. Por ejemplo:
La tierra es plana.
Lenguaje Objeto
Según la enciclopedia Herder (2017) definen al lenguaje objeto como aquel
que se menciona por el metalenguaje, no usado. Los lenguajes formales son
lenguaje objeto; en que se habla de ellos es un metalenguaje.
Metalenguaje
Un metalenguaje es un lenguaje que se usa para hablar acerca de otro
lenguaje. Al lenguaje acerca del cual se está hablando se le llama el lenguaje
objeto. El metalenguaje puede ser idéntico al lenguaje objeto, por ejemplo cuando
se habla acerca del español usando el español mismo. Un metalenguaje a la vez
puede ser el lenguaje objeto de otro metalenguaje de orden superior, y así
sucesivamente. Distintos metalenguajes pueden hablar acerca de diferentes
aspectos de un mismo lenguaje objeto.
Por otro lado el autor polaco Alfred Tarski (1901-1983) define el
metalenguaje como la solución para las paradojas semánticas afirmando que “es
necesario hablar la verdad sobre el lenguaje desde un lenguaje diferente llamado
metalenguaje”.
Lógica Proposicional
Proposiciones Complejas
Por ejemplo:
“Rebeca es Famosa’’
“Rebeca es Linda”
Con estas proposiciones se puede formar una compleja que sería “Rebeca es
Famosa y Linda”
encarga del estudio de las proposiciones como objetos matemáticos, para ello lo
adverbio”.
“Esa Flor es Hermosa y Bella pero no crece más de 10 cm” allí se hará el
razonamiento lógico y ver los conectivos que tiene y comprobar si esta proposicion
es Verdadera o falsa.
Símbolos Proposicionales
Tablas de la Verdad:
Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato
más popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-
philosophicus, publicado en 1921.
Ejemplo:
p: Juan es Alto
q: Pedro es Blanco
r: Gordo
s: Tiene Calor
Conectivos Proposicionales
Los conectivos proposicionales son conexiones entre proposiciones que
permiten construir nuevas oraciones con mayor complejidad lógica. Hay que
recordar que la lógica sirve para evaluar qué tan certero es el pensamiento de la
persona y qué tan confiable es el procesamiento de la información.
Símbolos de Agrupación
Los símbolos de Agrupación usados en Proposiciones son paréntesis ( ), llaves { },
corchetes [ ], y barras de fracción pueden usarse para controlar aún más el orden de
cualquier proposición Compuesta.
Para empezar serían los Paréntesis que Sirven para identificar que se está agrupando
dos proposiciones con un conectivo.
Ejemplo: (p ^ q)
Se pueden agrupar más y parecer así: [(p ^ q) ^ (q ->r)] pero esta vez se está usando
Corchetes y mostrando una conectividad con la conjunción entre los paréntesis, pero
seguidamente se puede agrupar con Llaves y se vería de la siguiente manera:
Premisas.