Cada uno de los enunciados simples del lenguaje natural se sustituirá por variables proposicionales simbolizadas por letras minúsculas: p, q, r, s, t...