Zum Inhalt springen

Formale Logik

Vun Wikipedia
Dialegd: Schbaimarisch

Midd Formale Logik (a simbolischi Logik odda korz Logik) mändma ä Sischdem, wu sisch die Forme vun Aussache unn die Gildischkaid vun Ableidungs- unn Folscharungsreschle vun unn zwische denne Forme oguggd. Bai denne Logike gehds alla um die formalisierde Daschdellung vun Aussache unn Schlussfolscharunge.[1]

  1. P.D. Magnus (2005). Forall X: An Introduction to Formal Logic. Victoria, BC, Canada: State University of New York Oer Services. pp. 8–9. ISBN 978-1-64176-026-3.