Propositional satisfiability

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

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

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