命題記号への一様代入