Lógica/Cálculo Proposicional Clássico/Consequência Semântica: diferenças entre revisões
[revisão pendente] | [revisão pendente] |
Conteúdo apagado Conteúdo adicionado
Sem resumo de edição |
m "implicar", neste caso, é transitivo direto. |
||
Linha 108:
:<math>\Gamma \vDash \alpha \to \beta\,\!</math> se, e somente se, <math>\Gamma \cup \left\{\alpha\right\}\vDash \beta\,\!</math>
:Ou seja, um conjunto <math>\Gamma\,\!</math> de fórmulas tem como consequência semântica a fórmula <math>\alpha \to \beta\,\!</math>, se, e somente se, <math>\Gamma\,\!</math> acrescido de <math>\alpha \,\!</math> implica tautologicamente
:No caso em que <math>\Gamma = \varnothing\,\!</math>, segue que:
Linha 920:
=====Comutação dos condicionais=====
:A implica
:Logo, B implica
:Exemplo:
Linha 963:
=====Contraposição imprópria=====
:A implica
:Logo, não A implica
:Exemplo:
|