Logical Conclusion Definition