1Diapositiva 12

Apuntes

[Diapositiva 1] Aula 4 [Diapositiva 2] Dúvidas aulas anteriores; Argumentos e validade de argumentos mediante tabela-verdade; Exercícios. Próxima aula - TRABALHO 1* Conteúdo do trabalho (aulas 1 até 4): operadores lógicos, tabela-verdade, tautologias, contradições, contingências, equivalências, implicações lógicas, argumentos e validade de argumentos mediante tabela-verdade. * Trabalho 1 – a partir das 21h. [Diapositiva 3] Argumentos Um argumento é uma sequência de proposições P1, P2, P3, ... ,Pn, chamadas premissas (ou hipóteses) que acarretam uma conclusão final Q que é denominada conclusão (ou tese). A conclusão de um argumento pode ser introduzida por palavras como: portanto, resulta que, logo, assim, então, consequentemente, neste caso, ... [Diapositiva 4] Formalização de um argumento - Exemplos Argumento 1: Se usarmos a linguagem Assembly, então o programa será executado mais rapidamente. Se usarmos a linguagem Assembly, então o programa terá mais linhas de código. Usamos a linguagem Assembly. Portanto, o programa será executado mais rapidamente e terá mais linhas de código. [Diapositiva 5] Argumento 1: Se usarmos a linguagem Assembly, então o...