Folien Vorlesung 21.10.13 - Institut für Computerlinguistik
Folien Vorlesung 21.10.13 - Institut für Computerlinguistik
Folien Vorlesung 21.10.13 - Institut für Computerlinguistik
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Was ist Logik?<br />
• Logik ist ... die Lehre<br />
» vom formal korrekten Schließen<br />
Unter welchen Bedingungen kann von einer als wahr<br />
vorausgesetzten Aussage auf die Wahrheit anderer Aussagen<br />
geschlossen werden?<br />
Dr. Michael Herweg, Einführung in die Logik, Univ. Heidelberg<br />
Was ist Logik?<br />
• Logik ist ... die Lehre<br />
» vom formal korrekten Schließen<br />
Unter welchen Bedingungen kann von einer als wahr<br />
vorausgesetzten Aussage auf die Wahrheit anderer Aussagen<br />
geschlossen werden?<br />
Maria studiert <strong>Computerlinguistik</strong> und Elena studiert<br />
Kunstgeschichte.<br />
⇒ Maria studiert <strong>Computerlinguistik</strong>.<br />
⇒ Elena studiert Kunstgeschichte.<br />
Dr. Michael Herweg, Einführung in die Logik, Univ. Heidelberg<br />
5