与 «PROPOSITIONALLY»相关的英语书籍
在以下的参考文献中发现
propositionally的用法。与
propositionally相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
Modal Logic: An Introduction
By a tautology we mean a sentence true in every valuation of its propositionally
atomic constituents. A sentence is propositionally atomic if it is either atomic in
the ordinary sense (Pn) or modal (DA or OA). A valuation is an assignment of
truth ...
2
Logic Programming and Nonmonotonic Reasoning: 5th ...
For every propositionally closed theory E Q L, let Extp5N(E) : Cn(EU A) Q L'
where A Q A' is a set of atoms atoms containing the atom c¢ for each justification
or consequent Q5 G Jf(D) U Cq(D) that is consistent with E, the atom bd for each
...
Michael Gelfond, Nicole Leone, Gerald Pfeifer, 1999
3
Objectivity and the Language-Dependence of Thought: A ...
they characterize the practical attitude as being propositionally contentful. But
then practical attitudes must themselves be propositionally contentful.147
Second, Laurier thinks that an even shorter argument leads to the same
conclusion.
4
Logics in Artificial Intelligence: European Workshop, JELIA ...
Let (D,T) be a default theory in L(/1) and (D',TUT°) the translation TrgT1((D, T)) in
L'(.A U ./4°). Moreover, let E : Cn(E1 U E2') hold for propositionally consistent
theories E1 and E2 in L. Then for G D, (1') e D'); <:> ge DE1,(ll)%€ D'); <:> ge DE,,
...
Manuel Ojeda-Aciego, 2000
5
La tradition medievale des categories, XIIe-XVe siecles:
Nevertheless, it seems to me that Burleigh is right, in the particular case under
consideration, that propositionally structured modes of presentation must hit
propositionally structured entities in the world. For if the world contained nothing
...
Joël Biard, Irène Rosier-Catach, 2003
these items are propositionally related? Two syntactical parts of this sentence-
token do this: the copula that is in the present tense conveys that the property of
running is propositionally related to John; and the present tense of this copula, ...
7
Static Analysis: 17th International Symposium, SAS 2010, ...
After rewriting these expressions in conjunctive normal form (as propositionally
linear predicates), Col ́on et al. [5] showed how it was possible to use Motzkin's
Transposition theorem [15] to reduce each (universally quantified) finite
disjunction ...
Radhia Cousot, Matthieu Martel, 2010
8
Artificial Intelligence, Automated Reasoning, and Symbolic ...
We say that a total truth assignment u for 4,0
propositionally satisfies 90, written u
]:,, 4,0, and only it makes 90 evaluate to T, that is, for all sub-formulas 901, 902 of
90: /i ]:P set s01 € /1t<>m$(se) <=> vi € H; ii ]:P _'<P1 <=>i1 tsp 401; ...
9
The Clausal Theory of Types
From Theorem 3.57, there is a ~-propositional interpretation go... which uniquely
corresponds to N, and t' is propositionally ~-unsatisfiable where t' is the normal
form of tbl. Therefore, the higher-order expansion of r is propositionally ...
10
Handbook of Satisfiability
We say that a partial truth assignment u propositionally satisfies (,0 if and only if
all the total truth assignments for (p which extend ,a propositionally satisfy 90. For
instance, if (p I 514,01 V Iljggog, then the partial assignment ,a I {51901} is such ...
A. Biere, M. Heule, H. van Maaren, 2009
包含词语«PROPOSITIONALLY»的新条目
找出国内和国际出版社所讨论的内容，以及词语
propositionally在以下新条目的上下文中是如何使用的。
Seven Problems with Inerrancy (Leaving Evangelicalism, #2)
Propositionally (or “informationally”) true? Symbolically true? Mythically true? Theologically true? Relationally or existentially true? Or is “truth” just not the best ... «Patheos, 五月 15»
'It seemed to me miraculous that you could actually hear …
I was sure you couldn't sum it up propositionally: You couldn't say, as it was common to say, “What is the meaning of this poem?” 'All of life feeds into one's ... «Harvard Gazette, 四月 15»
Landmarks by Robert Macfarlane – digested read
In that moment of near perfect recall – described so vividly in Nan Shepherd's The Living Mountain, a narrative that serves as a portal to the propositionally ... «The Guardian, 三月 15»
The Christ Experience: What Must Die This Easter for the Church to …
... Religion, one could point to an equally confusing, and ultimately divisive, consequence of his propositionally-laden explanations of the Christ experience. «Huffington Post, 三月 15»
Liberia Lacks Oil Expertise – NOCAL
... commercial productions of the three companies, adding that the three companies' interest will be reduced propositionally to accommodate Liberia's interest. «Hellenic Shipping News Worldwide, 十二月 14»
Civic body to reduce STP capacity near airport
The capacity of the plant at Zalta will be increased propositionally. Originally, the authorities had planned a 10.5-MLD plant at Zalta. The civic body will built its ... «Times of India, 九月 14»
A Realistic View of Sexual Identity Though Compounded States of …
Christian scripture discusses faith both propositionally (e.g. Hebrews 11:1′s “faith is confidence in what we hope for and assurance about what we do not see”) ... «Patheos, 十一月 13»
Banking Industry Reformation and National Transformation
As the audit he commissioned necessitated, N620 billion was propositionally injected into the intervened banks at the first instance. Sanusi worked with law ... «AllAfrica.com, 十月 13»
The Lost Art of Finding Our Way, by John Edward Huth
... of course, something that would not be self-evident to most denizens of Huth's “bubble” – even though almost all of them would know propositionally that the ... «Times Higher Education, 八月 13»
3 Complementarians and a Mutualist
The kind of "headship" in marriage, for instance, that Paul goes on to propositionally describe in Ephesians 5 is not regarded as a "bad authority thing" but rather ... «Huffington Post, 五月 13»
