Modern Logic And Its Symbolic Language In Bible