Bruzzanboy

.::Fik!::.

User info:

Registered: Feb 2003
Posts: 389 (0.05 al dì)
Location: Milano_Bruzzancity Beach
Corso: Digital_Comunication!
Anno: Terzo uhuh!
Time Online: 2 Days, 4:30:14 [...]
Status: Offline

Post actions:

Buongiorno amisci!
approfitto di questo spazio per porvi qualche domandina che mi è sorta mentre ripassavo...

per oggi le domande riguardano i modelli:

quando c'è un doppio se allora come si deve svolgere? come due se allora invertiti in sequenza?

poi...

A ^ B --> C in che ordine lo svolgo? prima l'and o prima il se allora?


bene, direi che per oggi basta così, ciauciau

__________________
http://www.myspace.com/bruzzband
va che spacchiamo i culicchi!

Voodoo

.grande:maestro.

User info:

Registered: Jan 2004
Posts: 1009 (0.13 al dì)
Location: Pisa
Corso: com. dig.
Anno: dottore :)
Time Online: 6 Days, 23:28:00: [...]
Status: Offline

Post actions:

Originally posted by Bruzzanboy
Buongiorno amisci!
approfitto di questo spazio per porvi qualche domandina che mi è sorta mentre ripassavo...
per oggi le domande riguardano i modelli:
quando c'è un doppio se allora come si deve svolgere? come due se allora invertiti in sequenza?
poi...
A ^ B --> C in che ordine lo svolgo? prima l'and o prima il se allora?
bene, direi che per oggi basta così, ciauciau

__________________
GET DROPBOX
# il grado di lentezza è direttamente proporzionale all'intensità della memoria;il grado di velocità è direttamente proporzionale all'intensità dell'oblio (Kundera) #
BLOG: Byte Strike
ChRiS

Bruzzanboy

.::Fik!::.

User info:

Registered: Feb 2003
Posts: 389 (0.05 al dì)
Location: Milano_Bruzzancity Beach
Corso: Digital_Comunication!
Anno: Terzo uhuh!
Time Online: 2 Days, 4:30:14 [...]
Status: Offline

Post actions:

amplio il concetto:

su alcuni esercizi che ho scaricato, c'è una freccia a 2 punte <--> che non so cosa significhi, io ho pensato così:

a <--> b = a --> b , b --> a

però on sono sicuro dato che l'ho immaginato io... il modello chiudeva lo stesso

__________________
http://www.myspace.com/bruzzband
va che spacchiamo i culicchi!

Voodoo

.grande:maestro.

User info:

Registered: Jan 2004
Posts: 1009 (0.13 al dì)
Location: Pisa
Corso: com. dig.
Anno: dottore :)
Time Online: 6 Days, 23:28:00: [...]
Status: Offline

Post actions:

La doppia implicazione è più o meno come l'hai immaginata tu:

a <--> b = (a --> b) ^ (b --> a) ma c'è l'AND in mezzo.

__________________
GET DROPBOX
# il grado di lentezza è direttamente proporzionale all'intensità della memoria;il grado di velocità è direttamente proporzionale all'intensità dell'oblio (Kundera) #
BLOG: Byte Strike
ChRiS

Bruzzanboy

.::Fik!::.

User info:

Registered: Feb 2003
Posts: 389 (0.05 al dì)
Location: Milano_Bruzzancity Beach
Corso: Digital_Comunication!
Anno: Terzo uhuh!
Time Online: 2 Days, 4:30:14 [...]
Status: Offline

Post actions:

ah, ok, grassie mille

ma scusa una cosa, quindi devo svolgere prima l'and fra le parentesi vero?

__________________
http://www.myspace.com/bruzzband
va che spacchiamo i culicchi!

Voodoo

.grande:maestro.

User info:

Registered: Jan 2004
Posts: 1009 (0.13 al dì)
Location: Pisa
Corso: com. dig.
Anno: dottore :)
Time Online: 6 Days, 23:28:00: [...]
Status: Offline

Post actions:

Se parliamo di tavole di verità,prima fai a-->b poi fai b-->a e infine l'AND fra i due.

__________________
GET DROPBOX
# il grado di lentezza è direttamente proporzionale all'intensità della memoria;il grado di velocità è direttamente proporzionale all'intensità dell'oblio (Kundera) #
BLOG: Byte Strike
ChRiS

