Propositional satisfiability

Proposition, Propositional formula, Propositional logic, Propositional variable, Propositional function, Propositional proof system, Propositional attitude, Propositional representation, Proposition (disambiguation), Second-order propositional logic, Timed propositional temporal logic, List of axiomatic systems in logic, Implicational propositional calculus, Categorical proposition, Value proposition, 1996 California Proposition 218, Nineteen Propositions, 8: The Mormon Proposition, Probabilistic proposition, California ballot proposition, Protests against Proposition 8 supporters, List of California ballot propositions, 2012 California Proposition 30, 1994 California Proposition 187, Conjunction elimination, 2012 California Proposition 32, 1996 California Proposition 209, 2008 California Propositions 98 and 99, Proposition 203, Bernays–Schönfinkel class, 2000 California Proposition 39, 2009 California Proposition 1D, 1978 California Proposition 13, List of California ballot propositions: 2020–2029, 2014 California Proposition 47, 1998 California Proposition 227, Intuitionistic logic, 2012 California Proposition 39, 2012 California Proposition 37, List of California ballot propositions: 2010–2019, 2012 California Proposition 36

2009 California Proposition 1C, 110 Propositions for France, 1980 Massachusetts Proposition 2½, 2009 California Proposition 1E, 2016 California Proposition 57, Propositional directed acyclic graph, 2009 California Proposition 1B, 1964 California Proposition 14, 2009 California Proposition 1F, List of Arizona ballot propositions, 2022 California Proposition 30, 2000 California Proposition 36, California Proposition 1A, 2020 California Proposition 14, Proposition Infinity, California Proposition 99, 2006 California Proposition 82, 2008 California Proposition 8, 2006 Arizona Proposition 204, 2008 California Proposition 1A, California Proposition 6, California Proposition 14, 2012 California Proposition 28, 2004 Arizona Proposition 200, List of California ballot propositions: 2000–2009, 2006 California Proposition 89, Proposition 8 (disambiguation), California Proposition 4, 1978 California Proposition 8, 2012 California Proposition 34, Proposition 17, 2000 California Proposition 21, California Proposition 16, 2018 California Proposition 12, Proposition 2, 2006 Arizona Proposition 107, 1958 California Proposition 18, 2008 California Proposition 91, 2008 California Propositions 94, 95, 96, and 97, Proposition 7, The Proposition (soundtrack), The Proposition (Leyster), 1998 California Proposition 10, 2008 Arizona Proposition 102, 1996 California Proposition 215, California Proposition 20, 2005 San Francisco Proposition I, 2010 California Proposition 20, Proposition 57, 2006 California Proposition 87

Proposition, Propositional formula, Propositional logic, Propositional variable, Propositional function, Propositional proof system, Propositional attitude, Propositional representation, Proposition (disambiguation), Second-order propositional logic, Timed propositional temporal logic, List of axiomatic systems in logic, Implicational propositional calculus, Categorical proposition, Value proposition, 1996 California Proposition 218, Nineteen Propositions, 8: The Mormon Proposition, Probabilistic proposition, California ballot proposition, Protests against Proposition 8 supporters, List of California ballot propositions, 2012 California Proposition 30, 1994 California Proposition 187, Conjunction elimination, 2012 California Proposition 32, 1996 California Proposition 209, 2008 California Propositions 98 and 99, Proposition 203, Bernays–Schönfinkel class, 2000 California Proposition 39, 2009 California Proposition 1D, 1978 California Proposition 13, List of California ballot propositions: 2020–2029, 2014 California Proposition 47, 1998 California Proposition 227, Intuitionistic logic, 2012 California Proposition 39, 2012 California Proposition 37, List of California ballot propositions: 2010–2019, 2012 California Proposition 36, 2009 California Proposition 1C, 110 Propositions for France, 1980 Massachusetts Proposition 2½, 2009 California Proposition 1E, 2016 California Proposition 57, Propositional directed acyclic graph, 2009 California Proposition 1B, 1964 California Proposition 14, 2009 California Proposition 1F, List of Arizona ballot propositions, 2022 California Proposition 30, 2000 California Proposition 36, California Proposition 1A, 2020 California Proposition 14, Proposition Infinity, California Proposition 99, 2006 California Proposition 82, 2008 California Proposition 8, 2006 Arizona Proposition 204, 2008 California Proposition 1A, California Proposition 6, California Proposition 14, 2012 California Proposition 28, 2004 Arizona Proposition 200, List of California ballot propositions: 2000–2009, 2006 California Proposition 89, Proposition 8 (disambiguation), California Proposition 4, 1978 California Proposition 8, 2012 California Proposition 34, Proposition 17, 2000 California Proposition 21, California Proposition 16, 2018 California Proposition 12, Proposition 2, 2006 Arizona Proposition 107, 1958 California Proposition 18, 2008 California Proposition 91, 2008 California Propositions 94, 95, 96, and 97, Proposition 7, The Proposition (soundtrack), The Proposition (Leyster), 1998 California Proposition 10, 2008 Arizona Proposition 102, 1996 California Proposition 215, California Proposition 20, 2005 San Francisco Proposition I, 2010 California Proposition 20, Proposition 57, 2006 California Proposition 87, 2012 California Proposition 38, Proposition 48, Propositions (album), 2004 California Proposition 60A, 2016 California Proposition 65, 2006 California Proposition 85, California Proposition 65, 2012 California Proposition 31, 2016 California Proposition 59, 1986 California Proposition 63, 2012 California Proposition 29, 2022 California Proposition 1, 2018 Idaho Proposition 2, 2022 California Proposition 27, 2008 California Proposition 12, 2018 California Proposition 69, 2016 California Proposition 60, Proposition 64, 2002 California Proposition 49, 2008 California Proposition 3, 2020 California Proposition 15, 1986 California Proposition 64, 2010 Arizona Proposition 100, Sexual proposition, 2016 California Proposition 58, 2016 California Proposition 56, List of California ballot propositions: 1990–1999, 2005 California Proposition 73, 2018 California Proposition 68, Proposition 19, 1988 California Proposition 90, 2016 California Proposition 67, Proposition (political party), 1999 Missouri Proposition B, Customer value proposition, 2016 California Proposition 66, 2016 California Proposition 62, 1988 California Proposition 103, 2008 California Proposition 7, 2009 California Proposition 1A, 2004 California Proposition 62, Proposition 22, 2004 California Proposition 60, Proposition 71, 2004 California Proposition 57, 2004 California Proposition 65, 2018 Municipality of Anchorage, Alaska, Proposition 1, 2008 California Proposition 10, 1986 California Proposition 60, 2004 California Proposition 1A, 2016 California Proposition 61, 2008 California Proposition 93, 2016 California Proposition 55, 2002 California Proposition 50, 2010 California Proposition 23, Policy-ineffectiveness proposition, 2008 California Proposition 92, 2008 California Proposition 5, 2016 California Proposition 54, 2016 California Proposition 51