Datei:Ableitungsbaum natürliches Schließen.png
Größe dieser Vorschau: 500 × 766 Pixel. Weitere Auflösung: 660 × 1.011 Pixel.
Originaldatei (660 × 1.011 Pixel, Dateigröße: 31 KB, MIME-Typ: image/png)
Der fachliche Begriff für solch eine grafische Darstellung eines Beweises im natürlichen Schließen lautet „Beweisbaum“ bzw. „Ableitungsbaum“ (im Englischen „proof tree“ oder „derivation tree“).
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
| Version vom | Vorschaubild | Maße | Benutzer | Kommentar | |
|---|---|---|---|---|---|
| aktuell | 10:48, 13. Jul. 2025 | | 660 × 1.011 (31 KB) | Nikolaos (Diskussion | Beiträge) |
Du kannst diese Datei nicht überschreiben.
Dateiverwendung
Die folgende Seite verwendet diese Datei:
