9,650 reputation
224103
bio website
location
age
visits member for 3 years, 11 months
seen 1 hour ago

Just a layman and slow learner. Thank you for your enlightenment and patience, and for giving me the best memory in my life.


Jul
25
comment Is this theorem about soundness or completeness?
Thanks. How do you like Kaye's book? What level would you classify it into, with what similar books?
Jul
25
accepted Is this theorem about soundness or completeness?
Jul
24
revised Is this theorem about soundness or completeness?
added 8 characters in body
Jul
24
asked Is this theorem about soundness or completeness?
Jul
24
asked A consistent set of formulas
Jul
24
comment statements, propositions, formulas, and wffs
Thanks. In propositional logic, is every wff a sentence? Is every wff also called a proposition, although there is no semantics yet?
Jul
23
comment Is there no propositional letter in first order logic?
why are they left out?
Jul
23
comment Is there no propositional letter in first order logic?
Are True and False atomic formulas? The book doesn't say so, but I think so.
Jul
23
comment Is there no propositional letter in first order logic?
thanks. Why are there propositional symbols in propositional logic?
Jul
23
revised Is there no propositional letter in first order logic?
added 5 characters in body
Jul
23
asked Is there no propositional letter in first order logic?
Jul
23
comment statements, propositions, formulas, and wffs
Thanks. In propositional logic, is every wff a sentence? Is every wff also called a proposition, although there is no semantics yet?
Jul
23
accepted separating propositons with commas?
Jul
23
comment separating propositons with commas?
@copper.hat what does "mistake trail" mean?
Jul
23
comment separating propositons with commas?
@Git: (1) WHat does "a set of formulas on the LHS of the turnstile symbol" mean? "AND" of the formulas, or "OR" of the formulas, or ...? (2) Does a comma between formulas mean "AND" of the formulas?
Jul
23
comment separating propositons with commas?
@copper.hat, I see one formula, not a set of formulas on the LHS?
Jul
23
comment separating propositons with commas?
@Git: (1) why is the LHS a set? I think it is a boolean term, not a set. (2)since we have $∧$, why do we need comma?
Jul
23
comment separating propositons with commas?
(1) First of all, by $\{a∧b\}$ do you mean it is a set? why is the LHS a set? Isn't it a boolean term? (2) WHere is "comma"?
Jul
23
comment What does “calculus” mean?
be back later. @GuyCoder
Jul
23
revised separating propositons with commas?
deleted 24 characters in body