.dsy:it.
Show 150 posts per page

.dsy:it. (http://www.dsy.it/forum/)
- Filosofia del linguaggio (http://www.dsy.it/forum/forumdisplay.php?forumid=78)
-- [domanda] se e solo se (http://www.dsy.it/forum/showthread.php?threadid=16013)


Posted by No?Ya! on 19-12-2004 14:14:

[domanda] se e solo se

scusatemi il dubbio dell'ultimo momento...

come ci si comporta di fronte al connettivo "se e solo se" ( <---> ) , nel caso faccia esercizi di ricerca di dimostrazioni e/o contromodelli ???


GRazi!

:) :-D :D :-o

__________________
http://www.noya.it
--------
Delta9 Drum&Bass Crew
--------
Associazione Orange


Posted by No?Ya! on 19-12-2004 14:20:

risposta...

mi autorispondo:

A <--> B == (A->B) ^ (B->A)


beh... se qualcun'altro non lo sapeva ecco la risposta...

sono un po' come Gigi Marzullo

:pazzo: :arg: :arg: :pazzo:

__________________
http://www.noya.it
--------
Delta9 Drum&Bass Crew
--------
Associazione Orange


Posted by Lunik on 19-12-2004 14:22:

:clap: :clap:

:D

__________________
Il DSY su Facebook!!!


Posted by Randall on 19-12-2004 15:32:

Io mi sono ricavato le regoline anche per il connettivo <--> a sinistra e a destra del sequente, anche se dubito di poterlo usare durante il compito.

Ciao
Ste

__________________
Dare una laurea in psicologia a me
è come dare una laurea in legge a Berlusconi
--------------------------Roberto Benigni-----


Posted by joker402 on 19-12-2004 18:23:

Originally posted by Randall
Io mi sono ricavato le regoline anche per il connettivo <--> a sinistra e a destra del sequente, anche se dubito di poterlo usare durante il compito.

Ciao
Ste
idem, ma non è difficile da ricordare...

Se A<->B è a destra del sequente ci saranno due rami: A,...=>B,... e B,...=>A,...
Se è a sinistra i due rami saranno A,B,...=>... e ...=>A,B,...

(i puntini sono le parti che vanno ricopiate uguali)
:)

__________________
Ogni uomo mente, ma dategli una maschera e sarà sincero.
~ joker402 ~


Posted by Randall on 19-12-2004 19:18:

Originally posted by joker402
idem, ma non è difficile da ricordare...

Se A<->B è a destra del sequente ci saranno due rami: A,...=>B,... e B,...=>A,...
Se è a sinistra i due rami saranno A,B,...=>... e ...=>A,B,...

(i puntini sono le parti che vanno ricopiate uguali)
:)

Esatto.
Però non credo che siano regole ammesse nel calcolo di un sequente.

Ciao
ste

__________________
Dare una laurea in psicologia a me
è come dare una laurea in legge a Berlusconi
--------------------------Roberto Benigni-----


Posted by angelko on 19-12-2004 19:30:

Originally posted by Randall
Esatto.
Però non credo che siano regole ammesse nel calcolo di un sequente.

Ciao
ste


come no?
io le ho sempre usate... dici che ogni volta si deve trasformarlo in a-->b E b-->a ??

__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"


Posted by joker402 on 19-12-2004 20:20:

Ma si che saranno ammesse...
al massimo scrivo l'appunto di fianco nel compito, però se vede che uno se le è ricavate dovrebbe contarla come una cosa positiva, non penalizzare!!

__________________
Ogni uomo mente, ma dategli una maschera e sarà sincero.
~ joker402 ~


Posted by Flavia on 20-12-2004 08:47:

Originally posted by Randall
Esatto.
Però non credo che siano regole ammesse nel calcolo di un sequente.

Ciao
ste


Certo!!!!Io le uso sempre!

__________________
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.

:date:


Posted by Randall on 20-12-2004 09:19:

Originally posted by Flavia
Certo!!!!Io le uso sempre!

Be', a casa anch'io le ho usate, ma magari al compito preferisce vedere svilupato il <-->.
Boh, oggi lo scopriremo.

Ciao
ste

__________________
Dare una laurea in psicologia a me
è come dare una laurea in legge a Berlusconi
--------------------------Roberto Benigni-----


Posted by Flavia on 20-12-2004 09:35:

Originally posted by Randall
Be', a casa anch'io le ho usate, ma magari al compito preferisce vedere svilupato il <-->.
Boh, oggi lo scopriremo.

Ciao
ste

Mah!Magari è meglio così, perchè le fai capire che hai capito come costruire le regole!!

__________________
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.

:date:


Posted by UZI on 20-12-2004 09:49:

mah se capita le faccio tipo una nota a margine col ragionamento mentale tipo " se A<-->B è vera, allora due rami: A,B => ... oppure ...=> A,B"
sviluppare incasina lo svolgimento non poco

__________________
those who test will find a bullet in they chest
put ta rest
by a brotha who was hopeless
grow up broke on tha rope of insanity
how many pistols smoking coming from a broken family


Posted by Randall on 20-12-2004 10:31:

Originally posted by UZI
mah se capita le faccio tipo una nota a margine col ragionamento mentale tipo " se A<-->B è vera, allora due rami: A,B => ... oppure ...=> A,B"
sviluppare incasina lo svolgimento non poco

Vero, perché alla fine ti ritrovi due implica da smontare e viene fuori un casino.

Ciao
Ste

__________________
Dare una laurea in psicologia a me
è come dare una laurea in legge a Berlusconi
--------------------------Roberto Benigni-----


All times are GMT. The time now is 20:32.
Show all 13 posts from this thread on one page

Powered by: vBulletin Version 2.3.1
Copyright © Jelsoft Enterprises Limited 2000 - 2002.