Princípio da não contradição: “Uma proposição não pode ser verdadeira e falsa ao mesmo tempo.” • Princípio do terceiro excluído: “Toda proposição ou é verdadeira ou é falsa, ou seja, verifica-se sempre um destes casos e nunca um terceiro.”
Assim, a lógica é o ramo da filosofia que cuida das regras do bem pensar, ou do pensar correto, sendo, portanto, um instrumento do pensar.
Diz-se que uma proposição é composta (ou molecular) se esta é uma combinação de duas ou mais proposições simples.
Diz-se que uma proposição é simples (ou atômica ou primitiva) se esta não possui nenhuma proposição como parte integrante de si mesma.
Vale a pena lembrar de uma das mais famosas frases do precursor da lógica – Aristóteles: “Nós somos aquilo que fazemos repetidas vezes, repetidamente. A excelência, portanto não é um modo de agir, mas sim um hábito”.
Uma proposição é uma afirmação passível de assumir valor lógico verdadeiro ou falso.
Usa-se também o modificador “não”, indicado pelo símbolo ¬, para produzir a negação de uma proposição. Proposições A e B podem ser combinadas na forma “se A, então B” – ou A implica B –, indicada por A → B, em que o conectivo → é o condicional ou implicação.
