Sylogizm warunkowy, sylogizm hipotetyczny – wspólna nazwa trzech blisko powiązanych praw logiki, konkretniej klasycznego rachunku zdań:
Różni autorzy nazywają te prawa w różny sposób: Marian Kowalewski, Wojciech Patryas i Zintegrowana Platforma Edukacyjna nazywają (1) sylogizmem hipotetycznym Tomasz Mazur, Kurs logiki: lekcja 29. (...), Zintegrowana Platforma Edukacyjna – Ministerstwo Edukacji Narodowej, zpe.gov.pl [dostęp 2024-11-28].; Andrzej Grzegorczyk nazywa (2) sylogizmem warunkowym stoików; Józef Bremer nazywa (1) koniunkcyjnym sylogizmem hipotetycznym, a (2) krótko sylogizmem hipotetycznym; Antoni Smoluk nazywa (1) sylogizmem warunkowym, a (2) nazywa inną postacią tego samego prawa; Encyklopedia PWN nazywa regułę (2) sylogizmem hipotetycznym; reguła (1) bywa też nazywana przechodniością (tranzytywnością) implikacji Matematyka 1NI. Elementy logiki i teorii zbiorów, Brain-Wiki, Wydział Fizyki Uniwersytetu Warszawskiego, brain.fuw.edu.pl [dostęp 2024-11-26]. Implikacja semantyczna, Przewodnik językowo-encyklopedyczny po gramatyce semantycznej języka polskiego w ujęciu historycznym, Instytut Języka Polskiego Polskiej Akademii Nauk, gramsem.ijp.pan.pl [dostęp 2024-11-26]..
Przypisy
Bibliografia
Kategoria:Prawa rachunku zdań