Es handelt sich um ein System des natürlichen Schliessens, das auf Genzen zurückgeht. Die vorliegende Fassung ist eine Systematisierung der Regeln von E.J. Lemmon, Beginning Logic, Sunbury-on-Thames, Nelson's University Paperpacks, 1965. AussagenlogikBildungsregeln.pdf (application/pdf, 73.51 KB)
|