Günlük dil esnektir, şairanedir ama bazen tehlikeli derecede belirsizdir. Bir tartışmada "ama", "veya" ya da "ise" kelimelerini kullanırken herkes farklı bir anlam yükleyebilir. Sembolik Mantık, bu karmaşayı bitirmek için dili matematiksel sembollere döker. Düşünceleri denklemlere dönüştürerek...