• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Modus tollendo 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.
    Modus tollens (łac. modus tollendo tollens, sposób zaprzeczający przy pomocy zaprzeczenia) – wnioskowanie logiczne, reguła logiki mówiąca, że jeśli zaakceptujemy, że z X {displaystyle X} wynika Y {displaystyle Y} oraz że Y {displaystyle Y} jest fałszywe, to musimy zaakceptować też fałszywość X {displaystyle X} .

    Modus tollendo ponens (sposób potwierdzający przez zaprzeczenie) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego.

    Tautologia rachunku zdań mówi, że jeśli uznajemy alternatywę i fałszywość jednego z jej członów, musimy uznać prawdziwość drugiego członu:

    Analogiczny schemat wnioskowania dedukcyjnego ma postać:

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

    Zobacz też[ | edytuj kod]

  • reguła odrywania
  • prawa rachunku zdań
  • modus ponendo ponens
  • modus ponendo tollens
  • modus tollendo tollens




  • Warto wiedzieć że... beta

    Modus ponendo tollens (łac. sposób zaprzeczający przez potwierdzenie) – Jest to tautologia rachunku zdań mówiąca o właściwościach dysjunkcji – na podstawie prawdziwości jednego ze zdań składowych prawdziwej dysjunkcji można orzekać o fałszywości drugiego.
    Modus ponendo ponens (łac. sposób potwierdzający przez potwierdzenie) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego.

    Reklama

    Czas generowania strony: 0.997 sek.