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

ableitbarkeit

Ableitbarkeit

  
Metzler Lexikon Philosophie
Metzler Lexikon Philosophie

Ableitbarkeit

Im aussagenlogischen (oder junktorenlogischen) Kalkül des natürlichen Schließens ist aus einer Menge M von Urteilen eine Aussage B genau dann ableitbar, wenn es eine nichtleere und endliche Folge von Sätzen gibt, so dass: (1) jeder Satz dieser Folge durch Annahmeeinführung oder aber aus vorangehenden Sätzen durch eine der Regeln des aussagenlogischen Kalküls des natürlichen Schließens gewonnen worden ist, (2) das letzte Glied dieser Folge von Sätzen die Aussage B ist, und (3) B nur von solchen Annahmen abhängt, die Urteile aus M sind.

PP

LIT:

  • W. K. Essler/R. F. M. Cruzado: Grundzge der Logik I. Das logische Schlieen. Frankfurt 1991. S. 98 f.