Improve the cohesiveness of the text: In propositional logic terms, some variables are not to be falsified if possible. Two kind of variables can be considered
In propositional logic terms, some variables are not to be falsified if possible. In particular, two kind of variables can be considered :