File:Arvore variaveis livres e ligadas.JPG
Jump to navigation
Jump to search
No higher resolution available.
Arvore_variaveis_livres_e_ligadas.JPG (433 × 417 pixels, file size: 18 KB, MIME type: image/jpeg)
Captions
Captions
Add a one-line explanation of what this file represents
Summary[edit]
| Description |
Português: Uma arvore de uma formula de logica classica de primeira ordem English: Syntax tree of the first-order formula (∀x.P(x) ∧ Q(x)) → (¬P(x) ∨ Q(x)), showing bound ("Ligada") and free ("Livre") occurrences of variables |
| Date | |
| Source | feito por mim |
| Author | Haroldo Watson |
| Permission (Reusing this file) |
livre para copiar a vontade. Não sou ciumento :) |
Licensing[edit]
|
This work has been released into the public domain by its author, I, Nostaw. This applies worldwide. In some countries this may not be legally possible; if so: I, Nostaw grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 14:14, 16 June 2007 | | 433 × 417 (18 KB) | Nostaw~commonswiki (talk | contribs) | {{Information |Description= Uma arvore de uma formula de logica classica de primeira ordem |Source= feito por mim |Date= 16 de junho de 2006 |Author= Haroldo Watson |Permission= livre para copiar a vontade. Não sou ciumento :) |other_versions= }} |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.
