તર્ક બીજગણિત મુખ્ય ગુણધર્મો