Skip to content
scrambled
Programming Language Theory Flashcard

What is the deduction style presentation of logical systems?

Question

What is the deduction style presentation of logical systems?

Answer

The premises are listed above the horizontal line & the conclusion is listed below the horizontal line.