OPERADORES LOGICOS

La sintaxis especifica una serie de reglas de construccin que debern cumplir las frmulas para
ser sintcticamente correctas. Los elementos que estudiaremos en una frmula, en lgica
proposicional son:
Smbolos: p, q, r...
Operadores: negacin, conjuncin, disyuncin, condicinal, disyuncin exclusiva
Parntesis: ( )
Las reglas de construccin sintcticas son:

Un smbolo slo no es una frmula

Los operadores unarios se anteponen al smbolo. Los operadores binarios se sitan entre los
smbolos.
Los parntesis han de estar bien formados, y ha de haber tantos parntesis de abertura como de
cierre:
Son correctos: (p), p and (q), p or ((not q) and r)...
No son correctos: (), (p (or) q), p and (q or (not r)...
Son frmulas:
p, not p, p and q, p xor (not q), not (p -> q)...
Hemos hablado de operadores unarios y binarios. Los primeros afectan slo a un smbolo o
frmula, en cambio los segundos afectan a los 2 smbolos o frmulas que haya a su izquierda y
derecha.

Una frmula es cualquier combinacin de elementos que cumplan las reglas sintcticas. Por
ejemplo, si tengo un smbolo p: "hace fro". La frmula not p equivale a "no hace fro".

De los smbolos no hay nada ms que decir, son letras minsculas del alfabeto. En cuanto a los
operadores lgicos, no vamos a verlos todos, slo los necesarios para comprender la lgica que
despus aplicaremos a la programacin. Cada operador est representado por un smbolo: