Bocardo
Em lógica modo válido da terceira figura que se reduz a Barbara pelo absurdo: Algum M não é P; ora, todo M é S; logo, algum S não é P.
Em lógica modo válido da terceira figura que se reduz a Barbara pelo absurdo: Algum M não é P; ora, todo M é S; logo, algum S não é P.