Proposições: é uma proposta onde o conteúdo pode ser verdadeiro ou falso.
Valores lógicos: é o valor de uma proposição, onde ela pode ser “V” ou “F”.
Conectivos: é um símbolo utilizado em duas ou mais sentenças.
Tabela verdade: é uma tabela matemática lógica, serve para determinar se uma sentença é válida.
Tautologia: quando a mesma coisa é falada por diferentes termos.
Equivalência: são proposições que apresentam a mesma tabela verdade, ou seja, possuem os mesmos valores lógicos de uma forma diferente.
Negação: é a inversão de uma proposição verdadeira.
Argumento: um argumento é válido quando sua conclusão é uma consequência de suas premissas, independente se as premissas são falsas ou não.
Ex.: todos os homens são pássaros/ nenhum pássaro é animal/ portanto, nenhum homem é animal à argumento verdadeiro.
Bicondicional: é a proposição “se somente se”, ou seja, se uma sentença for verdadeira, a outra também será, assim como as sentenças falsas. Símbolo: ↔ .
Conjunção: a conjunção “e” é representada pelo símbolo ∧ . Ex.: você dará a bola “e” a chuteira. Se você der os dois presentes, a proposição será verdadeira.
Disjunção: a disjunção “ou” é representada pelo símbolo ∨. Ex.: você dará a bola “ou” a chuteira. Se você der um dos dois apenas, a proposição já será verdadeira.
Condicional: é representada pelo símbolo →.
Silogismo: quando três proposições se conectam, sendo a primeira premissa a maior, a segunda a menor e a terceira a conclusão.