Sulle dimostrazioni

[ladepie]

devo dimostrare che p --> q...
se non q implica non p è vera allora posso dire con certezza che p --> q è vera?

devo andare a dim che:

sse (b,r)=1 allora (bq+r,b)=1
in entrambe le implicazioni sono arrivato a dire che se la non-tesi era falsa allora lo era anche la non-ipotesi...quindi dalle tavole di verità di ha che l'implicazione è vera...

[Lord K]

Mi sa che c'è qualche imprecisione nella tua esposizione, in ogni caso riassumo così:

[tex]P \Rightarrow Q \Leftrightarrow \neg P \vee Q \Leftrightarrow \neg \neg Q \vee \neg P \Leftrightarrow \neg Q \Rightarrow \neg P[/tex].

[ladepie]

si quello che volevo chiedere era che se p implica q allora lo stesso valore di verità lo ha non-q implica non-p

[Lord K]

Allora la risposta è sì e la dimostrazione è nel post precedente