Bruzzanboy

.::Fik!::.

User info:

Registered: Feb 2003
Posts: 389 (0.05 al dì)
Location: Milano_Bruzzancity Beach
Corso: Digital_Comunication!
Anno: Terzo uhuh!
Time Online: 2 Days, 4:30:14 [...]
Status: Offline

Post actions:

ah...
e se invece parliamo di modelli? sai quelli con le formule pacco...

__________________
http://www.myspace.com/bruzzband
va che spacchiamo i culicchi!

Voodoo

.grande:maestro.

User info:

Registered: Jan 2004
Posts: 1009 (0.13 al dì)
Location: Pisa
Corso: com. dig.
Anno: dottore :)
Time Online: 6 Days, 23:28:00: [...]
Status: Offline

Post actions:

Nei contromodelli ci sono altre regole da tenere in mente,e non si fanno tavole di verità...l'implica viene trasformato:

1) se hai not(A-->B) diventa A ^ notB
2) se hai A-->B diventa notA v B
e poi ci sono le leggi di DeMorgan..questo perchè si deve arrivare alla forma normale negativa.

__________________
GET DROPBOX
# il grado di lentezza è direttamente proporzionale all'intensità della memoria;il grado di velocità è direttamente proporzionale all'intensità dell'oblio (Kundera) #
BLOG: Byte Strike
ChRiS

ToBlEr:OnE

.arcimaestro.

User info:

Registered: Apr 2003
Posts: 264 (0.03 al dì)
Location: Cusano M. (MI)
Corso: Comunicatio Digitalis
Anno: TRE(sh)
Time Online: 1 Day, 23:07:14 [...]
Status: Offline

Post actions:

Voodoo, sei stato gentilissimo. Anch'io sono alle prese con il bruzz per questo delirio inutile. Ewwiwa!

__________________
Blow[mono/CASUAL]*lab®

http://www.tobler.tk

shiffola

dsy core staff

User info:

Registered: Jan 2004
Posts: 916 (0.12 al dì)
Location: milano
Corso: ticom
Anno: 1
Time Online: 13 Days, 17:25:44 [...]
Status: Offline

Post actions:

RICERCA CONTROMODELLO della formula A
1) considero notA
2) trasformo notA in forma normale negativa
3) costruisco il tableux
4) se il tableux ammette ALMENO UN ramo che NON chiude riesco a scrivere un modello per notA e quindi una struttura in cui A è falsa


RICERCA DIMOSTRAZIONE di A
1) considero notA
2) trasformo notA in forma normale negativa
3) costruisco il tableux
4) se il tableux CHIUDE significa che A è dimostrabile

Bruzzanboy

.::Fik!::.

User info:

Registered: Feb 2003
Posts: 389 (0.05 al dì)
Location: Milano_Bruzzancity Beach
Corso: Digital_Comunication!
Anno: Terzo uhuh!
Time Online: 2 Days, 4:30:14 [...]
Status: Offline

Post actions:

uh!
dunque...
siete dei grandi ma mi tocca pressarvi ancora con le domandine perchè io ho veramente un pacco di dubbi

ma sei io stò facendo il contromodello di A... perchè considero not A? cioè, io di solito agivo così:

a) leggo il testo dell'esercizio
b) costruisco il tableaux (in realtà non conosco il termine ahahah, però credo che sia lo svolgimento dell'esercizio giusto?)
c) se il tableaux chiude signica che è dimostrabile

dunque, se A è dimostrabile basta che segno gli ax e dico è dimostrabile giusto? se non è dimostrabile niente?


poi... passiamo alle dimostrazioni...

sono quelle con perogni ed esiste giusto? (non ridere prr! :p)
anche qui vedo che va considerato il notA... cosa significa considerare il notA?

__________________
http://www.myspace.com/bruzzband
va che spacchiamo i culicchi!

Bruzzanboy

.::Fik!::.

User info:

Registered: Feb 2003
Posts: 389 (0.05 al dì)
Location: Milano_Bruzzancity Beach
Corso: Digital_Comunication!
Anno: Terzo uhuh!
Time Online: 2 Days, 4:30:14 [...]
Status: Offline

Post actions:

