Ri-ciao,
siccome la mia domanda tra le molte è l'unica rimasta senza risposta
, spinto da una discussione volevo porvare a riupparla perché mi interessa molto.
Noi sappiamo che :
$AAa,b,[ (aRb => bRa) and ( (aRb and bRa) => a=b) ] => (aRb => a=b)$
si può scrivere per fare la tabella come:
$[ (X => Y) and ( (X and Y) => Z) ] => (X => Z)$
"rinominando opportunamente le parti" come dice Martino
Vorrei solo chiedere una mano sul "come rendere" in tavola di verità:
$AA a,b,{[(AA a,AA b, (phi(a,b)=0 => a=0 or b=0)) and (AA y,( phi(x,y)=0))] => x=0}$
Testo nascosto, fai click qui per vederlo
Sapendo che: $((P => Q or R)and S) => V$- Sostituendo a phi(a,b)=0 -> P e a=0 ->Q ecc.
E' ovviamente errato.
(link per fare velocemente le tavole):
https://web.stanford.edu/class/cs103/to ... able-tool/Qualcuneo dotato di molta pazienza potrebbe aiutarmi a capire.