Question:
Subfórmulas
Author: PAZ ARAMBURUAnswer:
S(α) es el conjunto definido por: - Var(α)={pk/pk aparece en α} son subfórmulas - si α=¬β ---> s(α)={α} u s(β) - si α=(β1*β2) ---> s(α)={α} u s(β1) u s(β2)
0 / 5 (0 ratings)
1 answer(s) in total
Author
PAZ ARAMBURU