att ur en sanning kunna härleda ,beräkna