Introdução O presente trabalho a qual é realizado no âmbito da disciplina de filosofia, foi-me proposto o seguinte tema: logica proposicional. A logica proposicional diferente da logica silogística, preocupa-se com símbolos apresenta proposições em forma simbólica para evitar ambiguidade. Primeiramente apresentarei os as noções básicas para trabalhar com a inferência proposicional que são símbolos que usaremos na nossa trajectória no estudo da logica proposicional. De seguida apresentarei os tipos de proposições, pois isso será muito imperiosos quando trabalhar com as tabelas de verdade, através do qual vamos ter valor logico de cada proposição e confortar os valores de cada e obter valor logico de todas proposições em si. Depois falarei das tabelas de verdade, que são tabelas que nos colocamos as operações lógicas que se realizam com as conectivas são apresentadas sob a forma de tabelas de verdade, onde é possível combinar todos os valores de verdade possíveis das propos
Acompanhamento académico