Estudante

Lógica matemática
Não existe uma definição exata para lógica, mas alguns matemáticos a definem como “o estudo dos processos válidos que atingem a verdade”, ou simplesmente “a ciência das leis do pensamento”.

|1 História |
|2 Lógica Proposicional |
|2.1 Proposições |
|2.2 Proposições compostas |
|2.2.1 Precedência de operadores |
|2.2.2 Tabela Verdade |
|2.2.3 Conectivos lógicos |
|2.2.4 Conector de Negação (~) |
|2.2.5 Conector e (Λ) |
|2.2.6 Conector ou (V) |
|2.2.7 Conector condicional (→) |
|2.2.8 Conector bi-condicional (↔) |
|2.2.9 Ou exclusivo (V) |
|2.2.10 Negação Conjunta e Negação Disjunta |
|2.2.11 Tautologia, Contradição e Contingência |
|2.2.12 Implicação lógica ou Inferência |
|2.2.13 Equivalência lógica |
|2.2.14 Condições necessárias e suficientes