Pracujemy nad przywróceniem aplikacji Unionpedia w Google Play Store
TowarzyskiPrzybywający
🌟Uprościliśmy nasz projekt, aby ułatwić nawigację!
Instagram Facebook X LinkedIn
Twoja własna Unionpedia z Twoim logo i domeną, od 9,99 USD/miesiąc
Utwórz mój Unionpedia

Modus ponens

Indeks Modus ponens

*Prawa klasycznego rachunku zdań oraz schemat wnioskowania modus ponendo ponens.

Spis treści

  1. 5 kontakty: Modus ponendo ponens, Modus ponendo tollens, Modus tollendo ponens, Modus tollens, Reguła odrywania.

Modus ponendo ponens

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

Zobaczyć Modus ponens i Modus ponendo ponens

Modus ponendo tollens

Modus ponendo tollens (sposób zaprzeczający przez potwierdzenie) – 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 Analogiczny schemat wnioskowania dedukcyjnego ma postać |Jeżeli: bądź p bądź q, |- |i p.

Zobaczyć Modus ponens i Modus ponendo tollens

Modus tollendo ponens

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

Zobaczyć Modus ponens i Modus tollendo ponens

Modus tollens

Modus tollens (– sposób zaprzeczający przy pomocy zaprzeczenia) – wnioskowanie logiczne, reguła logiki mówiąca, że jeśli zaakceptujemy, że z X wynika Y oraz że Y jest fałszywe, to musimy zaakceptować też fałszywość X.

Zobaczyć Modus ponens i Modus tollens

Reguła odrywania

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

Zobaczyć Modus ponens i Reguła odrywania