Предположим A-> D и B-> D. Должен A B-> D?

Пусть R (ABCD) - отношение...

C. Предположим, что A⟶D и B⟶D. Должен ли AB? D?

D. Предположим, что AB⟶D. Должен A⟶D?

Я понимаю, что D неверен, потому что AB⟶D не обязательно означает A⟶D и B⟶D, но меня путают тогда для C. Если мы разъясняем, что на самом деле A⟶D и B⟶D истинны, то это безопасно сказать, AB? D?

1 ответ

Если A⟶D, то AX⟶D. Где X означает что-то. Тот факт, что A⟶D достаточно. Сказав это, вы можете сделать вывод, что даже если X⟶D, AX⟶D все еще действует. Поэтому на ваш первый вопрос отвечает: да.

Если AB⟶D, то минимальным требованием для определения D является пара AB. Если это минимально, то A не удовлетворяет требованию, поскольку оно меньше минимального требования. Это означает, что A⟶D нельзя предположить из AB⟶D. Поэтому ответ на ваш второй вопрос: нет.

licensed under cc by-sa 3.0 with attribution.