The second is a conditional statement relying on the value of some other statement. Either of these sentences can be broken down into predicates which can be compared and form the knowledge base of a deductive language.
The second is a conditional statement depending on the value of another statement. Either of these sentences can be broken down into predicates that can be compared and form the knowledge base of a deductive language.