Diferenças entre edições de "Lógica proposicional"

2 bytes adicionados ,  15h33min de 25 de agosto de 2013
m
 
Finalmente nós definimos uma "relação de consequência sintática" tal que φ é consequência sintática de ''<math>\Gamma \!</math>'' se e somente se nós podemos derivar com as regras de inferência que foram apresentadas acima em um número finito de passos. Isso nos permite formular exatamente o que quer dizer para um conjunto de regras de inferência ser correto e completo:
 
;'''[[Correção lógica]]''' : Se o conjunto de fbfs ''<math>\Gamma \!</math>'' tem como consequência sintática a fbf φ, então ''<math>\Gamma \!</math>'' tem como consequência semântica φ.
 
;'''[[Completude lógica]]''' : Se o conjunto de fbfs ''<math>\Gamma \!</math>'' tem como consequência semântica a fbf φ então ''<math>\Gamma \!</math>'' tem como consequência sintática φ.
Para o conjunto de regras acimas este é, então, o caso.
317

edições