Sylogizm warunkowy

Sylogizm warunkowy, sylogizm hipotetyczny – wspólna nazwa trzech blisko powiązanych praw logiki, konkretniej klasycznego rachunku zdań Szablon:Odn:

\begin{matrix} (1) [(p \to q) \land (q \to r)] \to (p \to r) \\ (2) (p \to q) \to [(q \to r) \to (p \to r)] \\ (3) (p \to q) \to [(r \to p) \to (r \to q)] \end{matrix}

Różni autorzy nazywają te prawa w różny sposób:

Marian Kowalewski, Wojciech Patryas i Zintegrowana Platforma Edukacyjna nazywają (1) sylogizmem hipotetycznymSzablon:Odn Szablon:Odn^[1];
Andrzej Grzegorczyk nazywa (2) sylogizmem warunkowym stoikówSzablon:Odn;
Józef Bremer nazywa (1) koniunkcyjnym sylogizmem hipotetycznym, a (2) krótko sylogizmem hipotetycznymSzablon:Odn;
Antoni Smoluk nazywa (1) sylogizmem warunkowym, a (2) nazywa inną postacią tego samego prawaSzablon:Odn;
Encyklopedia PWN nazywa regułę (2) sylogizmem hipotetycznym^[2];
reguła (1) bywa też nazywana przechodniością (tranzytywnością) implikacji^[3]^[4]^[1].