Reguły: Orygenes, Kalif Omar
- Uniwersytet im. Adama Mickiewicza w Poznaniu
- Logika
Orygenes (Contra Celsum VII, 15): Jeśli wiesz, że umarłeś, to umarłeś. Jeśli wiesz, że umarłeś, to nie umarłeś. A zatem, nie wiesz, że umarłeś. O dedukcyjnym charakterze tego wnioskowania przekonujemy się wykazując, że jest ono oparte na regule niezawodnej, a mianowiecie: p → q, p → q → (p → q)...