English
a guide for that
New Course
Concept
Follow
Sequent
0
Summary
A sequent is like a math sentence that shows how one thing can lead to another. It's used to help us understand and prove ideas by showing the steps we take to get from one idea to another.
Concepts
Logic
Inference
Proof Theory
Formal System
Deduction
Premise
Conclusion
Relevant Degrees
Computer Science and Data Processing 63%
Fundamentals of Mathematics 38%
Start Learning Journey
Concepts
Suggested Topics
Foundational Courses
Activity
Search Concepts...
Search Concepts...