Wyrok jest jedną z form myślenia, bez której nie może nastąpić poznanie. Wyroki wyrażają związek przedmiotu i cechy, potwierdzają lub zaprzeczają istnieniu tej cechy w danej rzeczy. W rzeczywistości jest to myśl, jej forma, która mówi nam o połączeniu obiektów, i dlatego wyrok zajmuje szczególne miejsce w logika i budowa łańcuchów analitycznych.
Charakterystyka wyrokówZanim przejdziemy do klasyfikacji sądów w logice, musimy znaleźć wyraźne rozróżnienie między sądem a koncepcją.
Koncepcja - mówi o obecności przedmiotu. Pojęcie to "dzień", "noc", "poranek" itp. A sąd zawsze opisuje obecność lub brak cech - "Wcześnie rano", "Zimny dzień", "Cicha noc".
Orzeczenia zawsze wyrażane są w formie zdań narracyjnych, zresztą wcześniej w gramatyce istota zdań została nazwana sądem. Zdanie, które wyraża wyrok, nazywa się znakiem, a samo znaczenie zdania kłamać lub prawdę. Oznacza to, że zarówno w prostych, jak i złożonych wyrokach śledzona jest jasna logika: propozycja odmawia lub potwierdza obecność cechy charakterystycznej obiektu.
Na przykład możemy powiedzieć, że "wszystkie planety Układu Słonecznego krążą wokół swoich osi" i możemy powiedzieć, że "żadna planeta Układu Słonecznego nie jest nieruchoma".
W logice istnieją dwa rodzaje osądów - prosty i złożony.
Proste sądy, podzielone na części, nie mogą być logicznym znaczeniem, zawierają osąd tylko w nierozerwalnej całości. Na przykład: "Matematyka jest królową nauk". To proste zdanie wyraża jedną propozycję: złożone typy wyroków w Logika to kilka różnych myśli, które składają się z kombinacji prostych, prostych + złożonych lub zestawu złożonych wyroków.
Na przykład: jeśli jutro będzie padało, nie wyjdziemy z miasta.
Główną cechą złożonego osądu jest to, że jedna z jego części ma inne znaczenie i odrębnie od drugiej części zdania.
Złożone oceny i ich typyW logice złożone wyroki składają się z kombinacji prostych wyroków. Są one połączone łańcuchami logicznymi - spójnikami, implikacjami i równoważnością. W prostych słowach są to związki "i", "lub", "ale", "jeśli ... to".