8 kontakty: Modus ponendo ponens, Modus ponendo tollens, Modus tollens, Prawa rachunku zdań, Rachunek zdań, Reguła odrywania, Schemat wnioskowania, Tautologia (logika).
Modus ponendo ponens
Modus ponendo ponens (sposób potwierdzający przez potwierdzenie) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego.
Nowy!!: Modus tollendo ponens i Modus ponendo ponens · Zobacz więcej »
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. |- | |- |Zatem: nieprawda, że q. | Kategoria:Zwroty łacińskie Kategoria:Prawa rachunku zdań.
Nowy!!: Modus tollendo ponens i Modus ponendo tollens · Zobacz więcej »
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.
Nowy!!: Modus tollendo ponens i Modus tollens · Zobacz więcej »
Prawa rachunku zdań
Bez opisu.
Nowy!!: Modus tollendo ponens i Prawa rachunku zdań · Zobacz więcej »
Rachunek zdań
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.
Nowy!!: Modus tollendo ponens i Rachunek zdań · Zobacz więcej »
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ń.
Nowy!!: Modus tollendo ponens i Reguła odrywania · Zobacz więcej »
Schemat wnioskowania
Schemat wnioskowania, schemat inferencyjny - układ wyrażeń powstający z wnioskowania przez zastąpienie w nim przesłanek i wniosku zmiennymi zdaniowymi.
Nowy!!: Modus tollendo ponens i Schemat wnioskowania · Zobacz więcej »
Tautologia (logika)
Tautologia (wywodzi się od greckich słów tautós „ten sam” i lógos „mowa”) – wyrażenie, które jest zawsze prawdziwe.
Nowy!!: Modus tollendo ponens i Tautologia (logika) · Zobacz więcej »