Областью истинности предиката, представляющего собой импликацию двух предикатов P(x) и Q(x) (где P(x) - посылка, а Q(x) - заключение, т.е. P(x)→Q(x)) является множество, равное
- дополнению области истинности предиката P ( x )
- объединению областей истинности предикатов P ( x ) и Q ( x )
- объединению области истинности предиката Q ( x ) и дополнения области истинности предиката P ( x )
- пересечению областей истинности предикатов P ( x ) и Q ( x )
Для просмотра статистики ответов нужно
залогиниться.