Para nuestro vocabulario de oraciones formales básicas utilizamos las letras mayúsculas de la A a la O en el alfabeto (y quizás estas mayúsculas con subíndices numéricos si necesitamos oraciones más b...Para nuestro vocabulario de oraciones formales básicas utilizamos las letras mayúsculas de la A a la O en el alfabeto (y quizás estas mayúsculas con subíndices numéricos si necesitamos oraciones más básicas). Si P y Q son variables que representan cualquier oración simbólica, por compleja que sea, entonces ~P es una oración bien formada, y también lo es (P v Q), y (P & Q) y (P → Q) y (P ↔ Q).