azz, adesso che ci penso VoDoo non ho capito molto bene la tua spiegazione sul not a, io per i contromodelli mi basavo sulle regoline d'inferenza che ci sono nelle dispense... tipo:
se ho

not(a-->b) =>

diventa

=> (a-->b)

e poi

a => b

e io poi lo finivo qui, va fatto altro?

mi sa che ho più problemi con sta materia di quelli che pensavo :p
e pensare che non ho ancora pensato a semantica...

__________________
http://www.myspace.com/bruzzband
va che spacchiamo i culicchi!

Voodoo

.grande:maestro.

User info:

Registered: Jan 2004
Posts: 1009 (0.13 al dì)
Location: Pisa
Corso: com. dig.
Anno: dottore :)
Time Online: 6 Days, 23:28:00: [...]
Status: Offline

Post actions:

Originally posted by Bruzzanboy
azz, adesso che ci penso VoDoo non ho capito molto bene la tua spiegazione sul not a, io per i contromodelli mi basavo sulle regoline d'inferenza che ci sono nelle dispense... tipo:
se ho
not(a-->b) => diventa => (a-->b)
e poi a => b e io poi lo finivo qui, va fatto altro?
mi sa che ho più problemi con sta materia di quelli che pensavo :p
e pensare che non ho ancora pensato a semantica...

not(a-->b) => diventa => a ^ notB così diventa,non come dici tu. Puoi provare anche con le tavole di verità,vedrai che sono logicamente equivalenti(escono uguali).
Considero notA perchè se mi risulta vera,conseguentemente A mi risulta falsa. Ora il perchè la forma normale negativa sia stata inventata,se come necessità filologica o come schiribizzo di Chomsky,Russel & Co io non lo so,o non lo ricordo .
Tu fai così

__________________
GET DROPBOX
# il grado di lentezza è direttamente proporzionale all'intensità della memoria;il grado di velocità è direttamente proporzionale all'intensità dell'oblio (Kundera) #
BLOG: Byte Strike
ChRiS

Bruzzanboy

.::Fik!::.

User info:

Registered: Feb 2003
Posts: 389 (0.05 al dì)
Location: Milano_Bruzzancity Beach
Corso: Digital_Comunication!
Anno: Terzo uhuh!
Time Online: 2 Days, 4:30:14 [...]
Status: Offline

Post actions:

facciamo così...

se io ti do un esercizio, non è che mi fai vedere come lo fai?
perchè io non riesco proprio a capire, o dall'anno scorso è cambiato qualcosa o non ho proprio capito una mazza...

però alla fine gli esercizi mi vengono

dunque, mo cerco un esercizio...

ecco, questo qui chè l'ho fatto ieri e pensavo fosse giusto!

=> (p --> q) <--> (notq --> notp)

io l'ho risolto in 5 passaggi ma a sto punto mi sa che avrò sbagliato qualcosa di sicuro

__________________
http://www.myspace.com/bruzzband
va che spacchiamo i culicchi!

Voodoo

.grande:maestro.

User info:

Registered: Jan 2004
Posts: 1009 (0.13 al dì)
Location: Pisa
Corso: com. dig.
Anno: dottore :)
Time Online: 6 Days, 23:28:00: [...]
Status: Offline

Post actions:

Originally posted by Bruzzanboy
facciamo così...

se io ti do un esercizio, non è che mi fai vedere come lo fai?
perchè io non riesco proprio a capire, o dall'anno scorso è cambiato qualcosa o non ho proprio capito una mazza...

però alla fine gli esercizi mi vengono

dunque, mo cerco un esercizio...

ecco, questo qui chè l'ho fatto ieri e pensavo fosse giusto!

=> (p --> q) <--> (notq --> notp)

io l'ho risolto in 5 passaggi ma a sto punto mi sa che avrò sbagliato qualcosa di sicuro

Il simbolo => sta per i sequenti?? GUarda,a lezione mi pare non siano neppure stati nominati!!Io mi son basato solo sugli appunti presi,e la dispensa nn l'ho manco letta..mi confondeva le idee più che altro. Ma l'esercizio qui praticamente quale sarebbe? Devi spiegarmi tu

__________________
GET DROPBOX
# il grado di lentezza è direttamente proporzionale all'intensità della memoria;il grado di velocità è direttamente proporzionale all'intensità dell'oblio (Kundera) #
BLOG: Byte Strike
ChRiS