Tagged Questions
14
votes
2answers
192 views
Is there a “tree-like” proof of compactness theorem in the case of uncountably many variables?
I like proofs using trees and König's lemma, since they are very visual.
One of the applications of König's lemma you can show to students is proving compactness theorem for propositional calculus, ...
0
votes
1answer
68 views
Natural order of rational trees?
What would be a natural order of rational trees? Rational trees
arise naturally from free algebras if we view a term as a finite
tree. For example the term f(a,g(b,c)) could be viewed as the
...
0
votes
1answer
237 views
How to make a parse tree for the following propositional logic formula?
I have a formula $\neg (( q \rightarrow \neg q) \vee p \vee ( \neg q \rightarrow ( r \wedge p)))$.
As it contains 3 subformulas between the $\vee$'s, how can I put it into a parse tree. Would it be ...
1
vote
1answer
187 views
Depth distribution of normalized decision trees?
Lets work with the following inductive definition of a decision tree:
1) $\bot$, $\top$ are decision trees.
2) If $x_i$ is a variable and $T_0$, $T_1$ are decision
trees then $(\lnot x_i \land T_0) ...
0
votes
0answers
124 views
Need help performing a tree method to test for satisfiability
For those who commented on my previous questions, sorry for the lack of information and explanation. Clearly I did not do a good job of explaining myself so I deleted the question and hope this one ...
