Cтраница 4
Конъюнкция атомарных предложений ( здесь и всюду ниже можно также говорить и о выражающих предложения фо рмулах, что далее специально не оговаривается), содержащая для каждого предиката Р и каждого упорядоч. [46]
Подразрядная конъюнкция операндов Подразрядная. [47]
Конъюнкция посылок Abe и Aab, а именно KAbcAab, служит антецедентом формулы, заключение Аас - ее консеквентом. [48]
Конъюнкция любого числа дизтермов называется конъюнктивной нормальной формой. [49]
Конъюнкция бескванторных предложений вывода II ( V) выполнима, так как в противном случае было бы невыполнимо А ( С), а мы предположили, что это не так. [50]
Дли-ной конъюнкции называется число входящих в нее различных переменных. [51]
Конъюнкцию на множестве А определим как минимум двух чисел, а дизъюнкцию - как максимум. [52]
Конъюнкцией Р двух высказываний А и В называется логическая операция, соответствующая союзу И, истинная тогда и только тогда, когда истинны оба простые высказывания А и В. [53]
Конъюнкцией высказываний Л и В называется высказывание, которое истинно тогда и только тогда, когда истинны и А, к В. Конъюкцию обозначают так: А А В. [54]
Некоторая конъюнкция а ( из построенных) должна быть совместимой как с предложением р, так и с ] ф, поскольку в противном случае мы имели бы - а - ф или ( - а - - - ] ф для всех таких о и логика высказываний позволила бы заключить, что предложение ф является некоторой конечной дизъюнкцией ( точнее, эквивалентно ей) таких предложений ст, так что утверждение ( ii) оказалось бы верным. [55]
Такие конъюнкции всех переменных формулы называются элементарными конъюнкциями. [56]