Relazione di equivalenza

[Anto0071]

Salve, non so se sto scrivendo nel gruppo giusto. Mi aiutereste a capire come trovare l'equivalente di: $ x!= 0rArr [xy>= 1AA yin A] $
È un esercizio avanzato proposto sulla piattaforma del mio libro, ma non ho trovato spiegazioni in merito. Se avete materiale che posso visionare ve ne sarei grata. Grazie

[axpgn]

Un'implicazione $A => B$ è equivalente a $not A vv B$

[Anto0071]

La soluzione sarebbe quindi: $ [EE yin A: xy< 1]rArr x= 0 $ , è corretto?

[axpgn]

Questa $not A vv B$ non è un'implicazione

[Anto0071]

$ x=0vv [xy>= 1AA yin A] $

[axpgn]

Sì

[Anto0071]

Evvai!!! Grazie davvero tante per l'aiuto!!! Spulciando in rete ho reperito le proprietà dell'implicazione logica e materiale. Sul mio libro non c'erano proprio... ancora grazie

[axpgn]

Ma che libro è? Cosa studi?

[Anto0071]

Analisi matematica 1, Joel Hass. Come ho scritto nel primo messaggio, era un esercizio avanzato proposto sulla piattaforma MyLab e siccome non riesco ad andare avanti senza capire, ho chiesto aiuto

[axpgn]

Di solito, basi di logica si trovano nei capitoli introduttivi, soprattutto di Algebra, Matematica Discreta e simili.