Modus ponendo ponens[1] (sposób potwierdzający przez potwierdzenie) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego.
Tautologia rachunku zdań mówi, że jeśli uznajemy prawdziwość poprzednika prawdziwej implikacji, to musimy uznać też prawdziwość jej następnika[2]:
Analogiczny schemat wnioskowania dedukcyjnego ma postać[2]:
Istnieje także reguła dedukcyjna o analogicznej strukturze, zwana regułą odrywania.
Uczę się języka hebrajskiego. Tutaj go sobie utrwalam.
Zawartość tej strony pochodzi stąd.