Предикаты

Предложение, о котором нельзя сказать истинно оно или ложно.

При любой подстановке вместо предметных переменных любых конкретных предметов из множеств соответственно предикат превращается в истинное высказывание и называтся...

Операция, при который предикат превращается в истинное высказывание при всех тех и только тех значениях предметных переменных, при которых оба исходных предиката пре­вышаются в истинные высказывания.

Операция, при который предикат превращается в истинное высказывание при всех тех и только тех значениях пред­метных переменных, при которых исходное высказывание превращается в ложное высказывание.

Правило, по которому каждому одноместному преди­кату, определенному на множестве, сопоставляется высказывание, которое истинно в том н только в том случае, когда предикат тождественно исти­нен, и ложно в противном случае.

Правило, по которому каждому одноместному пре­дикату, определенному на множестве, ставится в соответ­ствие высказывание, кото­рое ложно в том и только в том случае, когда предикат тождественно ложен, и истинно в противном случае.

Формула логики предикатов на множестве при подстановке вместо предикатных переменных конкретных преди­катов, заданных на этом множестве, превращается в выпол­нимый предикат и называется...

Формула логики предикатов на множестве при подстановке вместо предикатных переменных любых конкретных предикатов, заданных на этом множестве, пре­вращается в тождественно истинный предикат и называется...

Формула логики предикатов при подстановке вместо предикатных пе­ременных любых конкретных предикатов, заданных на каких угодно множествах, превращается в тождественно истинный предикат и называется...

Операция, при который предикат превращается в истинное высказывание при всех тех и только тех значениях предметных переменных, при которых в истинное вы­сказывание превращается по меньшей мере один из исходных предикатов.