Raciocínio Lógico — estruturas lógicas (tabela verdade)

Uma dedução é uma sequência de proposições em quealgumas são premissas e as demais são conclusões. Umadedução é denominada válida quando tanto as premissasquanto as conclusões são verdadeiras. Suponha que asseguintes premissas sejam verdadeiras.A partir do texto e das informações e premissas acima, écorreto afirmar que a proposição

Se o juiz não estava lendo os processos em seu escritório, então ele estava lendo os processos na sala de audiências é uma conclusão verdadeira.