Tag first-order-logic - Esta é a página 14 - GeneraCodice

What is the set of all maximal 3CNF formulas?

https://www.generacodice.com/pt/articolo/1586874/what-is-the-set-of-all-maximal-3cnf-formulas
  logic  -  first-order-logic  -  propositional-logic
cs.stackexchange cs.stackexchange

What is the set of all minimal 3CNF formulas?

https://www.generacodice.com/pt/articolo/1586003/what-is-the-set-of-all-minimal-3cnf-formulas
  logic  -  first-order-logic  -  propositional-logic
cs.stackexchange cs.stackexchange

Algorithm for deciding alpha-equivalence of terms in languages with bindings

https://www.generacodice.com/pt/articolo/1584322/algorithm-for-deciding-alpha-equivalence-of-terms-in-languages-with-bindings
  logic  -  lambda-calculus  -  first-order-logic
cs.stackexchange cs.stackexchange

What is the difference between $x:A$ and $x \Xi A$?

https://www.generacodice.com/pt/articolo/1583634/what-is-the-difference-between-x-a-and-x-xi-a
  type-theory  -  first-order-logic  -  software-verification
cs.stackexchange cs.stackexchange

Induction rules for reflexive, transitive closure

https://www.generacodice.com/pt/articolo/1581945/induction-rules-for-reflexive-transitive-closure
  logic  -  induction  -  first-order-logic  -  proof-techniques
cs.stackexchange cs.stackexchange

Formally proving properties of fold function

https://www.generacodice.com/pt/articolo/1580982/formally-proving-properties-of-fold-function
  functional-programming  -  first-order-logic  -  software-verification
cs.stackexchange cs.stackexchange

Constructing logical sentences that involve negative integers over the nonnegative integers

https://www.generacodice.com/pt/articolo/1580574/constructing-logical-sentences-that-involve-negative-integers-over-the-nonnegative-integers
  logic  -  first-order-logic
cs.stackexchange cs.stackexchange

In the Resolution equivalence ($\neg A \implies B, B \implies C \models \neg A \implies C$) must $A$ be negated?

https://www.generacodice.com/pt/articolo/1580495/in-the-resolution-equivalence-neg-a-implies-b-b-implies-c-models-neg-a-implies-c-must-a-be-negated
  logic  -  first-order-logic  -  propositional-logic
cs.stackexchange cs.stackexchange

Formal specification; Logical formula

https://www.generacodice.com/pt/articolo/1580388/formal-specification-logical-formula
  c  -  formal-methods  -  satisfiability  -  first-order-logic  -  automated-theorem-proving
cs.stackexchange cs.stackexchange

Ehrenfeucht-Fraïssé games, possible mistake in example

https://www.generacodice.com/pt/articolo/1580160/ehrenfeucht-fraisse-games-possible-mistake-in-example
  first-order-logic
cs.stackexchange cs.stackexchange
Resultados encontrados: 218
scroll top