Please enable JavaScript.

Coggle requires JavaScript to display documents.

Semânticas - Coggle Diagram

- - - - Dentro da semântica axiomática, axiomas são sentenças lógicas assumidas como verdadeiras e servem como ponto de partida para construir provas. As regras de inferência são métodos para inferir a verdade de uma asserção com base nos valores de outras asserções. A forma geral de uma regra de inferência pode ser expressa como:
      - S pode ser inferida. Aqui, a parte de cima é chamada de antecedente, e a parte de baixo, de consequente.
      - A semântica axiomática pode ser aplicada, por exemplo, na verificação da corretude de programas. Uma prova de programa normalmente envolve associar pré-condições e pós-condições a cada sentença do programa. Por exemplo, em uma sentença de atribuição como:
      - {x>10}. A verificação consiste em garantir que a pré-condição mais fraca possível ainda permita alcançar a pós-condição desejada .