• As regras de substituição acima podem ser utilizadas nas demonstrações de
validade de argumentos.
• Nota sobre a diferença de aplicação entre as 10 regras de inferência e as 10
equivalências notáveis:
As 10 regras de inferência somente podem ser aplicadas sobre as linhas
completas de uma demonstração ou dedução;
As 10 equivalências notáveis podem ser aplicadas tanto a linhas completas
quanto a partes de linhas completas, de acordo com a regra de substituição.
12
• As regras de substituição acima podem ser utilizadas nas demonstrações de
validade de argumentos.
• Nota sobre a diferença de aplicação entre as 10 regras de inferência e as 10
equivalências notáveis:
As 10 regras de inferência somente podem ser aplicadas sobre as linhas
completas de uma demonstração ou dedução;
As 10 equivalências notáveis podem ser aplicadas tanto a linhas completas
quanto a partes de linhas completas, de acordo com a regra de substituição.
13
• Proposições consistentes:
Duas ou mais proposições são consistentes caso possam ser
simultaneamente verdadeiras;
• Argumentos consistentes:
Um argumento é consistente quando as suas premissas podem ser
simultaneamente verdadeiras (consistentes).
18
• Note que as três proposições acima são inconsistentes pois não existem
valores de p, q e r que tornem simultaneamente verdadeiras as três
proposições.
• Pode ser verificado na tabela-verdade acima que, para cada uma das três
colunas correspondentes às proposições, sempre existe pelo menos um valor
F em cada linha, os quais estão marcados na cor vermelha.
19