nos exercicios de lóxica de formalización e deducción, no nº 8 ,estaría ben se chamas q a existe solución, e despois, na deducción pos:
-1.p^¬q
-2.¬r^(r "ou" s)
conclusión:p^s ? e, se ademáis , non o resolvo igual, pero chego á mesma conclusión? podería estar ben?
outra cousa: É o mesmo ¬(¬r^¬s) que r^s ?
por certo, no exame non imos poder utilizar as "chuletas" das táboas ,non?
Clara González Martín 1ºBach C