TỰ ĐIỂN TỔNG HỢP
  • Tra từ
  • Các Từ điển khác
    Từ điển Hán Việt Trích Dấn Từ điển Hán Việt Thiều Chửu
    Từ điển Chữ Nôm Trích Dấn
    Đại Nam Quấc Âm Tự Vị Từ điển Hội Khai Trí Tiến Đức
    Phật Quang Đại Từ điển
  • Hướng dẫn
    Hướng dẫn
    Về Từ điển tổng hợp
  • Tài khoản
    Đăng nhập Đăng xuất Đăng ký
  • Quản lý
    Cấu hình tự điển Bảng thuật ngữ Nhập bảng thuật ngữ Xuất bảng thuật ngữ
ANY>>ANY

Đức

prädikatenlogik

Prädikatenlogik

  
Metzler Lexikon Philosophie
Metzler Lexikon Philosophie

Prädikatenlogik

Teil der formalen Logik. In der P. werden einfache Aussagen entsprechend dem sprachlichen Subjekt-Prädikat-Schema zerlegt und mit einem Quantor, dem Allquantor oder dem Existenzquantor, versehen. Die P. erster Stufe bezieht die Quantoren auf die Individuensymbole, in zweiter und höherer Stufe auf die Typen von Eigenschaften als mögliche Werte. Die P. entwickelt die Gesamtheit der wahrheitserhaltenden Schlüsse von Prämissen auf Behauptungen, soweit die dabei erwähnten Urteile junktoren- oder prädikatenlogisch analysierbar sind.

PP