Proposizione logica equivalente (equiveridica)

[garnak.olegovitc1]

Salve a tutti,
ho la seguente proposizione logica:

$(A ^^ B) -> C$

mi domandavo che connettivo dovrei mettere tra $A$ e $B$, affinchè sia equiveridica, se la scrivo nel modo seguente:

$C harr (A ? B)$

Ovviamente sempre se è possibile..
Ringrazio anticipatamente.
Cordiali saluti

[gundamrx91-votailprof]

Garnak, ma una proposizione è equiveridica ad un'altra quando hanno la stessa tavola di verità?

[garnak.olegovitc1]

Salve GundamRX91,

"GundamRX91":Garnak, ma una proposizione è equiveridica ad un'altra quando hanno la stessa tavola di verità?

bhè si.

Cordiali saluti

[gundamrx91-votailprof]

Non riesco a trovare qualche proposizione equivalente.... mannaggia!!!!
Tu sei arrivato a qualche risultato?

[Rggb1]

'Equiveridica'? Mai sentito. Dove l'hai trovato?

Comunque se le due formule devono essere logicamente equivalenti non si può fare, non esiste un connettivo simile.

Del resto basta provare: dalla tabella di verità della prima formula ottieni l'ipotesi che tale (ipotetico, appunto) connettivo $star$ debba rendere la formula $A star B$ sia vera sia falsa per gli stessi valori di $A$ e $B$, il che è impossibile.

[garnak.olegovitc1]

Salve Rggb,

"Rggb":'Equiveridica'? Mai sentito. Dove l'hai trovato?

Comunque se le due formule devono essere logicamente equivalenti non si può fare, non esiste un connettivo simile.

Del resto basta provare: dalla tabella di verità della prima formula ottieni l'ipotesi che tale (ipotetico, appunto) connettivo $star$ debba rendere la formula $A star B$ sia vera sia falsa per gli stessi valori di $A$ e $B$, il che è impossibile.

grazie mille...

Cordiali saluti