• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Modus ponens

    Przeczytaj także...
    Modus tollendo ponens (łac. sposób potwierdzający przez zaprzeczenie) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego.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} .
    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.
  • Prawa klasycznego rachunku zdań oraz schemat wnioskowania modus ponendo ponens
  • Zwłaszcza w terminologii obcojęzycznej reguły odrywania
  • Zobacz też[ | edytuj kod]

  • modus tollendo ponens
  • modus ponendo tollens
  • modus tollendo tollens
  • 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.004 sek.