alberi sintattici in logica??

[Pacciotti_X_racE]

Ciao a tutti!

Vorrei capire come risolvere un esercizio del genere:

Costruire l'albero sintattico della seguente fomula logica

( p --> ( q --> r )) --> (( p --> q ) --> ( p --> r ))


Ho cercato su google, ma non ho trovato nulla di utile per il mio problema!

Ringrazio enormemente il genio che mi dice come fare questo albero
stramaledetto! :-))

Ciaooo

[computer]

Post by Pacciotti_X_racE
Ciao a tutti!
Costruire l'albero sintattico della seguente fomula logica
( p --> ( q --> r )) --> (( p --> q ) --> ( p --> r ))
Ho cercato su google, ma non ho trovato nulla di utile per il mio problema!
Ringrazio enormemente il genio che mi dice come fare questo albero
stramaledetto! :-))

Genio? Ma non è difficile. Cerca in rete per "tableaux semantici",
possibilmente non andare su itappunti.net che è pieno di trojan e spywares.

[computer]

Post by computer

Post by Pacciotti_X_racE
Ciao a tutti!
Costruire l'albero sintattico della seguente fomula logica
( p --> ( q --> r )) --> (( p --> q ) --> ( p --> r ))
Ho cercato su google, ma non ho trovato nulla di utile per il mio problema!
Ringrazio enormemente il genio che mi dice come fare questo albero
stramaledetto! :-))

Genio? Ma non è difficile. Cerca in rete per "tableaux semantici",
possibilmente non andare su itappunti.net che è pieno di trojan e spywares.

Ah, scusa... avevi detto alberi sintattici. Stesso consiglio di prima ma con
"alberi sintattici".

[Pacciotti_X_racE]

Post by computer

Post by Pacciotti_X_racE
Ciao a tutti!
Costruire l'albero sintattico della seguente fomula logica
( p --> ( q --> r )) --> (( p --> q ) --> ( p --> r ))
Ho cercato su google, ma non ho trovato nulla di utile per il mio problema!
Ringrazio enormemente il genio che mi dice come fare questo albero
stramaledetto! :-))

Genio? Ma non � difficile. Cerca in rete per "tableaux semantici",
possibilmente non andare su itappunti.net che � pieno di trojan e
spywares.

Ah, scusa... avevi detto alberi sintattici. Stesso consiglio di prima ma
con "alberi sintattici".

...

ma ho cercato alberi sintattici, se hai detto che è facile non ho dubbi, ma
non so come fare, il "genio" era in tono ironico per aumentare l'autostima
di chi mi aiuta! scherzo! era una battuta

[Xelloss]

Post by Pacciotti_X_racE
Ciao a tutti!
Costruire l'albero sintattico della seguente fomula logica
( p --> ( q --> r )) --> (( p --> q ) --> ( p --> r ))
Ho cercato su google, ma non ho trovato nulla di utile per il mio problema!

Sai almeno cos'è un albero sintattico?
Ti è stata data la definizione induttiva dell'insieme delle FBF?
Da quella ricavi la corrispondente grammatica context-free e poi ti diverti
a parsare la formula data (anche a occhio: si può fare perché le parentesi
non sono disposte a caso...)

Saluti.
--
Xelloss