l
  • Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia

  • Prowadzimy badanie na temat nowotworów.
    Potrzebna jest nam pomoc.




    Prosimy o wypełnienie
    anonimowego kwestionariusza

    Zajmie to ok. 10 - 15 minut.


    TAK - pomagam            NIE - odmawiam (zamknij)

    Zebrane informacje wykorzystane zostaną do celów naukowych.
    Temat nie został wyczerpany?
    Zapraszamy na Forum Naukowy.pl
    Jeśli posiadasz konto w serwisie Facebook rejestracja jest praktycznie automatyczna.
    Wystarczy kilka kliknięć.

    Modus ponendo ponens

    Przeczytaj także...
    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 dwolonym niepustym i skończonym zbiorem formuł zdaniowych, a B formułą zdaniową. Elementy zbioru X nazywamy schematami przesłanek, a formułę zdaniową B schematem wniosku.Rachunek zdań – dział logiki matematycznej badający związki między zmiennymi zdaniowymi (zdaniami) lub funkcjami zdaniowymi, utworzonymi za pomocą funktorów zdaniotwórczych (spójników zdaniowych) ze zdań lub prostszych funkcji zdaniowych. Rachunek zdań określa sposoby stosowania funktorów zdaniotwórczych w poprawnym wnioskowaniu.
    Reguła odrywania – oparta na prawie rachunku zdań modus ponens reguła przekształcania jednych formuł zdaniowych w inne formuły zdaniowe przyjmowana na gruncie rachunku zdań. W pierwotnej formie sformułowana w logice stoików. Część autorów termin „reguła odrywania” rozumie szerzej, mianowicie regułę odrywania dla równoważności o analogicznej do reguły odrywania (dla implikacji) postaci.

    Modus ponendo ponens (łac. sposób potwierdzający przez potwierdzenie) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego.

    Tautologia rachunku zdań mówi, że jeśli uznajemy prawdziwość poprzednika prawdziwej implikacji, to musimy uznać też prawdziwość jej następnika: [(p \Rightarrow q) \land p] \Rightarrow q\,\!

    Analogiczny schemat wnioskowania dedukcyjnego ma postać:

    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.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).

    Istnieje także reguła dedukcyjna o analogicznej strukturze, zwana regułą odrywania.




    w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Czy wiesz że...? beta

    Pojęcie z zakresu logicznego rachunku zdań. Poprzednik to zdanie występujące w implikacji po słowie "jeżeli", oznaczany zwykle symbolem "p". W przykładzie "Jeżeli pada deszcz to na niebie są chmury" poprzednikiem jest zdanie "pada deszcz".
    Łacina, język łaciński (łac. lingua Latina, Latinus sermo) – język indoeuropejski z podgrupy latynofaliskiej języków italskich, wywodzący się z Lacjum (łac. Latium), krainy w starożytnej Italii, na północnym skraju której znajduje się Rzym.

    Reklama

    tt