{"product_id":"forallx","title":"forallx","description":"\u003cp\u003eThis introduction to formal logic covers truth functional (i.e., propositional) logic and introduces first-order logic. The content of truth functional logic is explained, and then truth tables and natural deduction are used for investigating validity. The content of first-order logic and the quantifier rules are given in the final section of the book.\u003c\/p\u003e","brand":"Gregory Johnson","offers":[{"title":"Paperback","offer_id":44930086011041,"sku":"9781716848377","price":28.7,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0462\/1120\/3233\/files\/4emmmj-front-shortedge-384.jpg?v=1747756567","url":"https:\/\/bookswholesale.myshopify.com\/products\/forallx","provider":"BooksWholesale","version":"1.0","type":"link"}