logic

278 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Proving a theorem using equality relation: ∀[ x ] ∀[ y ] (¬ Eq x y → ¬ Eq (f x) (f y))
user_50452950
•
2
1
85
relation agda logic
First-order logic question: Which one is the translation of “John has exactly one brother ”?
user_133510990
•
2
1
259
first-order-logic logic
jdk-13.0.2 is not visible to the computer because of logisim
user_130521890
•
3
1
838
visual-studio-code logic cmd java
How to accept integer input values in different lines without using getline()?
user_135035840
•
3
1
108
logic cin c++
Prolog resolution prover deletes brackets
user_135002460
•
3
1
184
prolog logic syntax
Get Entities from Azure table storage (limit 1)
user_101331070
•
2
1
560
logic azure
How to get all specific values from an array of objects with nested arrays of objects?
user_130375220
•
2
2
31
logic tree object arrays javascript
Simple flip a coin Java Program
user_123345650
•
2
2
702
counter logic for-loop random java
calculating a sequence that alternates between summation and subtraction
user_115865740
•
2
1
45
logic sequence math bash
Using (Or ||) syntax inside of React useState for assignment
user_26510750
•
3
3
2113
react-hooks reactjs logic syntax javascript
Hot Questions