Question

a que regras de inferência o silogismo deve obedecer

Answer 1

Depende do tipo de silogismo.

Se for o silogismo disjuntivo a regra é essa:

{C,p} {C' , ¬p}
--------------------
{C, C'}

Se uma disjunção é verdadeira e uma das proposições componentes se revela falsa, então a outra proposição é necessariamente verdadeira.

Se for o Silogismo hipotético a regra é essa:

P --> Q,Q ---> R |-- P --> R

Em outras palavras, se o primeiro implica o outro e o outro implica o terceiro, então o primeiro implica o terceiro, de acordo com a propriedade da transitividade da implicação.