- La proposición compuesta A^B, creada con la conectiva de conjunción, será verdadera solamente si es

cierto que está lloviendo (V) y es cierto que es martes (V) y será falsa en todos los otros casos.

- Una disyunción es una conectiva lógica. Combina dos proposiciones (AvB), la expresión resultante es
verdadera si al menos alguna de ellas es verdadera.

- En la expresión A=>B, la proposición A se llama hipótesis o antecedente y la proposición B se llama

conclusión o consecuente. La proposición compuesta es verdadera cuando el antecedente es falso, cuando
el antecedente es verdadero y el consecuente es verdadero o cuando el antecedente es falso y el
consecuente es verdadero. Si el antecedente es verdadero y el consecuente es falso el valor de verdad de
la implicación es falso (F).

Con lo que sabemos podemos representar en el lenguaje de la lógica proposicional expresiones como «Francia es
un país» (A), «Los triángulos rectángulos tienen un ángulo de 90° y los cuadrados tienen 4 ángulos de 90°» (B^C)
o «no es cierto que el sistema solar tiene nueve planetas» (~D). Sin embargo su verdadero poder como
herramienta de razonamiento se vuelve aparente cuando la usamos para representar expresiones más complejas.
Por ejemplo, podemos representar el texto:
«Ni el zorro ni el lince pueden atrapar a la libre si está alerta y es rápida»
(R^S) => (PvQ)
Si representamos los hechos en el enunciado de la siguiente forma:

 P: El zorro puede atrapar a la liebre.

 Q: El lince puede atrapar a la liebre.
 R: La liebre está alerta.
 S: La liebre es rápida.
Para construir expresiones como la anterior necesitamos dos elementos adicionales: los paréntesis y un método
para combinar las expresiones y garantizar que sean fórmulas lógicas bien formadas que podamos usar
posteriormente en los procesos de razonamiento.

Los paréntesis
Los paréntesis nos permiten agrupar expresiones e indicar el orden exacto en el que se deben evaluar. En el
lenguaje natural un enunciado se puede interpretar de formas distintas. Las ambigüedades se resuelven usando el
contexto o quedan sin dilucidar. En el lenguaje de la lógica proposicional los significados de las expresiones deben
comunicarse de forma precisa y sin ambigüedades para poder usarlas para sacar conclusiones sólidas.
Mientras que en el lenguaje natural la expresión «No es cierto que Júpiter es un planeta y el Sol es un planeta» es
perfectamente aceptable, en la lógica proposicional es indispensable determinar si la frase «no es cierto que» se
aplica a la expresión completa («Júpiter es un planeta y el Sol es un planeta») o solamente a la primera proposición
(«Júpiter es un planeta») ya que las expresiones resultantes tienen diferentes valores de verdad. Si
definimos J como «Júpiter es un planeta» y S como el «Sol es un planeta», podemos interpretar el enunciado
como ~(J^S) que tiene un valor de verdad V o como ~J^S, que tiene un valor de verdad F.