Considere a seguinte argumentação lógica: “O pão está quente, portanto, o pão está quente ou o café está doce”. A representação simbólica desta argumentação é:
Soluções para a tarefa
espero ter ajudado...
Olá, amigo(a)!
A lógica matemática se interessa pelo estudo das sentenças declarativas também chamadas de proposições.
Seu objetivo é elaborar procedimentos que permitam obter um raciocínio correto na investigação da verdade, de forma a diferenciar e distinguir os argumentos válidos daqueles que não o são.
O estudo da lógica foi iniciado pelo filósofo grego Aristóteles (384 - 322 a.C.), fazendo uma representação do processo do pensamento. O matemático inglês George Boole (1815 - 1864), que inaugurou a Booleana, descreveu operações de lógica e de probabilidades, base da atual aritmética computacional.
Para auxiliar na elaboração da lógica, foi criada a Tabela da Verdade. Ela é um instrumento usado para determinar os valores lógicos das proposições compostas, levando em consideração todos os possíveis valores lógicos das proposições simples componentes.
Assim, conforme a Tabela da Verdade, as proposições do exercício podem ser expressas da seguinte forma: p -> p v q
Espero ter ajudado!
Boa sorte!