Programming Language Theory Flashcard
What is an axiom (inference rule)?
Books
Concepts
Decklogic tools
Question
What is an axiom (inference rule)?
Answer
An axiom is an inference rule with no premise.
Question
What is an axiom (inference rule)?
Answer
An axiom is an inference rule with no premise.