[logica proposizionale] dimostrare che una formula è la deduzione sintattica di un'altra

[Davide7998]

Buongiorno, sto cercando di capire questo esempio da ieri pomeriggio, dove devo dimostrare la seguente formula nella teoria L.
$\mathcal{A} \Rightarrow \mathcal{B} \vdash _{L} (\mathcal{B} \Rightarrow \mathcal{C}) \Rightarrow (\mathcal{A} \Rightarrow \mathcal{C})$
mi sfugge il passaggio che viene fatto al primo passo della dimostrazione:
$\mathcal{A} \Rightarrow \mathcal{B} \vdash _{L} (\mathcal{B} \Rightarrow \mathcal{C}) \Rightarrow (\mathcal{A} \Rightarrow \mathcal{C})$ sse $\mathcal{A} \Rightarrow \mathcal{B}, \mathcal{B} \Rightarrow \mathcal{C} \vdash _{L} \mathcal{A} \Rightarrow \mathcal{C}$
La teoria L è definita nel sguente modo:

[Ancona1]

Ma i moderatori rispondono alle domande di """"logica"""" (da alpha-test) e non a quelle di logica?

Comunque, ti conviene leggere il teorema di deduzione.

[e3353cdc139f9576d1418ef5ef3cff2aac614a86]

"Ancona":Ma i moderatori rispondono alle domande di """"logica"""" (da alpha-test) e non a quelle di logica?

[xdom="Martino"]Ognuno interviene nelle discussioni che ritiene.[/xdom]

[gugo82]

Ma quanto sono cuccioli gli utenti che vogliono imporre la propria agenda agli altri… Ah, no, scusa: quelli non sono cuccioli, sono troll!

[Ancona1]

Se mi stai dando del troll mi dovresti bannare

[gugo82]

[xdom="gugo82"]

"Ancona":Se mi stai dando del troll mi dovresti bannare

Dalle mie parti dicono: Nun sfruculia’ ‘a mazzarella ‘e San Giuseppe! [/xdom]

[Ancona1]

a mazzarella ‘e San Giuseppe!

di SG sono le frittelle mica le mozzarelle

[gugo82]

[ot]A parte il fatto che da noi si fanno le zeppole a San Giuseppe (non le frittelle), i cambi di vocale sono un buon gioco enigmistico ma aiutano poco quando si tratta di scrivere su un forum. [/ot]