m735

TutoreStellato

User info:

Registered: Oct 2003
Posts: 157 (0.02 al dì)
Location: Milano
Corso: tecnologia della comunicazione
Anno: 2
Time Online: 1 Day, 14:39:44 [...]
Status: Offline

Post actions:

L'ho svolto... in entrambe le interpretazioni.
Alla fine si dimostrano entrambe.

Solo che ho un piccolo dubbio sulla regola di interpretazione del PN e sull'astrazione della x, nella seconda interpretazione nell'applicare la regola (E--E+SNx) L'enunciato interno è giàconsiderato per ogni x...
spero di essermi spiegata, è difficile

__________________
Killer Coca-Cola

REBOC

www.nococacola.info

Flavia

Regina degli avatar

User info:

Registered: Sep 2002
Posts: 3228 (0.39 al dì)
Location: Bergamo
Corso: TI.COM
Anno: Finito! :D
Time Online: 25 Days, 9:12:10 [...]
Status: Offline

Post actions:

Originally posted by m735
L'ho svolto... in entrambe le interpretazioni.
Alla fine si dimostrano entrambe.

Solo che ho un piccolo dubbio sulla regola di interpretazione del PN e sull'astrazione della x, nella seconda interpretazione nell'applicare la regola (E--E+SNx) L'enunciato interno è giàconsiderato per ogni x...
spero di essermi spiegata, è difficile

Non possono essere dimostrate entrambe!!!!!
La prima interpretazione è:
1. A nessun marinaio piace nessuna ragazza bruna..ovvero, non esiste alcuna ragazza dai capelli bruni che piaccia a qualche marinaio!
2. Esiste una e un'unica ragazza bruna, sfigatissima, che non piace a nessun marinaio!

