Simulado Polícia Civil de Pernambuco - PC/PE | Perito Criminal - Área 7 - Sistemas de Informação | 2019 pre-edital | Questão 313

Raciocínio Lógico / Estruturas Lógicas; Lógica de primeira ordem; Leis de De Morgan; Diagramas lógicos

Um argumento válido é uma sequência finita de proposições em que algumas são chamadas premissas e assumidas como verdadeiras, e as demais são conclusões que se garantem verdadeiras em consequência da veracidade das premissas e de conclusões previamente estabelecidas.

Suponha que a proposição “Se Josué foi aprovado no concurso e mudou de cidade, então Josué mudou de emprego” seja uma premissa de um argumento. Se a proposição “Josué não mudou de emprego” for outra premissa desse argumento, uma conclusão que garante sua validade é expressa pela proposição

Fonte: ANALISTA DE CONTROLE INTERNO - FINANçAS PúBLICAS / SAD/PE / 2010 / CESPE_ME