[Tarea 4] Duda sobre entregar un 0 como variable proposicional

[Emiliax16]

Hola! a mi parecer el enunciado deja claro que el 0 no será parte de las variables proposicionales, ya que se dice que sólo se entregarán numeros positivos y negativos (y el 0 no entra en estos casos). Además, cada cláusulas termina en 0. Sin embargo, en el ejemplo del enunciado, el número de proposiciones es 5, pero las variables proposicionales son sólo 4 sin contar el 0. Con esto, ¿el 0 será parte de las variables o es un error de tipeo?

[juanreutter]

Ay no, disculpen!! Es un error, debería haber un 2 por ahí. Puedes asumir que siempre vas a tener todas las variables, osea si hay 5 proposiciones va a estar la 1, la 2, la 3, la 4 y la 5 al menos en una fila cada una.