[logica proposizionale] dimostrare che una formula è la deduzione sintattica di un'altra
Inviato: 31/08/2019, 14:28Buongiorno, 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:
$\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:
