• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Schemat wnioskowania

    Przeczytaj także...
    Formuła logiczna to określenie dozwolonego wyrażenia w wielu systemach logicznych, m.in. w rachunku kwantyfikatorów oraz w rachunku zdań.Reguła (dyrektywa) dedukcyjna, także reguła (dyrektywa) inferencyjna, reguła (dyrektywa) dowodzenia - właściwa dla danego systemu dedukcyjnego reguła pozwalająca uznawać zdania o określonej strukturze na podstawie zdań już uprzednio uznanych. Stanowi strukturalną regułę wnioskowania dedukcyjnego.
    Zmienna zdaniowa – bezargumentowy symbol w rachunku zdań. Zmiennym zdaniowym, w procesie zwanym wartościowaniem, przyporządkowywane są wartości prawda lub fałsz.

    Schemat wnioskowania, schemat inferencyjny - układ wyrażeń powstający z wnioskowania przez zastąpienie w nim przesłanek i wniosku zmiennymi zdaniowymi. Schemat wnioskowania można zdefiniować ściślej jako parę uporządkowaną o postaci <X, B>, gdzie X jest dowolnym niepustym i skończonym zbiorem formuł zdaniowych, a B formułą zdaniową. Elementy zbioru X nazywamy schematami przesłanek, a formułę zdaniową B schematem wniosku.

    Tautologia (wywodzi się od greckich słów ταυτος – ten sam i λογος – mowa) – wyrażenie, które jest prawdziwe na mocy swojej formy – budowy (dokładniej: które jest prawdziwe w każdej niepustej dziedzinie; zdanie zawsze prawdziwe). W logicznym znaczeniu zostało użyte po raz pierwszy przez Ludwika Wittgensteina (Tractatus logico-philosophicus 1922).Stała logiczna – obok zmiennych i ewentualnie znaków interpunkcyjnych jeden z typów wyrażeń słownika teorii logicznej.

    Każdy schemat wnioskowania jest więc parą o postaci <{A1, A2, ..., Ak}, B>. W praktyce schematy wnioskowania zapisuje się w postaci

    lub

    Główne rodzaje schematów wnioskowań[ | edytuj kod]

    Schematy wnioskowania dzielą się na grupy odpowiadające rodzajom wnioskowań - np. schematy wnioskowania dedukcyjnego, schematy wnioskowania indukcyjnego.

    Niezawodny schemat wnioskowania to taki schemat wnioskowania, że każdy układ wartości zmiennych spełniający każdą jego przesłankę spełnia także jego wniosek - czyli taki schemat wnioskowania, w którym od prawdziwych przesłanek dojść można wyłącznie do prawdziwego wniosku.

    Schemat wnioskowania, w którym nie występują żadne inne stałe niż stałe logiczne, to formalny schemat wnioskowania.

    Schematy wnioskowania a twierdzenia logiczne[ | edytuj kod]

    Schemat wnioskowania jest układem kilku odrębnych zdań, podczas gdy twierdzenia logiczne jest jednym zdaniem utworzonym ze zdań prostszych przy pomocy spójników. Schemat wnioskowania można przekształcić w twierdzenie logiczne łącząc przesłanki ze sobą spójnikiem koniunkcji, a przesłanki z wnioskiem spójnikiem implikacji.

    Jedynie niezawodne schematy wnioskowania przekształcić można w tautologie.

    Schematy wnioskowania a reguły wnioskowania[ | edytuj kod]

    Schemat wnioskowania stosowane są jako sposoby zapisu reguł wnioskowania (reguł dedukcyjnych). Zapis nad kreską czyta się wtedy: "jeśli uznaje się za prawdziwe zdania o takiej a takiej budowie", zapis pod kreską czyta się wtedy: "to wolno uznać za prawdziwe zdania o takiej a takiej budowie".





    Reklama

    Czas generowania strony: 0.63 sek.