Parece-me que o "implica" no idioma inglês não significa a mesma coisa que o operador lógico "implica", de maneira semelhante como a palavra "OR" na maioria dos casos significa "OR exclusivo" em nosso uso cotidiano da linguagem. Vamos dar dois exemplos: Se hoje é segunda-feira, amanhã é...
Eu gostaria de saber se existe uma regra para provar isso. Por exemplo, se eu usar a lei distributiva, receberei apenas .( A ∨ A ) ∧ ( A ∨ ¬ B )(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg
Recentemente, eu estava pensando sobre a validade da prova por contradição. Eu li nos últimos dias coisas sobre lógica intuicionista e teoremas de Godel para ver se eles me dariam respostas para minhas perguntas. No momento, ainda tenho perguntas pendentes (talvez relacionadas ao novo material que...
Eu estava lendo a pergunta Consistência e integridade implicam solidez? e a primeira afirmação diz: Entendo que a solidez implica consistência. O que me deixou bastante intrigado porque pensei que a consistência era uma afirmação mais fraca que a consistência (ou seja, pensei que sistemas...