Con la prima intepretazione, sapendo inoltre che Lucia è una ragazza bruna, riesci a dimostrarlo (se Lucia è una ragazza bruna e nessuna ragazza bruna è l'oggetto del desiderio dei marinaretti..ovviamente a nessun marinaio piacerà Lucia!). Nel secondo caso non riesci a dimostrarlo, dal momneto che il fatto di sapere che Lucia è bruna, non ti permette di supporre che sia quell'UNICA ragazza bruna che non piace a nessun marinaio!!!

Quindi: nel primo caso, di dimostra che il ragionamento è corretto..nel secondo, con la dimostrazione nella logica del primo ordine, in un ramo non ti esce nessun assioma, e da ciò deriva un contromodello!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

m735

TutoreStellato

User info:

Registered: Oct 2003
Posts: 157 (0.02 al dì)
Location: Milano
Corso: tecnologia della comunicazione
Anno: 2
Time Online: 1 Day, 14:39:44 [...]
Status: Offline

Post actions:

Ok! allora ho sbagliato qualcosa!

__________________
Killer Coca-Cola

REBOC

www.nococacola.info

m735

TutoreStellato

User info:

Registered: Oct 2003
Posts: 157 (0.02 al dì)
Location: Milano
Corso: tecnologia della comunicazione
Anno: 2
Time Online: 1 Day, 14:39:44 [...]
Status: Offline

Post actions:

Qual è la regola per il predicato nominale?

__________________
Killer Coca-Cola

REBOC

www.nococacola.info

GinoPilotino

.grande:maestro.

User info:

Registered: Dec 2002
Posts: 1403 (0.17 al dì)
Location: Segrate
Corso: TI.COM
Anno: Secondo
Time Online: 13 Days, 8:59:42 [...]
Status: Offline

Post actions:

domanda riguardanti gli esercizi sui modelli, una volta sviluppate tutte le tavole di verità delle varie formule come bisogna procedere?

stesso discorso per quanto riguarda gli esercizi sulla conseguenza logica: ho una formula che è conseguenza logica di qualche altra formula (1 o più); in questo caso come risolvo il tutto?

lo so che possono sembrare domande banali ma sulle slide non ho trovato niente a riguardo.

m735

TutoreStellato

User info:

Registered: Oct 2003
Posts: 157 (0.02 al dì)
Location: Milano
Corso: tecnologia della comunicazione
Anno: 2
Time Online: 1 Day, 14:39:44 [...]
Status: Offline

Post actions:

Originally posted by GinoPilotino
domanda riguardanti gli esercizi sui modelli, una volta sviluppate tutte le tavole di verità delle varie formule come bisogna procedere?

stesso discorso per quanto riguarda gli esercizi sulla conseguenza logica: ho una formula che è conseguenza logica di qualche altra formula (1 o più); in questo caso come risolvo il tutto?

lo so che possono sembrare domande banali ma sulle slide non ho trovato niente a riguardo.

__________________
Killer Coca-Cola

REBOC

www.nococacola.info

GinoPilotino

.grande:maestro.

User info:

Registered: Dec 2002
Posts: 1403 (0.17 al dì)
Location: Segrate
Corso: TI.COM
Anno: Secondo
Time Online: 13 Days, 8:59:42 [...]
Status: Offline

Post actions:

no esatto. non sono riuscito a seguire tutte le lezioni del corso.
al momento sto provando a fare gli esercizi riguardanti i modelli e la conseguenza logica ma non riesco a capire come svolgerli.

ad esempio ho provato a guardare l'esercizio svolto da barone e postato nell'area filez e quello che non riesco a capire è come devo procedere una volta terminata la compilazione delle tavole di verità.

per quanto riguarda gli esercizi sulla conseguenza logica non so proprio cosa bisogna fare dal momento che non c'è scritto nulla sulle dispense. non penso siano difficili da risolvere, il problema è che proprio non so cosa devo fare!

vi prego heeeeeelp

Flavia

Regina degli avatar

User info:

Registered: Sep 2002
Posts: 3228 (0.39 al dì)
Location: Bergamo
Corso: TI.COM
Anno: Finito! :D
Time Online: 25 Days, 9:12:10 [...]
Status: Offline

Post actions:

Originally posted by GinoPilotino
no esatto. non sono riuscito a seguire tutte le lezioni del corso.
al momento sto provando a fare gli esercizi riguardanti i modelli e la conseguenza logica ma non riesco a capire come svolgerli.

ad esempio ho provato a guardare l'esercizio svolto da barone e postato nell'area filez e quello che non riesco a capire è come devo procedere una volta terminata la compilazione delle tavole di verità.

per quanto riguarda gli esercizi sulla conseguenza logica non so proprio cosa bisogna fare dal momento che non c'è scritto nulla sulle dispense. non penso siano difficili da risolvere, il problema è che proprio non so cosa devo fare!

vi prego heeeeeelp

Allora, devi procedere cosi:
1. Calcoli la tavole di verita di tutte le formule.
2. Confronti per quali interpretazioni tutte le formule da considerare hanno valore vero (cioe, per quale riga, tutte le formule in considerazione sono vere)
3. Se non esistono tali righe, non ci sono modelli. Se esistono, il modello e dato dall interpretazione degli atomi corrispondenti!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

GinoPilotino

.grande:maestro.

User info:

Registered: Dec 2002
Posts: 1403 (0.17 al dì)
Location: Segrate
Corso: TI.COM
Anno: Secondo
Time Online: 13 Days, 8:59:42 [...]
Status: Offline

Post actions:

Originally posted by Flavia
Allora, devi procedere cosi:
1. Calcoli la tavole di verita di tutte le formule.
2. Confronti per quali interpretazioni tutte le formule da considerare hanno valore vero (cioe, per quale riga, tutte le formule in considerazione sono vere)
3. Se non esistono tali righe, non ci sono modelli. Se esistono, il modello e dato dall interpretazione degli atomi corrispondenti!

grande flavia grazie!
domani durante la pausa hai da fare oppure vuoi aggiungerti al gruppo studio?

bau

.arcimaestro.

User info:

Registered: Dec 2002
Posts: 273 (0.03 al dì)
Location: somewhere over the rainbow
Corso: Informatica -magistrale-
Anno: 3...4?!
Time Online: 2 Days, 4:32:12 [...]
Status: Offline

Post actions:

mmm, flavia, qunado scrivi "qualsiasi x etc" significa che davanti alla x nono ci va nè l'esiste nè il per ogni???!

__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol

Flavia

Regina degli avatar

User info:

Registered: Sep 2002
Posts: 3228 (0.39 al dì)
Location: Bergamo
Corso: TI.COM
Anno: Finito! :D
Time Online: 25 Days, 9:12:10 [...]
Status: Offline

Post actions:

Per ogni=qualsiasi= A rovesciata!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

bau

.arcimaestro.

User info:

Registered: Dec 2002
Posts: 273 (0.03 al dì)
Location: somewhere over the rainbow
Corso: Informatica -magistrale-
Anno: 3...4?!
Time Online: 2 Days, 4:32:12 [...]
Status: Offline

Post actions:

ah,certo! grazie!

__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol

Alis

.grande:maestro.

User info:

Registered: Jun 2002
Posts: 862 (0.10 al dì)
Location: Corsico
Corso:
Anno:
Time Online: 10 Days, 16:32:12 [...]
Status: Offline

Post actions:

Come vi sono venuti gli esercizi che ha dato mercoledi scorso 17/11?

Flavia

Regina degli avatar

User info:

Registered: Sep 2002
Posts: 3228 (0.39 al dì)
Location: Bergamo
Corso: TI.COM
Anno: Finito! :D
Time Online: 25 Days, 9:12:10 [...]
Status: Offline

Post actions:

Originally posted by Alis
Come vi sono venuti gli esercizi che ha dato mercoledi scorso 17/11?

A me è uscito esattamente come mi aspettavo!
1. I due della Bucalo erano facilissimi ed erano immediatamente dimostrabili
2. Quelli di Ghilardi erano lunhi ma semplici! Nella prima interpretazione si poteva dimostrare, nella seconda bisgonava trovare il contromodello!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

Flavia

Regina degli avatar

User info:

Registered: Sep 2002
Posts: 3228 (0.39 al dì)
Location: Bergamo
Corso: TI.COM
Anno: Finito! :D
Time Online: 25 Days, 9:12:10 [...]
Status: Offline

Post actions:

Vi propongo un esempietto di come va risolto un esercizio sui modelli!L'ho inventato io ed è abbastanza semplice, ma serve per capire come giungere alle conclusioni!
ESEMPIO DI ESERCIZIO SUI MODELLI E TAVOLE DI VERITA'

Esempio: Calcolare se esistono modelli per le seguenti formule

(p --> q) ^ r ; p v (non) r

Passo 1: costruisco le tavole di verità delle due formule:
Scusate la mancanza di allineamento delle colonne!
p q r | p--> q | (p --> q) ^ r | (non)r | p v (non) r
|
T T T | T | T | F | T
T T F | T | F | T | T
T F T | F | F | F | T
T F F | F | F | T | T
F T T | T | T | F | F
F T F | T | F | T | T
F F T | T | T | F | F
F F F | T | F | T | T

Passo 2: controllo per quali righe entrambe le formule sono vere!

Questo accade nella riga 1 e basta, giusto?

Passo 3: Rilsalire alle interpretazioni delle formule atomiche corrispondenti!

La mia conclusione sarà: "Si, esiste un modello, ovvero un'interpretazione per cui le mie due formule sono vere. Tale interpretazione è per p=vera, q=vera e r=vera "(la prima riga)

Se la due formule fossero risultate entrambe vere solo all'ultima riga, la mia conclusione sarebbe stata che esiste un modello per p=falso, q=falso e r=falso!

Possono esserci anche più di una riga tale che le due formule siano vere: in questo caso avremo più possibili interpretazioni. Nella fattispecie, se avremo della formule che sono tutte tautologie (ovvero, tali che la loro colonna di valori di verità è tutta vera), avremo modelli per tutte le interpretazioni!

Se non ci fossero interpretazioni di p,q, r ....tali che le formule siano vere, non esistono modelli.

Esempio:
Calcolare se esiste un modello per le formule (p^q) ; (non)p ^q
p q p ^ q (non)p (non)p ^ q

T T T F F
T F F F F
F T F T T
F F F T F

In questo caso non esistono modelli.

Io l'ho intesa così!Se qualcuno ha da obiettare, che lo dica subito così mi regolo anche io!

Per l'esercizio analago che consiste nel cercare se una formula è conseguenza logica di altre formule, si procede nello stesso modo. Ad esempio, se ho le formule 1 2 e devo calcolare se 3 è conseguenza logica di 1 e 2, ragiono come sopra. Cerco le righe per cui 1 e 2 sono vere e vedo se per quella stessa riga(ovvero, se per quella stessa interpretazione) anche la formula 3 è vera!Se è così per tutte le righe tali che 1 e 2 siano vere contemporaneamente, allora 3 è conseguenza logica di 1 e 2!in parole povere!Se 3 è vera per tutti i modelli di 1 e 2!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

Last edited by Flavia on 23-11-2004 at 15:10