Share to: share facebook share twitter share wa share telegram print page

 

Konkluzja

W każdym rozumowaniu odnaleźć można następujące elementy: racja i następstwo, przesłanka i konkluzja (wniosek).

Zdanie „A” jest racją zdania „B”, zaś zdanie „B” jest następstwem zdania „A”, wtedy, gdy prawdziwość zdania „A” jest gwarancją prawdziwości zdania „B”.

Zdanie stanowiące podstawę do uznania (wyprowadzenia) innego zdania nazywa się przesłanką rozumowania, a zdanie uznane (wyprowadzone) na podstawie przesłanki rozumowania nazywa się konkluzją (wnioskiem) rozumowania (wyprowadzania).

Układ przynajmniej dwóch zdań powiązanych ze sobą jako przesłanki i konkluzje, racje i następstwa nazywany jest rozumowaniem w sensie logicznym. inaczej: wniosek w konsekwencji

Symbol konkluzji

Symbolem konkluzji jest ∴ i stawia się go bezpośrednio przed wnioskiem. Przykład użycia w modus ponendo ponens[1]:

Przypisy

  1. Marcin Sydow, Discrete Mathematics Rules of Inference and Mathematical Proofs [online], s. 16 [dostęp 2023-03-11] (ang.).

Bibliografia

  • Tadeusz Kwiatkowski: Logika ogólna.
Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia

Kembali kehalaman sebelumnya