1. Consequence relation

Hi guys, I just want to run this proof by you, just to see if I'm correct. I have to prove the following:

$\text{Cn}(\text{Cn}(A)) = \text{Cn}(A)$

where,

$Cn(A) = \{\beta : A \vdash \beta \}$

Firstly, given that $A \subseteq \text{Cn}(A)$, and that if $A \subseteq B$, then $\text{Cn}(A) \subseteq \text{Cn}(B)$, we have that $\text{Cn}(A) \subseteq \text{Cn}(\text{Cn}(A))$.

Secondly, pick a $\gamma \in \text{Cn}(\text{Cn}(A))$. Then this is such that for some $\beta$, with $A \vdash \beta$, we have that $\beta \vdash \gamma$. But, given the transitivity property, $A \vdash \gamma$, to conclude that $\gamma \in \text{Cn}(A)$. Thus, $\text{Cn}(\text{Cn}(A)) \subseteq \text{Cn}(A)$.

Combining the two, we conclude that $\text{Cn}(\text{Cn}(A)) = \text{Cn}(A)$.

HTale

2. Originally Posted by HTale
$\text{Cn}(\text{Cn}(A)) = \text{Cn}(A)$ where, $Cn(A) = \{\beta : A \vdash \beta \}$
Secondly, pick a $\gamma \in \text{Cn}(\text{Cn}(A))$. Then this is such that for some $\beta$, with $A \vdash \beta$, we have that $\beta \vdash \gamma$. But, given the transitivity property, $A \vdash \gamma$, to conclude that $\gamma \in \text{Cn}(A)$. Thus, $\text{Cn}(\text{Cn}(A)) \subseteq \text{Cn}(A)$.
Combining the two, we conclude that $\text{Cn}(\text{Cn}(A)) = \text{Cn}(A)$.
That works. But just as a matter of style, I would change the order somewhat.

$\begin{array}{l}
\gamma \in {\rm{Cn}}\left( {{\rm{Cn(A)}}} \right)\, \Rightarrow \,\left( {\exists \beta \in Cn(A)} \right)\left[ {\beta \vdash \gamma } \right] \\
\beta \in Cn(A)\, \Rightarrow \,A \vdash \beta \\
A \vdash \beta \wedge \beta \vdash \gamma \, \Rightarrow \,A \vdash \gamma \\
\end{array}$

3. Originally Posted by Plato
That works. But just as a matter of style, I would change the order somewhat.

$\begin{array}{l}
\gamma \in {\rm{Cn}}\left( {{\rm{Cn(A)}}} \right)\, \Rightarrow \,\left( {\exists \beta \in Cn(A)} \right)\left[ {\beta \vdash \gamma } \right] \\
\beta \in Cn(A)\, \Rightarrow \,A \vdash \beta \\
A \vdash \beta \wedge \beta \vdash \gamma \, \Rightarrow \,A \vdash \gamma \\
\end{array}$
That looks a whole lot more elegant than what I've written! The only problem is, this was a problem set today, in our first ever lecture on logic, so I'm new to some of the notation that you've presented above. Do you mind explaining what the square and round brackets mean in the first line?

4. The only notation I used that you did not is $P\, \Rightarrow Q$.
It reads "If P then Q". It means that if P is true then Q must also be true.

5. Originally Posted by Plato
The only notation I used that you did not is $P\, \Rightarrow Q$.
It reads "If P then Q". It means that if P is true then Q must also be true.
Sorry, what I meant was this notation: $\left( {\exists \beta \in Cn(A)} \right)\left[ {\beta \vdash \gamma } \right]$. Why the square brackets, and why the rounded brackets? Is there any significance?

6. Originally Posted by HTale
Sorry, what I meant was this notation: $\left( {\exists \beta \in Cn(A)} \right)\left[ {\beta \vdash \gamma } \right]$. Why the square brackets, and why the rounded brackets? Is there any significance?
$\left( {\exists \beta \in Cn(A)} \right)\left[ {\beta \vdash \gamma } \right]$
It reads "There is a beta in Cn(A) such that beta yields gamma."

7. Originally Posted by Plato
$\left( {\exists \beta \in Cn(A)} \right)\left[ {\beta \vdash \gamma } \right]$
It reads "There is a beta in Cn(A) such that beta yields gamma."
Thanks for that! I'll use that notation instead
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 32, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9777913689613342, "perplexity": 401.6599214258384}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2016-40/segments/1474738661780.47/warc/CC-MAIN-20160924173741-00072-ip-10-143-35-109.ec2.internal.warc.gz"}