Tagged Questions
0
votes
1answer
19 views
Single variable true or false statements
If I have a true or false statement S, depending on a varible x, is there some standard function or opperation in formal logic, that takes the statement S and the variable x, and outputs $1$ if ...
0
votes
1answer
481 views
Boolean algebra operation precedence?
In my discrete mathematics class we wrote down the truth table for some Boolean functions and in that table they go in the following order:
¬, ∧, ∨, →, ~, ⊕, |, ↓
So, I assumed that this is the ...
2
votes
2answers
345 views
What does [n] mean here?
I am reading this document.
What is the meaning of $[n]$ ?
Is it power set of $\{1,2,3...n\}$?
