Discrete Math-Logic:
Is It a Proposition?