.dsy:it. - se e solo se

Calendar

Members

Faq

Logout

.dsy:it. : Powered by vBulletin version 2.3.1

.dsy:it. > Didattica > Corsi G - M > Logica matematica > se e solo se

Last Thread Next Thread

Author

Thread Expand all | Contract all

gionavisi

.amico.

User info:

Registered: Nov 2009
Posts: 35 (0.01 al dì)
Location: pizzighettone
Corso: informatica
Anno: 2
Time Online: 3:48:50 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

se e solo se

qualcuno sa dirmi come si trasforma in forma normale il se e solo se??

<-->

19-09-2011 15:51

Click here to Send gionavisi a Private Message

gionavisi

.amico.

User info:

Registered: Nov 2009
Posts: 35 (0.01 al dì)
Location: pizzighettone
Corso: informatica
Anno: 2
Time Online: 3:48:50 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

se ho A <--> B lo posso scrivere come A --> B and B-->A ?

19-09-2011 16:04

Rocky

.arcimaestro.

User info:

Registered: Dec 2009
Posts: 337 (0.06 al dì)
Location:
Corso:
Anno:
Time Online: 6 Days, 0:17:10 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Dalla dispensa del prof. Ghilardi:

A↔B
sta per
(A → B) ∧ (B → A):
il connettivo
↔
si chiama `bi-implicazione' o
`equivalenza materiale'. Si potrebbero in realtà eliminare altri connettivi dalla lista
dei connettivi primitivi e introdurli come abbreviazioni, la scelta che abbiamo fatto
non è minimale in questo senso.

20-09-2011 01:34

Click here to Send Rocky a Private Message

gionavisi

.amico.

User info:

Registered: Nov 2009
Posts: 35 (0.01 al dì)
Location: pizzighettone
Corso: informatica
Anno: 2
Time Online: 3:48:50 [...]
Status: Offline