Signos:


pueden definirse como todo aquello que representa o evoca otra cosa en algún aspecto para alguien como señales de trafico o el humo. Es necesario que tenga significado y que exista un organismo rceptor. Por la relación que mantienen con su significados:
Vestigios(relación de tipo natural: el humo es un vestigio del fuego)
Imágenes(relación de semejanza:seññales de trafico)
Símbolos(relaccion arbitraria: palabras, números.El lenguaje es la capacidad de comunicación mediante símbolos)

Lenguaje natural:


la lengua utilizada por una comunidad lingüística, la lengua que aprendemos. Esta compuesto por un conjunto finito de símbolos y un numero determinado de reglas(morfosintaxis)
. Tiene como finalidad enunciar hechos, describir fenómenos, expresar estados de animo, dudas, suplicas, mandatos o referirnos al propio lenguaje.
Oraciones(expresión lingüística gramaticalmente correcta  que posee sentido. Enunciativas, desiderativas, de posibilidad, dubitativas, etc. Solo podemos atribuir valor de verdad al contenido que expresan las oraciones enunciativas).
Enunciados(segmento lingüístico que tiene sentido completo, se trata de una oración enunciativa, susceptible de ser VoF. Toda oración es una expresión, pero no al revés. Todo enunciado es una oración, pero no al revés) Posee insuficiencias semánticas(hay palabras insuficientemente definidas y hay palabras que tienen mas de un significado y que se usan ambiguamente) y deficiencias sintácticas:
Las reglas morfosintacticas(carecen de criterios para evitar las oraciones sin sentido y no permiten operar con exatitud y eficacia)

Lengua artificial:


para superar las deficiencias del lenguaje natural y dotar a las ciencias de un expresividad rigurosa y exacta, se construyen lenguajes artificiales que permiten profundizar en la investigación científica. Los signos tendrán que estar bien definidos, el conjunto de reglas permitirá saber si la expresión esta bien formada, el conjunto de reglas operativas permitirá spasar de unas expresiones a otras construyendo cadenas deductivas. Solo satifasce las nesecidades expresivas de aquellos sectores del conocimiento para los que fueron diseñados, pero resulta imprescindible.

Lenguaje formal:


es el lenguaje artificial que utiliza una tabla de símbolos formales{conjunto de signos, constantes(sirven para enlazar entre si los símbolos del vocabulario primitivo) y variables(vocabulario primitivo del lenguaje formal)}. Hay dos tipos de reglas:
reglas de formación de formulas(las que establecen los criterios para combinar correctamente los símbolos formales) y las reglas de transformación de formulas(las que permiten operar con formulas dentro del cálculo, pasar de una formula a otra). Mediante tales reglas podemos: si una formula pertenece o no a su lenguaje, obtener todas las formulas validas dentro de un sistema formal determinado, saber que es imposible deducir de su aplicación estricta, en el lenguaje que se trate, una formula y su negación.

Lógica


La teoría de las condiciones del raonamiento formalmente valido. Se ocupa de la validez de los argumentos independientemente de su contenido

Razonamiento:


proceso mental en el que se produce un paso de uno o mas enunciados(premisas)
A otro posterior(conclusión)
. En el lenguaje natural, la conclusión de los razonamientos viene introducida por expresiones como «por tanto» Aunque todo razonamiento es una forma de pensamiento, todo pensamiento no es razonamiento.
La lógica se ocupa de la estructura del razomiento en vistas a que sea formalmente valido(la conclusión se deriva d elas premisas y/o de los axiomas del sistema por aplicación de las reglas de razonamiento establecidas en dicho sistema).

Lógica como lenguaje formal


Dispone de una tabla de símbolos formales, de unas reglas de formación de formulas, y de unas reglas de transformación de formulas. La lógica prposicional trata de la validez formal de los razonamientos donde las premisas y la conclusión son proposiciones(enunciaos)
, tomados en bloque(un enunciado es tomado en bloque cuando se prescinde de los elementos que lo integran y pasa a ser considerado como un todo). La lógica proposicional estudia sistemáticamente aquellos razonamientos cuya validez no depende de la estructura interna de los enunciados que la componen, establece las combinaciones validas de enunciados simples en argumentos cuya validez queda determinada por las reglas de deducción. Solo sera un cálculo formal cuando: prevea de un lenguaje artificial, enunciado bien hecho y razomientos validos.

Operadores de la lógica:


Letras enunciativas(orresponden con las letras del alfabeto en minucula a partir de «m». Sirven para simbolizar enunciados. Se pueden denominar variables porque puede reprentar cualkiere enunciado)
Constante u operadores(sirven para establecer conexiones, las mas comunes son las monadicas(se aplican a un solo enunciado:¬) y diadicas(se aplican a dos enunciados)

Signos auxiliares

Paréntesis, corchetes, comas.

Formulas


Toda expresión bien hecha es una formula.
Reglas de formación de formulas(determinan que que símbolos siirven para representar los enunciados, también mediante definiciones de uso la forma de operar de las conectivas. 1ª: una letra enunciativa es una formula bien formada, 2ª: si «A» es una formula, «¬A» también, 3ª: si A y B es una formula, A↔B también, 4ª: ninguna expresión es una formula del cálculo proposional sino en virtud de I-III)