En el análisis lógico, la forma más básica es la formalización de enunciados o proposiciones, las cuales son oraciones declarativas verdaderas o falsas y constan de variables, constantes y auxiliares.
Las variables son las proposiciones cuyo significado cambia, y se simbolizan mediante p, q, r, s, t.
Las constantes alteran, relacionan o conectan a las variables, pueden ser la negación (¬), la conjunción ( ^ ), la disyunción (∨) y el condicional (⇒).
Los auxiliares no tienen significado dentro de la proposición, simplemente se usan para facilitar la lectura y evitar ambigüedades, son los paréntesis o corchetes.
1. - Si ella no viene entonces nos vamos al cine.
P : ella vieneq : nos vamos al cine¬p⇒q2.
- Si trabajas y estudias te preparas mejor el futuro.
P : trabajasq : estudiasr : te preparas mejor el futuro(p ^ q)⇒r3.
- Ser bachiller o titulado en el ciclo superior y tener 18 años cumplidos son condiciones para poder ejercer la docencia.
P : ser bachillerq : ser titulado en el ciclo superiorr : tener 18 años cumplidoss : poder ejercer la docencia[(p∨q) ^ r]⇒s4.
- Si dominas las asignaturas y te relacionas bien con todas las personas del colegio entonces no has perdido el tiempo.
P : dominas las asignaturaq : te relacionas bien con todas las personas del colegior : has perdido el tiempo(p ^ q)⇒¬r.