logical consequence
fundamental concept in logic
necessity and sufficiency
conditional or implicational relationship between two statements: a necessary condition is one which must be present in order for another condition to occur, while a sufficient condition is one which produces the said condition
logical possibility
something that is logically possible to occur