Jump to content

Talk:Second-order propositional logic

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Difference between "Second-order propositional logic" and "Second-order logic"?

[edit]

What's the difference? I thought "propositional logic" was logic without quantifiers, first-order logic adds quantifiers over elements in some domain of discourse to propositional logic, and second-order logic adds quantifiers over prepositions to first-order logic. I don't see where "second-order propositional logic" finds its niche. Jason Quinn (talk) 15:36, 28 May 2010 (UTC)[reply]

There are quantifiers but only over propositions. So there is still no universe of discourse and no variables for individuals. For example, there are sentences like
and
— Carl (CBM · talk) 17:29, 28 May 2010 (UTC)[reply]

Difference between "Second-order propositional logic" and "True quantified binary formulas"?

[edit]

http://wiki.riteme.site/wiki/True_quantified_Boolean_formula — Preceding unsigned comment added by Ancmin (talkcontribs) 11:36, 1 March 2012 (UTC)[reply]

TQBF is a specific decision problem in Computer Science. The language that the formula is written in is exactly the language of second-order propositional logic. Just in the same way as SAT is a problem regarding formulas of (zeroth-order) propositional logic. Kirelagin (talk) 11:47, 20 March 2017 (UTC)[reply]