https://www.google.com/search?q=formal+logic&sca_esv=f5ecc2377e9d3f6e&ei=A8UvaLr8Lp6gseMPxc646Qs&ved=0ahUKEwj6idO_rriNAxUeUGwGHUUnLr0Q4dUDCBE&uact=5&oq=formal+logic&gs_lp=Egxnd3Mtd2l6LXNlcnAiDGZvcm1hbCBsb2dpYzILEAAYgAQYkQIYigUyBRAAGIAEMgUQABiABDIFEAAYgAQyBRAAGIAEMgUQABiABDIFEAAYgAQyBRAAGIAEMgUQABiABDIFEAAYgARI-BdQswFYwxVwAXgBkAEAmAGQBKABnRCqAQczLTIuMi4xuAEDyAEA-AEBmAIGoAKzEMICChAAGLADGNYEGEfCAg0QABiwAxjWBBhHGMkDwgIOEAAYgAQYsAMYkgMYigXCAg0QABiABBiwAxhDGIoFwgILEAAYgAQYsQMYyQPCAgsQABiABBiSAxiKBcICCxAAGIAEGLEDGIMBwgIIEAAYgAQYsQPCAhEQABiABBiRAhixAxiDARiKBZgDAIgGAZAGCpIHBzEuMy0yLjOgB9casgcFMy0yLjO4B68QwgcFMC40LjLIBxQ&sclient=gws-wiz-serp&safe=active&ssui=on