Definiciones:

Lenguaje: Es un sistema de comunicación estructurado para el que existe un contexto de

uso y ciertos principios combinatorios formales. Existen contextos tanto naturales como
artificiales.
Lógica: Es la ciencia formal que estudia los principios de la demostración y la inferencia
válida.
Proposición: Es una oración que puede ser falsa o verdadera, pero no ambas a la vez. La
proposición se considera un elemento fundamental de la Lógica Matemática. Una
proposición se compone de los siguientes factores:
 Premisas
Se le llama premisa a todas y cada una de las proposiciones de un razonamiento que
dan la consecuencia o conclusión de dicho razonamiento. Las premisas se definen
como expresiones lingüísticas que afirman o niegan algo y pueden ser verdaderas o
falsas.
 Conclusión
La conclusión será la proposición final que surge a partir de las premisas que forman
el argumento o enunciado.
El lenguaje y la lógica de las proposiciones
Lenguaje proposicional: Estudia las propiedades de los conectivos
proposicionales como y, o, no, si y solo si y entonces entre otros, usados en el desarrollo
de sistemas lógicos en la lógica matemática.
La simbolización del lenguaje de proposiciones está constituida de la siguiente manera:

Variables proposicionales: Suele usarse las letras p, q, r, etc., aunque es recomendable

declarar variables que den información clara de la proposición.

Ejemplo: ga: El gato es de color negro.

Conectivas Lógicas:
Nombre Símbolo Lectura
Negador ¬ No
Conjuntor  Y
Disyuntor  O
Implicador  Si… entonces…
Coimplicador  Si y solo si

Enunciado simple o proposición atómica: Unidad mínima del lenguaje proposicional,

siendo una sentencia declarativa indivisible.
Pueden ser de tres tipos:
 De Acción con sujeto no determinado: Ejemplo: Llueve, hace calor, es verano.
 De atribución de propiedades a sujetos: Ejemplo, Laura es morena, Camilo es
bombero.
 De Relación entre Sujetos: Ejemplo, Rosa es profesora de Andrés.
Proposición molecular:
Sentencia declarativa formada por proposiciones atómicas enlazadas por conectivos
lógicos, y cuyo valor de verdad depende de los valores de cada una de las proposiciones
atómicas y del comportamiento de los conectores.
Ejemplo:
Lorena es informática y Pedro es arquitecto.
Lo: Lorena es informática, pe: Pedro es arquitecto están unidas por el conector lógico
llamado conjuntor.

Formulas Equivalentes:
Se dice que dos fórmulas son equivalentes, si se observa que todas sus interpretaciones son
iguales. Proposiciones equivalentes:

 ¬ (p  q) = ¬ p  ¬ q
 ¬ (p  q) = ¬ p  ¬ q
 p  q = ¬ p  q = ¬ (p  ¬ q)
 p  q = (p  q)  ( q  p)

La lógica de las proposiciones:

Para comunicarnos, ya sea de forma escrita o verbal, usamos enunciados. Los enunciados
son las unidades mínimas del lenguaje que pueden transmitir un mensaje y pueden ser
aseverativos, imperativos, interrogativos o exclamativos. Los enunciados imperativos
transmiten una orden, los interrogativos solicitan información, los exclamativos expresan
emociones y los aseverativos transmiten información que se puede evaluar como falsa o
verdadera.
En la lógica proposicional nos interesan los enunciados aseverativos y se les
llama proposiciones. La lógica se interesa por este tipo de enunciados porque se les puede
asignar un valor de verdad, ya sea falso (la información es incorrecta) o verdadero (la
información es correcta). En este proyecto de aprendizaje nos interesan únicamente las
expresiones aseverativas o proposiciones que cumplen con estas características:

 Solo pueden tener uno de los siguientes valores de verdad:

 Verdadero: Usualmente representado con la letra V.
 Falso: Usualmente representado con la letra F.
 No pueden ser falsas y verdaderas al mismo tiempo.
 Su valor de verdad de pende únicamente de las proposiciones mismas y no de factores
externos.

Representación:
Como la lógica proposicional no se ocupa de las relaciones entre las proposiciones ni de
características que estas puedan tener además de su valor de verdad, podemos representarlas
utilizando letras sencillas. Por ejemplo, podemos usar la letra Apara representar alguna de
las siguientes afirmaciones dependiendo del trabajo que estamos realizando:

 Mi perro es negro.
 La tierra es una esfera.
Sin embargo, en un momento dado A solo puede representar una de las proposiciones. Si
necesitamos representarlas ambas en el mismo trabajo debemos usar letras adicionales
como B, Co Zy si se nos acaban las letras podemos usar subíndices: B1

 A = Mi perro es negro.
 B = La tierra es una esfera.
Usar letras mayúsculas del alfabeto latino es simplemente una convención y no hay nada que
nos impida utilizar otro tipo de elementos para representar las proposiciones y de hecho otros
textos o cursos sobre lógica proposicional usan otras convenciones. Por ejemplo, podríamos
usar letras minúsculas, pequeñas figuras geométricas, los símbolos de las cartas (♠, ♣, ♥ y
♦), etc.
Proposiciones compuestas:
Las proposiciones individuales se llaman proposiciones primitivas ya que no es posible
descomponerlas en elementos más sencillos. Sin embargo, si es posible combinarlas para
crear estructuras más complejas. Por ejemplo, podemos afirmar cosas como: “mi carro es
rojo” y “el elefante es grande” y combinar ambas proposiciones de diversas maneras:

 Mi carro es rojo y el elefante es grande.

 Mi carro es rojo o el elefante es grande.
 Si el elefante es grande entonces mi carro es rojo.
 No es cierto que mi carro es rojo o que el elefante es grande.

Si le asignamos la letra A a la afirmación “mi carro es rojo” y la letra B a la afirmación “el

elefante es grande”, los ejemplos anteriores se representarían así:
 AyB
 AoB
 Si B entonces A
 No es cierto que A o que B
Las palabras que aparecen entre las letras representando las proposiciones se
llaman conectivas lógicas; son las que permiten que combinemos las proposiciones y que
descubramos información nueva a partir de la existente mediante procesos de razonamiento
estructurado.