Ficheiro:Simple kripke model.png
Saltar para a navegação
Saltar para a pesquisa
Sem resolução maior disponível.
Simple_kripke_model.png (276 × 206 píxeis, tamanho: 12 kB, tipo MIME: image/png)
Descrição do ficheiro
| Descrição |
English: The points w, v, and u are possible worlds. The arrow between w and v indicates that v is accessible from w. P and Q are atomic formulas. P is true at v and Q is true at u. As a result, Diamond P is true at w. |
| Data | |
| Origem | Obra do próprio |
| Autor | Botterweg14 |
Licenciamento
Eu, titular dos direitos de autor desta obra, publico-a com a seguinte licença:
A utilização deste ficheiro é regulada nos termos da licença Creative Commons Atribuição-CompartilhaIgual 4.0 Internacional.
- Pode:
- partilhar – copiar, distribuir e transmitir a obra
- recombinar – criar obras derivadas
- De acordo com as seguintes condições:
- atribuição – Tem de fazer a devida atribuição da autoria, fornecer uma hiperligação para a licença e indicar se foram feitas alterações. Pode fazê-lo de qualquer forma razoável, mas não de forma a sugerir que o licenciador o apoia ou subscreve o seu uso da obra.
- partilha nos termos da mesma licença – Se remisturar, transformar ou ampliar o conteúdo, tem de distribuir as suas contribuições com a mesma licença ou uma licença compatível com a original.
Histórico do ficheiro
Clique uma data e hora para ver o ficheiro tal como ele se encontrava nessa altura.
| Data e hora | Miniatura | Dimensões | Utilizador | Comentário | |
|---|---|---|---|---|---|
| atual | 18h16min de 7 de julho de 2020 | | 276 × 206 (12 kB) | wikimediacommons>Botterweg | Uploaded own work with UploadWizard |
Utilização local do ficheiro
A seguinte página usa este ficheiro:
