Spis treści
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

