Hola, tu pregunta es bastante profunda. En el curso aceptamos tableau semántico para metavariables, pero tablas de verdad no.
Me interesa saber por qué te surgió la pregunta. ¿Hay alguna diferencia entre tableau y tabla de verdad? La explicación de fernando de @#\alpha \Leftrightarrow \beta#@ aplica al tableau?
Como te decía, estas no son preguntas triviales. De hecho, debo reconocer que entre los propios docentes no hay un consenso al respecto. Lo más concreto que te puedo decir es que lo tomes como una convención que usamos en el curso para facilitar el estudio (y desestimular el uso de tablas de verdad).
Así que si la fórmula tiene metavariables, no se puede usar tabla de verdad. Sí se puede usar tableau, equivalentes o definición de valuación.
Saludos
Me interesa saber por qué te surgió la pregunta. ¿Hay alguna diferencia entre tableau y tabla de verdad? La explicación de fernando de @#\alpha \Leftrightarrow \beta#@ aplica al tableau?
Como te decía, estas no son preguntas triviales. De hecho, debo reconocer que entre los propios docentes no hay un consenso al respecto. Lo más concreto que te puedo decir es que lo tomes como una convención que usamos en el curso para facilitar el estudio (y desestimular el uso de tablas de verdad).
Así que si la fórmula tiene metavariables, no se puede usar tabla de verdad. Sí se puede usar tableau, equivalentes o definición de valuación.
Saludos