Hoxe discutimos algúns exercicios de formalización na clase. Houbo certos problemas cos exercicios que tiñan a forma "a menos que A, B". En resumo, estes tradúcense como 7B→A. E outra forma alternativa de traducilo sería 7A→B. Por tanto, o exercicio 34 estaría ben tal e como aparece no solucionario.
O exercicio 37 ten unha forma lixeiramente diferente, que é, A, "a menos que B". Por tanto, habería que invertir a fórmula anterior, de modo que sería "¬B→A" ou "¬A→B". Por tanto, si que estaría mal corrixido, a forma correcta sería: ¬ (q ∧r ∧s ∧ ¬t) → p ou ¬p → (q ∧r ∧s ∧ ¬ t ).