sindikat
Reputation
212
Next privilege 250 Rep.
3 16
Impact
~8k people reached

### Questions (8)

 6 Express logic puzzles with proposition calculus notation 4 What is the name of the logical puzzle, where one always lies and another always tells the truth? 4 Is there notation for “some two of the three statements are true”? 3 Prove that ≿ is transitive iff ≻ and ∼ are transitive 2 How to prove that nth differences of a sequence of nth powers would be a sequence of n!

### Reputation (212)

 +15 Prove that ≿ is transitive iff ≻ and ∼ are transitive +10 How to prove that nth differences of a sequence of nth powers would be a sequence of n! +5 Express logic puzzles with proposition calculus notation +5 How to call a tree with a single branch?

 2 Learning Lambda Calculus 0 How to do homework for a class in Symbolic Logic on my computer?

### Tags (20)

 0 logic × 5 0 graph-theory 0 propositional-calculus × 4 0 terminology 0 puzzle × 2 0 factorial 0 notation 0 sequences-and-series 0 trees 0 recurrence-relations

### Accounts (56)

 Stack Overflow 4,738 rep 12470 Unix & Linux 1,193 rep 31730 Super User 532 rep 424 Code Review 364 rep 210 Russian Language 333 rep 211