No se ha añadido ninguna twiki todavía.

Fórmula lógica compuesta por una sucesión de símbolos lógicos en la que hay variables de enunciado, de manera que, sustituyendo las variables por enunciados, se obtiene un enunciado (compuesto). Una misma forma proposicional puede dar lugar a muchos enunciados con la misma forma lógica.

ver ejemplo ↓

Así, la forma proposicional del enunciado «No es posible que llueva y no llueva a la vez» es: «No a la vez p y no-p», o bien ¬(p∧¬p)

Sustituyendo las letras de enunciado por otros enunciados se obtiene enunciados con igual forma lógica. Si p= reír y ¬p= llorar, el enunciado será «no es posible reír y llorar a la vez». Y aún, el enunciado «no es verdad que hablamos o cantamos y no hablamos o cantamos a la vez», esto es, ¬[(p∨¬q)∧¬(p∨q)] tiene igualmente la misma forma proposicional básica.

Recurso:ejemplo lógico 4

Hay formas proposicionales cuya verdad es necesaria, por razón de la misma forma. Así sucede con las verdades lógicas o las tautologías.