Lógica matemàtica valoracions

A[ ¬f(x) ] = ¬A[f(x)]


A[ ( f(x) & g(y) ) ] = ( A[f(x)] & A[g(y)] )
A[ ( f(x) or g(y) ) ] = ( A[f(x)] or A[g(y)] )


A[ ( f(x) ==> g(y) ) ] = ( A[f(x)] ==> A[g(y)] )
A[ ( f(x) <== g(y) ) ] = ( A[f(x)] <== A[g(y)] )


A[ ( ( f(x) & g(y) ) ==> g(y) ) ] = 1
A[ ( f(x) <== ( f(x) & g(y) ) ] = 1


A[ ( g(y) ==> ( f(x) or g(y) ) ) ] = 1
A[ ( ( f(x) or g(y) ) <== f(x) ) ] = 1