# Terminology: "true", "entailed", "provable", "holds"

**URL:** <https://swi-prolog.discourse.group/t/terminology-true-entailed-provable-holds/2093>\
**Category:** General\
**Tags:** discussion\
**Created:** [April 2, 2020, 1:07pm UTC](https://swi-prolog.discourse.group/t/terminology-true-entailed-provable-holds/2093 "2020-04-02T13:07:20Z")\
**Posts on this page:** 1\
**Showing post:** 19

<div class="post-metadata">

**Author:** ![EricGT](https://avatars.discourse-cdn.com/v4/letter/e/f1d935/32.png) [@EricGT](https://swi-prolog.discourse.group/u/EricGT)\
**Post date:** [August 6, 2020, 3:31pm UTC](https://swi-prolog.discourse.group/t/terminology-true-entailed-provable-holds/2093/19 "2020-08-06T15:31:25Z")

</div>

6 posts were split to a new topic: [How do you get syntax highlighting in comments that aren’t obviously Prolog?](https://swi-prolog.discourse.group/t/how-do-you-get-syntax-highlighting-in-comments-that-aren-t-obviously-prolog/2753)

---

_[View the full topic](https://swi-prolog.discourse.group/t/terminology-true-entailed-provable-holds/2093)._