Temos 4 proposições simples formando o argumento, o que faria a tabela-verdade ter 16 linhas. Se tentarmos pelo método de premissas verdadeiras, te...

Pelo que entendi da sua descrição, você precisa preencher a proposição que falta na conclusão. Como a conclusão é "? = ?", e as premissas são condicionais, podemos usar a tabela-verdade para encontrar a proposição que falta. Se a tabela-verdade tem 16 linhas, isso significa que temos 2^4 proposições simples. Podemos então montar a tabela-verdade com as premissas e a conclusão: | P | Q | R | S | ? | |---|---|---|---|---| | V | V | V | V | F | | V | V | V | F | F | | V | V | F | V | F | | V | V | F | F | F | | V | F | V | V | F | | V | F | V | F | F | | V | F | F | V | F | | V | F | F | F | F | | F | V | V | V | F | | F | V | V | F | F | | F | V | F | V | F | | F | V | F | F | F | | F | F | V | V | F | | F | F | V | F | F | | F | F | F | V | F | | F | F | F | F | F | Como a conclusão é falsa em todas as linhas, podemos ver que a proposição que falta também deve ser falsa. Portanto, a conclusão correta é: ???? = ???? e ~???? = ???? ⟹ ???? = F.