Szukana fraza: [Temat i słowa kluczowe = rachunek zdań] lub [Temat i słowa kluczowe = logika matematyczna] lub [Temat i słowa kluczowe = wnioskowanie logiczne] lub [Temat i słowa kluczowe = Modus Ponens] lub [Temat i słowa kluczowe = Modus Tollens] lub [Tytuł = Inference rules and decision rules] lub [Autor = Pawlak, Zdzisław]