Uma tabela verdade é uma ferramenta utilizada na lógica matemática e na teoria dos circuitos lógicos para representar todas as combinações possíveis de valores de verdade para proposições ou expressões lógicas. A utilidade principal de uma tabela verdade é ajudar a analisar e compreender o comportamento lógico de uma expressão em diferentes cenários.

Fonte: Elaborado pelo professor, 2024.

​
Considere o argumento:
Se eu trabalho, então eu ganho dinheiro.
Se eu não trabalho, então eu me divirto.
Logo, se eu não ganho dinheiro, então eu me divirto.

Agora, considere as proposições que compõem as premissas e a conclusão do argumento:
p : Eu trabalho.
q : Eu ganho dinheiro.
r : Eu me divirto.