Fuzzy logic and fuzzy propositional calculus