• 2022-05-28
    使用推论规则证明:P():
    A: 是人,Q
    B: ():x违反交通规则,R
    C: ():x被罚款。任何人如果违反交通规则,就要被罚款。总有些人违反了交通规则。因此,有些人被罚款。