Fuzzy-rough modus ponens and modus tollens as a basis for approximate reasoning