This flashcard is just one of a free flashcard set. See all flashcards!

a formal relationship between two propositions such that if the first is true then
the second is necessarily or logically true