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.

Zobacz też

Przypisy

  1. modus ponendo ponens, [w:] Encyklopedia PWN [dostęp 2023-03-11].
  2. a b Marcin Sydow, Discrete Mathematics Rules of Inference and Mathematical Proofs [online], s. 16 [dostęp 2023-03-11] (ang.).

Bibliografia

  • Stefan Hugtenburg, Delftse Foundations of Computation, 2nd Edition, Minneapolis, MN 2018, ISBN 978-94-6366-598-8, OCLC 1345677665 [dostęp 2023-03-04] (ang.).

Witaj

Uczę się języka hebrajskiego. Tutaj go sobie utrwalam.

Źródło

Zawartość tej strony pochodzi stąd.

Odsyłacze

Generator Margonem

Podziel się