Hola, tengo una duda respecto a que si toman como valido lo siguiente:
Por ejemplo si te dan una formula de PROP. Para ver si es tautología o no, ¿la tabla de verdad la darían como método valido para demostración? ¿O solo darían como valido demostrarlo por definición de valuación?
Bueno muchas gracias, espero su respuesta.