the act of entailing or the condition of being entailed
2. philosophy, logic
a.
a relationship between propositions such that one must be true if the others are
b.
a proposition whose truth depends on such a relationship
Usual symbol: ∋. fish-hook (sense 2)
Examples of 'entailment' in a sentence
entailment
Recognizing textual entailment comprises the task of determining semantic entailment relations between text fragments.
Gil Rocha, Henrique Lopes Cardoso 2018, 'Recognizing Textual Entailment: Challenges in the Portuguese Language', Informationhttp://www.mdpi.com/2078-2489/9/4/76. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
We examined two sources: (i) negative polarity; (ii) entailment reversal (aka downward monotonicity).
Galit Agmon, Yonatan Loewenstein, Yosef Grodzinsky 2019, 'Measuring the cognitive cost of downward monotonicity by controlling for negativepolarity', Glossahttps://www.glossa-journal.org/articles/770. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
In this paper we will discuss cross-linguistic variation in semantic entailment patterns in causative alternations.
Björn Lundquist, Martin Corley, Mai Tungseth, Antonella Sorace, Gillian Ramchand 2016, 'Anticausatives are semantically reflexive in Norwegian, but not in English', Glossahttp://www.glossa-journal.org/articles/158. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
Both entailment and presupposition have an automatic relationship based on the context.
Gatri Asti Putri Indarti 2016, 'Distinguishing Entailment and Presupposition Under Negation Test', LLT Journal: A Journal on Language and Language Teachinghttp://e-journal.usd.ac.id/index.php/LLT/article/view/255. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
Our main result shows that the symmetries of a modal formula preserve entailment.
Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe 2013, 'Symmetries in Modal Logics', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1303.7327v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
Furthermore, the ontology construction method was integrated into the question answering framework, which was evaluated using the entailment method.
G. Suresh kumar, G. Zayaraz 2015, 'Concept relation extraction using Naïve Bayes classifier for ontology-based questionanswering systems', Journal of King Saud University: Computer and Information Scienceshttp://www.sciencedirect.com/science/article/pii/S1319157814000020. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
Whereas articulating the topic of a sentence activates a presupposition, articulating the focus frequently yields merely an entailment.
Duží Marie 2018, 'Negation and presupposition, truth and falsity', Studies in Logic, Grammar and Rhetorichttp://www.degruyter.com/view/j/slgr.2018.54.issue-1/slgr-2018-0014/slgr-2018-0014.xml?format=INT. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
It has been applied to natural language tasks such as disambiguation, paraphrasing and entailment of phrases and sentences.
Mehrnoosh Sadrzadeh 2017, 'Quantization, Frobenius and Bi Algebras from the Categorical Framework of QuantumMechanics to Natural Language Semantics', Frontiers in Physicshttp://journal.frontiersin.org/article/10.3389/fphy.2017.00018/full. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
Thus, this research aims to analyze and test pairs of entailment and pairs of presupposition by using negation in utterances.
Gatri Asti Putri Indarti 2016, 'Distinguishing Entailment and Presupposition Under Negation Test', LLT Journal: A Journal on Language and Language Teachinghttp://e-journal.usd.ac.id/index.php/LLT/article/view/255. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
In this paper, we present a method to check subtyping between objects based on entailment in separation logic.
Asankhaya Sharma 2014, 'Verified Subtyping with Traits and Mixins', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1407.3892v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)