New answers tagged logic
2
votes
Accepted
Why do simple Logical Gates have an Irrational amount of Bits?
An amount of information does not need to be an integer, just like the weight of an object does not need to be an integer number of grams.
One might see as a source of confusion to give the same name ...
4
votes
Accepted
Sequent calculus and vs comma: $a \land b \implies ...$ vs $a, b \implies ...$
What prevents me from treating the bottom part as if it was "$-\varphi \land \Gamma \implies \Delta$"?
Nothing prevents you! In fact, this is exactly the right idea. You can think of the ...
1
vote
Accepted
SAT polynomial time
In general, asymptotic complexity concerns itself with the size of the input. In this case, the number of input symbols. SAT is thus not polynomially solvable in the worst case as a function of the ...
Top 50 recent answers are included
Related Tags
logic × 957first-order-logic × 128
propositional-logic × 114
complexity-theory × 71
satisfiability × 69
algorithms × 64
boolean-algebra × 58
computability × 45
lambda-calculus × 44
linear-temporal-logic × 42
proof-techniques × 39
terminology × 38
type-theory × 36
programming-languages × 34
reference-request × 28
model-checking × 28
formal-languages × 27
circuits × 27
formal-methods × 24
hoare-logic × 24
temporal-logic × 24
automated-theorem-proving × 23
computer-architecture × 20
proof-assistants × 20
artificial-intelligence × 19