0
votes
1answer
26 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 ...
1
vote
1answer
2k 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
385 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\}$?