Inferring a conclusion that must follow from general premises (every Human is Mortal and Socrates is Human, so Socrates is Mortal); in PLN the most confidence-preserving inference direction.

← Back to the Glossary