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

Messaggioda Davide7998 » 31/08/2019, 15:28

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:
Immagine
Davide7998
Starting Member
Starting Member
 
Messaggio: 13 di 13
Iscritto il: 18/07/2016, 18:39

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

Messaggioda Ancona » 03/09/2019, 13:40

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.
Ancona
Starting Member
Starting Member
 
Messaggio: 34 di 42
Iscritto il: 18/07/2019, 18:17

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

Messaggioda Martino » 03/09/2019, 19:45

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

Moderatore: Martino

Ognuno interviene nelle discussioni che ritiene.
Le persone che le persone che le persone amano amano amano.
Avatar utente
Martino
Moderatore globale
Moderatore globale
 
Messaggio: 7402 di 7435
Iscritto il: 21/07/2007, 11:48
Località: Brasilia

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

Messaggioda gugo82 » 15/09/2019, 00:19

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

:roll:
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)
Avatar utente
gugo82
Moderatore globale
Moderatore globale
 
Messaggio: 22348 di 22607
Iscritto il: 13/10/2007, 00:58
Località: Napoli

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

Messaggioda Ancona » 15/09/2019, 10:08

Se mi stai dando del troll mi dovresti bannare :smt023
Ancona
Starting Member
Starting Member
 
Messaggio: 41 di 42
Iscritto il: 18/07/2019, 18:17

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

Messaggioda gugo82 » 15/09/2019, 11:19

Moderatore: gugo82

Ancona ha scritto:Se mi stai dando del troll mi dovresti bannare :smt023

Dalle mie parti dicono: Nun sfruculia’ ‘a mazzarella ‘e San Giuseppe! :wink:
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)
Avatar utente
gugo82
Moderatore globale
Moderatore globale
 
Messaggio: 22350 di 22607
Iscritto il: 13/10/2007, 00:58
Località: Napoli

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

Messaggioda Ancona » 15/09/2019, 11:50

a mazzarella ‘e San Giuseppe!


di SG sono le frittelle mica le mozzarelle
Ancona
Starting Member
Starting Member
 
Messaggio: 42 di 42
Iscritto il: 18/07/2019, 18:17

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

Messaggioda gugo82 » 15/09/2019, 11:59

:roll:

Testo nascosto, perché contrassegnato dall'autore come fuori tema. Fai click in quest'area per vederlo.
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. :wink:
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)
Avatar utente
gugo82
Moderatore globale
Moderatore globale
 
Messaggio: 22354 di 22607
Iscritto il: 13/10/2007, 00:58
Località: Napoli


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 9 ospiti