pravidlo logické
- pravidlo, podľa ktorého sa uskutočňujú logické operácie, napr. odvodzovacie pravidlo.