На главную страницу
К полному списку слов на букву П |
||
Пропозициональная логика * Пропозициональная переменная * Пропозициональная связка * Пропозициональная форма * Пропозициональная формула * Пропозициональная функция * Пропозициональное исчисление * Пропозиция * Прополка * Прополочный культиватор * Пропонент * | ||
Пропозициональная логика,
- раздел математической логики, в котором изучаются сложные (составные) высказывания, образованные из простых с помощью логических связок "и", "или", "если..., то" и "неверно, что"
(конъюнкция, дизъюнкция, импликация и отрицание), а также истинностные взаимосвязи между высказываниями.
|
![]() | ![]() |
Пропозициональная переменная- переменная, значениями которой являются высказывания.♦ Пропозициона́льная переме́нная |
![]() | |
Пропозициональная связка- символ формализованного языка, используемый для обозначения логической операции, которая из данных высказываний образует более сложные высказывания. Важнейшими являются символы эквивалентности ≡, ↔ или ⇔, отрицания ¬, дизъюнкции ∨, конъюнкции & или ∧, импликации →, ⇒ или ⊃.♦ Пропозициона́льная свя́зка |
![]() | |
Пропозициональная форма- выражение, содержащее переменные, подставив вместо которых высказывания, можно получить новое высказывание.♦ Пропозициона́льная фо́рма |
![]() | |
Пропозициональная формула- символическая запись высказывания, составленная из пропозициональных переменных с помощью пропозициональных связок.♦ Пропозициона́льная фо́рмула |
![]() | |
Пропозициональная функция- функция в виде выражения с неопределёнными терминами (переменными), которое при задании конкретных значений этих терминов преобразуется в истинное или ложное высказывание. Альтернативный термин - предикат. Например, выражение "х является простым числом" можно рассматривать как пропозициональную функцию. При задании числового значения x выражение превращается в высказывание.♦ Пропозициона́льная фу́нкция |
![]() | |
Пропозиция- утверждение, суждение, предложение (плана действий, способа решения проблемы, условий сотрудничества и т. д.).♦ Пропози́ция |
![]() | |
Прополка,
- устранение сорных растений в посевах и посадках сельскохозяйственных культур. Различают механическую (культиваторами, боронами и т. д.), химическую (гербицидами) и ручную прополку.
|
![]() | |
Прополочный культиватор- культиватор, предназначенный для прополки междурядий пропашных сельскохозяйственных культур.♦ Пропо́лочный культива́тор |
![]() | |
Пропонент- лицо, поддерживающее или защищающее кого-либо в дискуссии, диспуте, споре. Слова пропонент и оппонент являются антонимами.♦ Пропоне́нт |
![]() | |
Следующая страница Предыдущая страница | ||
|
||