Lógica en el examen

Para el examen, únicamente tendréis que pasar del lenguaje formal al lenguaje ordinario.

Es decir, pondré algún enunciado como los que hicisteis el otro día y tendrés que representarlo.

Por ejemplo, [ (p --> q) . p] --> q

("." sería otro símbolo para expresar la conjunción, como la "v" invertida)

En este caso, podríais poner "Si hubiera llovido, el sótano estaría inundado, y ha llovido, así que el sótano estará inundado"