«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, 5月 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, 4月 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, 3月 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, 3月 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, 12月 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, 9月 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, 11月 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, 10月 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, 8月 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, 5月 13»