My mathlogics homework