Formale Logik

Midd Formale Logig (a simbolischi Logig odda korz Logig) 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.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.

 Gugschd a uff 
 Informale Logig

 Vawais 

Sachgrubb:Logik